Top stories

vitalnodo about 5 hours ago

Ironclad – formally verified, real-time capable, Unix-like OS kernel

ironclad-os.org
137 24
Tabloid: The Clickbait Headline Programming Language
sadeshmukh about 1 hour ago

Tabloid: The Clickbait Headline Programming Language

The article explores the rise of tabloid journalism, its impact on public discourse, and the ethical dilemmas it presents in an era of misinformation and sensationalism.

tabloid.vercel.app
14 2
Summary
ulrischa about 9 hours ago

Marko – A declarative, HTML‑based language

Marko.js is a user interface (UI) library designed for building web applications, featuring a declarative, component-based approach to building user interfaces. It emphasizes performance, developer productivity, and ease of use.

markojs.com
223 109
Summary
Largest cargo sailboat completes first Atlantic crossing
defrost about 8 hours ago

Largest cargo sailboat completes first Atlantic crossing

The world's largest cargo sailboat, the Grain de Sail, has successfully completed its first Atlantic crossing, marking a historic milestone for the use of wind power in maritime transportation. The vessel's successful voyage highlights the potential for sustainable shipping alternatives to help reduce the environmental impact of the shipping industry.

marineinsight.com
141 81
Summary
nill0 26 minutes ago

Syntax and Semantics of Programming Languages (1995)

homepage.cs.uiowa.edu
5 9
pseudolus about 13 hours ago

Study identifies weaknesses in how AI systems are evaluated

Paper: https://openreview.net/pdf?id=mdA5lVvNcU

Related: https://www.theregister.com/2025/11/07/measuring_ai_models_h...

theregister.com
316 157
Summary
todsacerdoti about 5 hours ago

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

downtowndougbrown.com
46 0
surprisetalk about 9 hours ago

WriterdeckOS

WriterDeckOS is a cloud-based writing tool that provides writers with a distraction-free environment, collaborative features, and advanced analytics to help improve their writing process and productivity.

writerdeckos.com
136 73
Summary
SchwKatze 6 days ago

Control structures in programming languages: from goto to algebraic effects

This article discusses control structures, which are essential building blocks in computer programming. It explores various types of control structures, such as conditional statements, loops, and functions, and how they are used to control the flow of execution in a program.

xavierleroy.org
108 3
Summary
fortran77 7 days ago

Open-source communications by bouncing signals off the Moon

Open Space is an online platform that provides a virtual space for communities to connect, collaborate, and explore new ideas. It offers a range of features, including customizable virtual environments, real-time communication tools, and integrated project management capabilities.

open.space
74 15
Summary
JoshTriplett about 8 hours ago

Avería: The Average Font (2011)

The article explores the development and features of the Averia typeface, a highly versatile and legible font designed to work across a wide range of digital and print applications. It delves into the typeface's unique character shapes, extended character set, and its suitability for both body text and display use.

iotic.com
133 27
Summary
IP blocking the UK is not enough to comply with the Online Safety Act
pinkahd about 5 hours ago

IP blocking the UK is not enough to comply with the Online Safety Act

The article discusses the challenges the UK government faces in complying with the Online Safety Act, as blocking IP addresses alone may not be enough to effectively regulate online content. It highlights the need for a more nuanced approach to address the complexities of internet regulation.

prestonbyrne.com
194 219
Summary
He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC
HardwareLust about 3 hours ago

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

The article describes a project called Tiny386, which turns the ESP32-S3 microcontroller into a fully functional 386-powered desktop PC. The project demonstrates the impressive capabilities of the ESP32-S3 and its potential for creating powerful embedded systems.

hackster.io
40 5
Summary
jtbayly about 11 hours ago

Cloudflare scrubs Aisuru botnet from top domains list

Cloudflare has scrubbed the Aisuru botnet from its list of top domains, effectively disrupting the botnet's infrastructure. The article discusses the security measures taken by Cloudflare to combat the threat posed by the Aisuru botnet, which was abusing Cloudflare's services.

krebsonsecurity.com
120 27
Summary
Egorich42 4 days ago

When a “feature” is worse than a bug

The article discusses a problem with the Sketchfab platform, where a new feature ended up being worse than a bug. It explores the implications of introducing changes that can negatively impact the user experience, and emphasizes the importance of thoroughly testing and understanding the impact of new features before releasing them.

medium.com
12 2
Summary
p_ing about 3 hours ago

Judge denies request to exempt Flock footage from Public Records Act

The article discusses a court decision denying a request to find that data from Flock Safety cameras is exempt from public records requests. The court ruled that the data should be subject to public disclosure, unless specific exemptions apply in individual cases.

goskagit.com
45 14
Summary
My first fifteen compilers (2019)
azhenley 8 days ago

My first fifteen compilers (2019)

blog.sigplan.org
47 3
Valdi – A cross-platform UI framework that delivers native performance
yehiaabdelm 1 day ago

Valdi – A cross-platform UI framework that delivers native performance

Valdi is an open-source library developed by Snapchat that provides a set of fast and efficient data validation utilities for use in modern JavaScript applications. The library offers a range of validation functions, error handling, and customization options to help developers ensure data integrity and improve application reliability.

github.com
465 192
Summary
vitalnodo 1 day ago

Why is Zig so cool?

The article explores the potential of Zig, a new systems programming language, to revolutionize the way developers approach cool projects. It highlights Zig's simplicity, performance, and flexibility, making it a compelling choice for building innovative technology solutions.

nilostolte.github.io
494 433
Summary
swatson741 about 13 hours ago

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

softwarepreservation.computerhistory.org
82 10
harambae 4 days ago

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

https://archive.ph/2Xln7

boston25news.com
87 36
Summary
Humanity's Endgame
marojejian about 4 hours ago

Humanity's Endgame

The article explores humanity's potential endgame scenarios, including climate change, nuclear war, and technological singularity, and discusses the need for collective action and ethical considerations to ensure a sustainable future for humanity.

noemamag.com
17 8
Summary
colelyman about 13 hours ago

Ticker: Don't die of heart disease

myticker.com
413 369
Opencloud – An alternative to Nextcloud written in Go
todsacerdoti about 11 hours ago

Opencloud – An alternative to Nextcloud written in Go

github.com
52 8
toomanyrichies about 3 hours ago

Judge says Education Dept partisan out-of-office emails violated First Amendment

npr.org
102 84
GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex
wahnfrieden about 4 hours ago

GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex

OpenAI has released Rust v0.56.0, an update to their Codex language model that includes improvements to performance, stability, and new capabilities like code synthesis and translation.

github.com
27 19
Summary
Myna: Monospace typeface designed for symbol-heavy programming languages
birdculture 1 day ago

Myna: Monospace typeface designed for symbol-heavy programming languages

Myna is an open-source machine learning library that provides a simple and efficient way to build and deploy neural networks. It supports a variety of deep learning models and can be used for a wide range of applications, including image classification, natural language processing, and time series analysis.

github.com
381 169
Summary
How did I get here?
zachlatta 1 day ago

How did I get here?

how-did-i-get-here.net
346 59
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
otrack about 20 hours ago

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

arxiv.org
159 47
Immutable Software Deploys Using ZFS Jails on FreeBSD
vermaden 1 day ago

Immutable Software Deploys Using ZFS Jails on FreeBSD

The article discusses the use of ZFS and jails to create an immutable software deployment process. It explains how this approach can improve security, reliability, and ease of management for software systems.

conradresearch.com
174 44
Summary