news
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
fovc•2d ago