frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Backpropagation is a leaky abstraction

https://karpathy.medium.com/yes-you-should-understand-backprop-e2f06eab496b
88•swatson741•3h ago•30 comments

Visopsys: OS maintained by a single developer since 1997

https://visopsys.org/
306•kome•10h ago•58 comments

How I use every Claude Code feature

https://blog.sshh.io/p/how-i-use-every-claude-code-feature
224•sshh12•8h ago•64 comments

Notes by djb on using Fil-C (2025)

https://cr.yp.to/2025/fil-c.html
41•transpute•3h ago•4 comments

CLI to manage your SQL database schemas and migrations

https://github.com/gh-PonyM/shed
17•PonyM•2h ago•6 comments

Claude Code can debug low-level cryptography

https://words.filippo.io/claude-debugging/
306•Bogdanp•14h ago•144 comments

Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust

https://github.com/frostyplanet/crossfire-rs
51•0x1997•5h ago•4 comments

Pomelli

https://blog.google/technology/google-labs/pomelli/
167•birriel•9h ago•49 comments

Updated practice for review articles and position papers in ArXiv CS category

https://blog.arxiv.org/2025/10/31/attention-authors-updated-practice-for-review-articles-and-posi...
441•dw64•17h ago•201 comments

FlightAware Map Design

https://andywoodruff.com/posts/2024/flightaware-maps/
15•marklit•5d ago•0 comments

The Naked Man Problem and the Secret to Never Forgetting Numbers

https://ninjasandrobots.com/the-naked-man-problem-and-the-secret-to-never-forgetting-numbers
14•nate•4d ago•30 comments

LM8560, the eternal chip from the 1980 years

https://www.tycospages.com/other-themes/lm8560-the-eternal-chip-from-the-1980-years/
26•userbinator•4h ago•8 comments

Chip Hall of Fame: Intel 8088 Microprocessor

https://spectrum.ieee.org/chip-hall-of-fame-intel-8088-microprocessor
21•stmw•6d ago•0 comments

GHC now runs in the browser

https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169
299•kaycebasques•16h ago•86 comments

Why do AI models use so many em-dashes?

https://www.seangoedecke.com/em-dashes/
6•ahamez•1h ago•3 comments

Anonymous credentials: rate-limit bots and agents without compromising privacy

https://blog.cloudflare.com/private-rate-limiting/
62•eleye•8h ago•26 comments

Show HN: Why write code if the LLM can just do the thing? (web app experiment)

https://github.com/samrolken/nokode
302•samrolken•15h ago•216 comments

Automatically Translating C to Rust

https://cacm.acm.org/research/automatically-translating-c-to-rust/
47•FromTheArchives•1w ago•8 comments

SQLite concurrency and why you should care about it

https://jellyfin.org/posts/SQLite-locking/
297•HunOL•19h ago•125 comments

3M Diskette Reference Manual (1983) [pdf]

https://retrocmp.de/fdd/diskette/3M_Diskette_Reference_Manual_May83.pdf
70•susam•5d ago•15 comments

Hyperbolic Non-Euclidean World (2007)

http://web1.kcn.jp/hp28ah77/
3•ubavic•6d ago•0 comments

You Don't Need Anubis

https://fxgn.dev/blog/anubis/
88•flexagoon•4h ago•67 comments

Beginner-friendly, unofficial documentation for Helix text editor

https://helix-editor.vercel.app/start-here/basics/
129•Curiositry•13h ago•38 comments

From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey

https://blog.tymscar.com/posts/wifi7speedhunt/
96•tymscar•12h ago•73 comments

The Smol Training Playbook: The Secrets to Building World-Class LLMs

https://huggingface.co/spaces/HuggingFaceTB/smol-training-playbook
183•kashifr•2d ago•12 comments

A Few Words About Async

https://yoric.github.io/post/quite-a-few-words-about-async/
40•vinhnx•7h ago•13 comments

SailfishOS: A Linux-based European alternative to dominant mobile OSes

https://sailfishos.org/info/
251•ForHackernews•10h ago•106 comments

How to Build a Solar Powered Electric Oven

https://solar.lowtechmagazine.com/2025/10/how-to-build-a-solar-powered-electric-oven/
41•surprisetalk•1w ago•20 comments

Dating: A mysterious constellation of facts

https://dynomight.net/dating/
86•tobr•2d ago•72 comments

Linux and Windows: A tale of Kerberos, SSSD, DFS, and black magic

http://www.draeath.net/blog/it/2018/03/13/DFSwithKRB/
24•indigodaddy•7h ago•2 comments
Open in hackernews

Open-Source Ada: From Gateware to Application

https://blog.adacore.com/open-source-ada-from-gateware-to-application
52•Bogdanp•17h ago

Comments

no_wizard•13h ago
This is specifically for hardware. Looks really cool!

I’ve always been confused about Ada the language and its licensing though. I know this project is open source but is the language as well? It’s unclear to me, though I may be missing information

homarp•12h ago
you have GNAT https://www.getadanow.com/ which is part of GNU compilers

some discussion https://news.ycombinator.com/item?id=27313294

tremon•12h ago
What do you mean with "is the language open source"? The Ada specification is public [0] but not open source -- but the C and C++ specifications are not open source either, in the normal sense of the term. And like with C and C++, there are both open source and proprietary compilers for Ada, see e.g. [1]

What's mostly not open source (FAFAIK) is SPARK, the formal verification framework for Ada.

[0] https://www.adaic.org/ada-resources/standards/ada22/

[1] https://github.com/ohenley/awesome-ada#compilers

i-con•12h ago
SPARK tools are also open source. The main tool `gnatprove` is based on GCC as well. https://github.com/AdaCore/spark2014

It's not a community project, AFAICT. Few people know how to build it from source.

tremon•12h ago
That links gives me a 404. Does it require membership of some organization before you're allowed to view it?

edit: did you mean https://github.com/AdaCore/spark2014 ?

i-con•12h ago
Sorry, yes 2014. Fixed it.
RossBencina•10h ago
The C++ (draft) standards are open source:

https://github.com/cplusplus/draft

Last time I looked I could not find an equivalent repository for the C standards.

AlotOfReading•10h ago
There isn't one. They publish completed drafts on the working group website:

https://www.open-std.org/jtc1/sc22/wg14/www/wg14_document_lo...

i-con•12h ago
If you are looking for an open-source compiler, many distros (e.g. Archlinux, Debian and derivatives) bootstrap a full GCC (GNU compiler collection). Sometimes you have to install a particular packet, e.g. `gnat` or `gcc-ada`. There's also a language-specific packet tool `alire` that seems to aim to be somewhat like cargo. It can also install toolchains, IIRC.
pjmlp•6h ago
Just as open as COBOL, Fortran, C and C++.

As ISO standards driven language with multiple implementations, commercial and open source ones.

The open source one is part of GCC.