Julia 1.10(docs.julialang.org)

136 points by CoreyFieldens 2 years ago | 74 comments

Devuan – Debian Without Systemd(devuan.org)

66 points by smartmic 9 months ago | 80 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.

VNote: A pleasant note-taking platform(app.vnote.fun)

68 points by internetguy 2 years ago | 43 comments

OpenSSL 4.0.0(github.com)

243 points by petecooper 6 months ago | 78 comments

Ollama for Linux – Run LLMs on Linux with GPU Acceleration(github.com)

132 points by jmorgan 3 years ago | 42 comments