pull down to refresh

A sufficiently detailed spec is codehaskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code
345 sats \ 1 comment \ @hn 19 Mar tech
related
Smart pointers for the kernellwn.net/Articles/992055/
344 sats \ 0 comments \ @hn 18 Oct 2024 tech
GPT-5.6openai.com/index/gpt-5-6/
527 sats \ 2 comments \ @hn 9 Jul tech
The Website Specificationspecification.website/
210 sats \ 1 comment \ @hn 31 May tech
Iroh 1.0www.iroh.computer/blog/v1
227 sats \ 0 comments \ @hn 15 Jun tech
Meta Horizon OSwww.meta.com/blog/quest/meta-horizon-os-open-hardware-ecosystem-asus-republic-gamers-lenovo-xbox/
727 sats \ 0 comments \ @hn 22 Apr 2024 tech
Apple introduces M4 chipwww.apple.com/newsroom/2024/05/apple-introduces-m4-chip/
10.8k sats \ 1 comment \ @hn 7 May 2024 tech
Ti-84 Evoeducation.ti.com/en/products/calculators/graphing-calculators/ti-84-evo
276 sats \ 0 comments \ @hn 1 May tech
Darkbloom – Private inference on idle Macsdarkbloom.dev
276 sats \ 1 comment \ @hn 16 Apr tech
Previewing GPT‑5.6 Sol: a next-generation modelopenai.com/index/previewing-gpt-5-6-sol/
792 sats \ 0 comments \ @hn 26 Jun tech
Brink Engineering: Toby Sharp on Hornet an executable spec for Bitcoin consensusbrink.dev/blog/2026/06/18/eng-call-toby-sharp-hornet/
1624 sats \ 1 comment \ @schmidty 18 Jun bitcoin
Ladybird browser spreads its wingslwn.net/Articles/976822/
270 sats \ 0 comments \ @hn 21 Jun 2024 tech
Apple M5 chipwww.apple.com/newsroom/2025/10/apple-unleashes-m5-the-next-big-leap-in-ai-performance-for-apple-silicon/
355 sats \ 1 comment \ @hn 15 Oct 2025 tech
ZCode – Harness for GLM-5.2zcode.z.ai/en
311 sats \ 0 comments \ @hn 1 Jul tech
GPT-4oopenai.com/index/hello-gpt-4o/
369 sats \ 6 comments \ @hn 13 May 2024 tech
satslink Specssatslink.com/specs
302 sats \ 0 comments \ @AR0w 3 Oct 2023 bitcoin
Asynchronous IO: the next billion-dollar mistake?yorickpeterse.com/articles/asynchronous-io-the-next-billion-dollar-mistake/
262 sats \ 0 comments \ @hn 7 Sep 2024 tech
Codex for almost everythingopenai.com/index/codex-for-almost-everything/
312 sats \ 1 comment \ @hn 16 Apr tech
Open Source AI Is the Path Forwardabout.fb.com/news/2024/07/open-source-ai-is-the-path-forward/
376 sats \ 0 comments \ @hn 23 Jul 2024 tech
Greppability is an underrated code metricmorizbuesing.com/blog/greppability-code-metric/
426 sats \ 4 comments \ @hn 3 Sep 2024 tech
Integrating LSPS1 into ZEUSshubham04.medium.com/integrating-lsps1-into-zeus-bba9b4affa3c
284 sats \ 0 comments \ @DarthCoin 30 Sep 2024 bitcoin
OpenAI Submits S-1 Draft to SECopenai.com/index/openai-submits-confidential-s-1/
263 sats \ 0 comments \ @hn 8 Jun tech