pull down to refresh

ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
51 sats \ 0 comments \ @hn 4 Oct 2025 tech
related
An illustrated proof of the CAP theoremmwhittaker.github.io/blog/an_illustrated_proof_of_the_cap_theorem/
291 sats \ 3 comments \ @hn 8 Oct 2024 tech
A non-anthropomorphized view of LLMsaddxorrol.blogspot.com/2025/07/a-non-anthropomorphized-view-of-llms.html
351 sats \ 1 comment \ @hn 7 Jul 2025 tech
From where I leftantirez.com/news/144
386 sats \ 1 comment \ @hn 10 Dec 2024 tech
A Bunch of Programming Advice I'd Give to Myself 15 Years Agombuffett.com/posts/programming-advice-younger-self/
332 sats \ 4 comments \ @hn 29 Jun 2024 tech
Cybersecurity looks like proof of work nowwww.dbreunig.com/2026/04/14/cybersecurity-is-proof-of-work-now.html
496 sats \ 0 comments \ @hn 15 Apr tech
Show HN: I Made an Open-Source Laptop from Scratchwww.byran.ee/posts/creation/
557 sats \ 0 comments \ @hn 23 Jan 2025 tech
I should have loved biology (2020)jsomers.net/i-should-have-loved-biology/
210 sats \ 0 comments \ @hn 21 Apr 2024 tech
What Excessive Screen Time Does to the Adult Brainlongevity.stanford.edu/lifestyle/2024/05/30/what-excessive-screen-time-does-to-the-adult-brain/
322 sats \ 4 comments \ @hn 3 Oct 2024 tech
Write the post you wish you'd foundwww.gilesthomas.com/2025/02/20250223-til-deep-dive-posts
342 sats \ 1 comment \ @hn 24 Feb 2025 tech
ReMarkable Paper Proremarkable.com/
221 sats \ 2 comments \ @hn 4 Sep 2024 tech
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
210 sats \ 1 comment \ @jakoyoh629 25 Oct 2025 AI
The Objects of Our Lifestevejobsarchive.com/exhibits/objects-of-our-life
242 sats \ 0 comments \ @hn 18 Jul 2024 tech
AMD's MI300X Outperforms Nvidia's H100 for LLM Inferencewww.blog.tensorwave.com/amds-mi300x-outperforms-nvidias-h100-for-llm-inference/
302 sats \ 0 comments \ @hn 13 Jun 2024 tech
How and why to make a /now page on your sitesive.rs/now2
905 sats \ 6 comments \ @hn 22 May 2024 tech
Classic Usenet posts on computer architecture, operating systems and languagesyarchive.net/comp/index.html
370 sats \ 3 comments \ @hn 19 May 2024 tech
IMG_0416ben-mini.github.io/2024/img-0416
263 sats \ 0 comments \ @hn 10 Nov 2024 tech
Show HN: Wordllama – Things you can do with the token embeddings of an LLMgithub.com/dleemiller/WordLlama
231 sats \ 0 comments \ @hn 15 Sep 2024 tech
Computer scientists invent an efficient new way to countwww.quantamagazine.org/computer-scientists-invent-an-efficient-new-way-to-count-20240516/
1245 sats \ 2 comments \ @hn 17 May 2024 tech
An Open-Source Maintainer's Guide to Saying Nowww.jlowin.dev/blog/oss-maintainers-guide-to-saying-no
193 sats \ 1 comment \ @hn 13 Sep 2025 tech
Archive of Byte magazine, starting with issue #1 in 1975archive.org/details/byte-magazine-1975-09
776 sats \ 2 comments \ @hn 19 Apr tech
How I write code using Cursorwww.arguingwithalgorithms.com/posts/cursor-review.html
306 sats \ 0 comments \ @hn 29 Oct 2024 tech