frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Show HN: Tiny Hoare logic verifier using SMT

https://github.com/namin/metaprogramming/tree/master/lectures/5-smt
11•namin•2d ago

Comments

fovc•2d ago
Very nice! For other readers, vc is short for verification condition and wp is short for weakest precondition.

Hurl: Run and test HTTP requests with plain text

https://github.com/Orange-OpenSource/hurl
65•flykespice•2h ago•19 comments

Show HN: I wrote a new BitTorrent tracker in Elixir

https://github.com/Dahrkael/ExTracker
217•dahrkael•7h ago•24 comments

Infinite Mac OS X

https://blog.persistent.info/2025/03/infinite-mac-os-x.html
142•kristianp•6h ago•48 comments

Virtual Cells

https://udara.io/science/virtual-cells/
20•surprisetalk•3d ago•2 comments

FedFlix — Public Domain Stock Footage Library

https://public.resource.org/ntis.gov/index.html
68•bookofjoe•5h ago•2 comments

Show HN: Tool to Automatically Create Organized Commits for PRs

https://github.com/edverma/git-smart-squash
27•edverma2•3h ago•18 comments

Compiling LLMs into a MegaKernel: A path to low-latency inference

https://zhihaojia.medium.com/compiling-llms-into-a-megakernel-a-path-to-low-latency-inference-cf7840913c17
201•matt_d•11h ago•58 comments

Cannabis scientists are trying to find a predictable, reliable product (2020)

https://www.nytimes.com/2020/04/01/magazine/cannabis-science.html
5•dr_dshiv•1h ago•4 comments

Giant, All-Seeing Telescope Is Set to Revolutionize Astronomy

https://www.science.org/content/article/giant-all-seeing-telescope-set-revolutionize-astronomy
53•gammarator•7h ago•14 comments

Sunsonic 986-II – A Thai Famicom clone with keyboard and mini CRT built-in

https://mastodon.gamedev.place/@pikuma/114711138512697712
46•sohkamyung•7h ago•6 comments

Asterinas: A new Linux-compatible kernel project

https://lwn.net/SubscriberLink/1022920/ad60263cd13c8a13/
21•howtofly•4h ago•2 comments

Literate programming tool for any language

https://github.com/zyedidia/Literate
83•LorenDB•8h ago•44 comments

Pipelined State Machine Corruption

https://flak.tedunangst.com/post/pipelined-state-machine-corruption
3•zdw•2d ago•0 comments

Open source can't coordinate

https://matklad.github.io/2025/05/20/open-source-cant-coordinate.html
85•LorenDB•5h ago•76 comments

Andrej Karpathy: Software in the era of AI [video]

https://www.youtube.com/watch?v=LCEmiRjPEtQ
1194•sandslash•1d ago•646 comments

Octobass

https://www.atlasobscura.com/places/octobass
45•keepamovin•3d ago•10 comments

Curved-Crease Sculpture

https://erikdemaine.org/curved/
168•wonger_•16h ago•29 comments

Show HN: A DOS-like hobby OS written in Rust and x86 assembly

https://github.com/krustowski/rou2exOS
164•krustowski•16h ago•41 comments

Extracting memorized pieces of books from open-weight language models

https://arxiv.org/abs/2505.12546
75•fzliu•3d ago•73 comments

Guess I'm a Rationalist Now

https://scottaaronson.blog/?p=8908
254•nsoonhui•20h ago•751 comments

Show HN: EnrichMCP – A Python ORM for Agents

https://github.com/featureform/enrichmcp
101•bloppe•12h ago•27 comments

How OpenElections uses LLMs

https://thescoop.org/archives/2025/06/09/how-openelections-uses-llms/index.html
99•m-hodges•14h ago•40 comments

What would a Kubernetes 2.0 look like

https://matduggan.com/what-would-a-kubernetes-2-0-look-like/
187•Bogdanp•18h ago•277 comments

Homegrown Closures for Uxn

https://krzysckh.org/b/Homegrown-closures-for-uxn.html
86•todsacerdoti•12h ago•9 comments

Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs

https://github.com/Maciek-roboblog/Claude-Code-Usage-Monitor
217•Maciej-roboblog•20h ago•118 comments

DNA floating in the air tracks wildlife, viruses, even drugs

https://www.sciencedaily.com/releases/2025/06/250603114822.htm
92•karlperera•3d ago•71 comments

Show HN: RM2000 Tape Recorder, an audio sampler for macOS

https://rm2000.app
46•marcelox86•2d ago•28 comments

Visual History of the Latin Alphabet

https://uclab.fh-potsdam.de/arete/en
127•speckx•2d ago•72 comments

Flowspace (YC S17) Is Hiring Software Engineers

https://flowspace.applytojob.com/apply/6oDtY2q6E9/Software-Engineer-II
1•mrjasonh•13h ago

We Can Just Measure Things

https://lucumr.pocoo.org/2025/6/17/measuring/
73•tosh•2d ago•54 comments