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
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
Friendship Begins at Home3quarksdaily.com/3quarksdaily/2025/10/friendship-begins-at-home.html
90 sats \ 1 comment \ @hn 19 Oct tech
Conway's Game of Life, in checkboxes for some reasonhuth.me/checkbox-life/
51 sats \ 0 comments \ @hn 28 Jun 2024 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
Measuring Acceleration Structureszeux.io/2025/03/31/measuring-acceleration-structures/
10 sats \ 0 comments \ @hn 2 Apr tech
Fonts for Complex Datawww.typography.com/blog/fonts-for-complex-data
21 sats \ 0 comments \ @hn 13 Apr 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
Peano arithmetic is enough, because Peano arithmetic encodes computationmath.stackexchange.com/a/5075056/6708
10 sats \ 0 comments \ @hn 14 Jun tech
Hidden Reasoning in LLMs: A Taxonomywww.lesswrong.com/posts/ZrgFfeWuckpwK5Lyi/hidden-reasoning-in-llms-a-taxonomy
178 sats \ 0 comments \ @carter 16 Oct AI
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
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct AI