pull down to refresh

ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct tech
related
Exploring Advanced Reasoning Techniques for LLMs: CoT, STaR, and ToTwww.eddieoz.com/exploring-advanced-reasoning-techniques-for-llms-chain-of-thought-cot-step-by-step-rationalization-star-and-tree-of-thoughts-tot/
11 sats \ 0 comments \ @Rsync25 20 Aug 2024 tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
21 sats \ 0 comments \ @hn 26 Jun 2024 tech
Brew-Nix: a flake automatically packaging all homebrew casksdiscourse.nixos.org/t/brew-nix-a-flake-automatically-packaging-all-homebrew-casks/44880
52 sats \ 0 comments \ @hn 14 Jun 2024 tech
The Art of Lisp and Writingwww.dreamsongs.com/ArtOfLisp.html
10 sats \ 0 comments \ @hn 15 Jun tech
OpenMPTCProuter: Aggregate and encrypt multiple internet connections using MPTCPwww.openmptcprouter.com/
11 sats \ 0 comments \ @hn 23 Nov 2024 tech
Sunset Geometry (2016)www.shapeoperator.com/2016/12/12/sunset-geometry/
24 sats \ 0 comments \ @hn 15 Mar tech
Shardines: SQLite3 Database-per-Tenant with ActiveRecordblog.julik.nl/2025/04/a-can-of-shardines
49 sats \ 0 comments \ @hn 27 Apr tech
Expanding Racks [video]www.youtube.com/watch?v=iWknov3Xpts
10 sats \ 1 comment \ @hn 12 Jun tech
Palette lighting tricks on the Nintendo 6430fps.net/pages/palette-lighting-tricks-n64/
10 sats \ 0 comments \ @hn 17 May tech
Show HN: gpudeploy.com – "Airbnb" for GPUswww.gpudeploy.com
131 sats \ 0 comments \ @hn 4 May 2024 tech
FBI has obtained 7k Lockbit ransomware decryption keyswww.fbi.gov/news/speeches/fbi-cyber-assistant-director-bryan-vorndran-s-remarks-at-the-2024-boston-conference-on-cyber-security
21 sats \ 1 comment \ @hn 6 Jun 2024 tech
Kimi K1.5: Scaling Reinforcement Learning with LLMsgithub.com/MoonshotAI/Kimi-k1.5
14 sats \ 0 comments \ @hn 21 Jan tech
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 2024 tech
Escaping the Chrome Sandbox Through DevToolsading.dev/blog/posts/chrome_sandbox_escape.html
109 sats \ 0 comments \ @hn 17 Oct 2024 tech
Majorana, the search for the most elusive neutrino of allnewscenter.lbl.gov/2012/05/16/majorana-demonstrator/
337 sats \ 0 comments \ @hn 26 May 2024 tech
Understanding Reasoning LLMsmagazine.sebastianraschka.com/p/understanding-reasoning-llms
28 sats \ 0 comments \ @hn 7 Feb tech
Alice in Wonderland: Simple Tasks Showing Complete Reasoning Breakdown in LLMsarxiv.org/abs/2406.02061
40 sats \ 0 comments \ @hn 5 Jun 2024 tech
Efficient LLM Inferencearxiv.org/abs/2507.14397
121 sats \ 0 comments \ @carter 3 Oct AI
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open LLMsarxiv.org/abs/2402.03300
662 sats \ 0 comments \ @zuspotirko 6 Feb 2024 science
What We Know About LLMs (A Primer)willthompson.name/what-we-know-about-llms-primer
163 sats \ 1 comment \ @hn 25 Jul 2023 tech