frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

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