newest
Open in hackernews
Encoding SAT in OCaml GADTs
https://farlow.dev/2025/07/27/encoding-sat-in-ocaml-gadts
2
•
farlow
•
4h ago
A Theory of Law (2012) [pdf]
https://www.greenbag.org/v16n1/v16n1_ex_post_kerr.pdf
1
•
ChilledTonic
•
3m ago
•
0 comments
Track availability of US visa appointment slots with instant alerts
https://distill.io/blog/track-availability-of-us-visa-appointment-slots-with-automatic-checks/
1
•
viewer_midoria
•
3m ago
•
0 comments
Man who let deadly snakes bite him 200 times could be key to new antivenom [video]
https://www.youtube.com/watch?v=fkXbSqo1z1U
1
•
mgh2
•
7m ago
•
0 comments
SIMD Within a Register: How I Doubled Hash Table Lookup Performance
https://maltsev.space/blog/012-simd-within-a-register-how-i-doubled-hash-table-lookup-performance
1
•
axeluser
•
7m ago
•
0 comments
The Cost of Being Wrong – Jack Vanlightly
https://jack-vanlightly.com/blog/2025/7/22/the-cost-of-being-wrong
1
•
kiyanwang
•
9m ago
•
0 comments
Show HN: OpenCodeSpace – Disposable Containers for Claude Code in YOLO Mode
3
•
vadepaysa
•
11m ago
•
0 comments
TWAaCA (Tailwind as a Custom Attribute)
https://github.com/franken-ui/TWAaCA
1
•
sveltecult
•
16m ago
•
0 comments
The Visual Studio Skeptic
https://www.brethorsting.com/blog/2025/07/the-visual-studio-skeptic/
1
•
aaronbrethorst
•
16m ago
•
0 comments
SnapDOM is a super-fast HTML2Canvas alternative
https://github.com/zumerlab/snapdom/discussions/148
1
•
jmm77
•
24m ago
•
0 comments
Catalog of semantic zoom interface pattern
https://github.com/prathyvsh/semantic-zoom
2
•
prathyvsh
•
29m ago
•
0 comments
Multiplex: Command-Line Process Mutliplexer
https://github.com/sebastien/multiplex
2
•
todsacerdoti
•
31m ago
•
0 comments
People > Principles > Process > Product
https://mikefisher.substack.com/p/people-principles-process-product
1
•
gpi
•
36m ago
•
0 comments
Ask HN: What are your reverse engineering skills?
1
•
alganet
•
38m ago
•
0 comments
The rise of on-device AI and the return of data ownership
https://pieces.app/blog/the-importance-of-on-device-ai-for-developer-productivity
1
•
thunderbong
•
43m ago
•
0 comments
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
https://arxiv.org/abs/2507.19457
5
•
LakshyAAAgrawal
•
47m ago
•
0 comments
Solar Orbiter Heliospheric Imager (SoloHI)
https://solohi.nrl.navy.mil/home
2
•
sans_souse
•
52m ago
•
2 comments
The First Six Books of the Elements of Euclid with Coloured Diagrams and Symbols
https://c82.net/euclid/
3
•
tzury
•
52m ago
•
0 comments
Scaling Laws for LLM-Based Data Compression
http://fullwrong.com/2025/07/23/scaling-compression/
1
•
riemann77
•
53m ago
•
0 comments
Goodbye Gentle Parenting, Hello 'F–Around and Find Out'
https://www.wsj.com/lifestyle/fafo-gentle-parenting-625da658
1
•
latchkey
•
56m ago
•
1 comments
Digital [video]Tape Guide
https://github.com/oyvindln/vhs-decode/wiki/Digital-Tape-Guide
1
•
gyan
•
1h ago
•
0 comments
Digitising CDs (a.k.a. using your phone as an image scanner)
https://www.hadess.net/2025/07/digitising-cds-aka-using-your-phone-as.html
2
•
JNRowe
•
1h ago
•
0 comments
The man spending $1B on climate action
https://www.newscientist.com/article/2482525-the-man-quietly-spending-1-billion-on-climate-action/
5
•
davidmr
•
1h ago
•
0 comments
Why Does Work Expand?
https://www.thudfactor.com/posts/2025/07/25-expanding-work/
2
•
gpi
•
1h ago
•
0 comments
Mistral's new "environmental audit" shows how much AI is hurting the planet
https://arstechnica.com/ai/2025/07/mistrals-new-environmental-audit-shows-how-much-ai-is-hurting-the-planet/
4
•
pjmlp
•
1h ago
•
0 comments
"Tivoization" and Your Right to Install Under Copyleft and The GNU GPL
https://sfconservancy.org/blog/2021/jul/23/tivoization-and-the-gpl-right-to-install/
24
•
pabs3
•
1h ago
•
0 comments
Blender iOS version hands-on. (Super early stage)
https://twitter.com/megabits_studio/status/1949479731075629270
2
•
megabits_mzq
•
1h ago
•
0 comments
Understanding U.S. Green Card Quotas, per‑Country Caps and the Visa Bulletin
https://green-card-priority-date.com/blog/quotas-estimator-caps-visa-bulletin
1
•
AdamKizabi
•
1h ago
•
0 comments
MicroStrategy Sells $2.5B of Preferred Stock
https://www.barrons.com/articles/microstrategy-bitcoin-stock-preferred-eebb190c
1
•
kamaraju
•
1h ago
•
0 comments
Brain Performance
https://blog.dianazink.com/brain-performance
2
•
wonger_
•
1h ago
•
0 comments
Tesla has signed a $16.5B chip contract with Samsung
https://www.cnbc.com/2025/07/28/samsung-electronics-new-chip-supply-contract.html
3
•
mfiguiere
•
1h ago
•
0 comments