newest
Open in hackernews
A continuation-passing evaluation semantics for classical proofs
https://ecommons.cornell.edu/items/8618e218-dd00-42f7-896f-35c49d7f318b/full
2
•
fanf2
•
2h ago
Neural Thermodynamic Laws for Large Language Model Training
https://arxiv.org/abs/2505.10559
1
•
anticensor
•
1m ago
•
0 comments
What If We Had Bigger Brains? Imagining Minds Beyond Ours
https://writings.stephenwolfram.com/2025/05/what-if-we-had-bigger-brains-imagining-minds-beyond-ours/
1
•
nsoonhui
•
1m ago
•
0 comments
Building interactive web pages with Guile Hoot
https://spritely.institute/news/building-interactive-web-pages-with-guile-hoot.html
1
•
e12e
•
3m ago
•
0 comments
There was a time when the US government built homes for working-class Americans
https://theconversation.com/believe-it-or-not-there-was-a-time-when-the-us-government-built-beautiful-homes-for-working-class-americans-to-deal-with-a-housing-crisis-253512
2
•
pseudolus
•
4m ago
•
0 comments
Show HN: Tried a Google Ad campaign and failed
1
•
countofarthur
•
8m ago
•
0 comments
Mutmut – Python Mutation Tester
https://github.com/boxed/mutmut
2
•
e-topy
•
9m ago
•
0 comments
JavaScript Style for Optimal Size
https://yoyo-code.com/javascript-style-for-optimal-size/
1
•
panstromek
•
10m ago
•
0 comments
Making Interpreters Faster
https://www.arraycast.com/episodes/episode106-interpreters
1
•
tosh
•
10m ago
•
0 comments
OpenPOWER Foundation – Open-Source / Open Hardware PowerPC CPU ISA
https://openpowerfoundation.org/
1
•
peter_d_sherman
•
15m ago
•
1 comments
Fast, Simple and Open Firebase Alternative: TrailBase
https://github.com/trailbaseio/trailbase/releases/tag/v0.12.0
2
•
trailbase-alt
•
17m ago
•
1 comments
Alabama paid a law firm that used AI and turned in fake citations
https://www.theguardian.com/us-news/2025/may/24/alabama-prison-lawyers-chatgpt-butler-snow
2
•
rectang
•
18m ago
•
0 comments
Quartz 4: static site generator for digital gardens
https://quartz.jzhao.xyz/
1
•
debone
•
22m ago
•
0 comments
How to Guarantee Your Red Team Will Fail
https://0xda.de/garden/guarantee-red-team-failure/
1
•
todsacerdoti
•
22m ago
•
0 comments
NixNG – A lightweight "minimal by default" Linux distribution based on NixOS
https://github.com/nix-community/NixNG
1
•
peter_d_sherman
•
25m ago
•
0 comments
What does it cost to run a LLM
https://www.tensoreconomics.com/p/llm-inference-economics-from-first
1
•
samber
•
25m ago
•
0 comments
Chicago Sun-Times prints a summer reading list but the books don't exist
https://www.cbc.ca/news/world/chicago-sun-times-ai-book-list-1.7539016
3
•
pards
•
27m ago
•
2 comments
Northern Soul, the Music Making Generations Dance
https://www.nytimes.com/card/2025/05/25/style/northern-soul-bristol-uk
1
•
mykowebhn
•
27m ago
•
0 comments
The New Vapor Toolbox
https://blog.vapor.codes/posts/toolbox-rewrite/
1
•
TheWiggles
•
28m ago
•
0 comments
The 44 Year Old Computer Magazine That Changed Everything [video]
https://www.youtube.com/watch?v=QSnw5pPEPBc
5
•
xkriva11
•
29m ago
•
1 comments
Say goodbye to endless scrolling on ChatGPT [video]
https://www.youtube.com/watch?v=AGiOc2RpeCM
2
•
HC200ok
•
30m ago
•
1 comments
It's 2025, AI is everywhere, why can't something summarize podcasts for me?
3
•
bilsbie
•
33m ago
•
1 comments
Anthropic's new AI model shows ability to deceive and blackmail
https://www.axios.com/2025/05/23/anthropic-ai-deception-risk
2
•
ednite
•
36m ago
•
1 comments
Khosla Ventures among VCs experimenting with AI roll-ups of mature companies
https://techcrunch.com/2025/05/23/khosla-ventures-among-vcs-experimenting-with-ai-infused-roll-ups-of-mature-companies/
2
•
rntn
•
36m ago
•
0 comments
Programming Basics with Tiki
https://tiki.li/
1
•
tikili
•
40m ago
•
0 comments
Machinist and Machine
https://punkx.org/jackdoe/misery.html
2
•
owebmaster
•
43m ago
•
0 comments
Ten Blue Links "what Jony did next" Edition
https://www.ianbetteridge.com/ten-blue-links-what-jony-did-next-edition/
1
•
tambourine_man
•
44m ago
•
0 comments
Remembering the Indian scientist who challenged the Big Bang Theory
https://www.bbc.com/news/articles/cd62g8pn35yo
3
•
RickJWagner
•
45m ago
•
0 comments
AI Watchman and Nanny
https://blog.codesolvent.com/2025/05/meet-nanny-watchman-ai-security-guard.html
1
•
Edmond
•
46m ago
•
0 comments
Getting reproducible training results with Fast.ai and PyTorch
https://dronelab.dev/posts/getting-reproducible-results/
1
•
pors
•
47m ago
•
0 comments
The Event Horizon Telescope's Next Feat? Multi-Color Pictures of Black Holes
https://www.universetoday.com/articles/the-event-horizon-telescopes-next-feat-multi-color-pictures-of-black-holes
2
•
amichail
•
49m ago
•
0 comments