Ironclad – formally verified, real-time capable, Unix-like OS kernel
ironclad-os.org
Marko – A declarative, HTML‑based language
markojs.com
Study identifies weaknesses in how AI systems are evaluated
oii.ox.ac.uk
Largest Cargo Sailboat Completes Historic First Atlantic Crossing
marineinsight.com
IP Blocking the UK Is Not Enough to Comply with the Online Safety Act
prestonbyrne.com
What Hallucinogens Will Make You See
nautil.us
Control structures in programming languages: from goto to algebraic effects
xavierleroy.org
Avería: The Average Font (2011)
iotic.com
Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs
downtowndougbrown.com
Cloudflare scrubs Aisuru botnet from top domains list
krebsonsecurity.com
Open-source communications by bouncing signals off the Moon
open.space
My first fifteen compilers (2019)
blog.sigplan.org
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
softwarepreservation.computerhistory.org
Valdi – A cross-platform UI framework that delivers native performance
github.com
Ticker: Don't die of heart disease
myticker.com
How to declutter, quiet down, and take the AI out of Windows 11 25H2
arstechnica.com
Syntax and Semantics of Programming Languages
homepage.cs.uiowa.edu
52 Year old data tape could contain Unix history
theregister.com
Opencloud – an alternative to Nextcloud written in Go
github.com
Myna: Monospace typeface designed for symbol-heavy programming languages
github.com
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
arxiv.org
Cekura (YC F24) Is Hiring
Expected array gain: ~39.3 dBi / EIRP: ~63.1 dBW
Tx power: 1 W per antenna
Yeah... so free space path loss at legal frequencies for hams this thing can transmit on is ~283dB. Neat idea but consider me skeptical. Having said that I can see some interesting applications for this kind of gear, EME seems overly optimistic though.