pull down to refresh

ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct 2025 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
ThreadPlotter – toolkit for punch needle embroidery with X-Y plotters (2020)github.com/LiciaHe/threadPlotter
21 sats \ 0 comments \ @hn 16 Aug 2024 tech
3D-Printed Active Electronicsnews.mit.edu/2024/mit-team-takes-major-step-toward-fully-3d-printed-active-electronics-1015
14 sats \ 0 comments \ @hn 21 Oct 2024 tech
Ghosts in the ROM (2012)www.nycresistor.com/2012/08/21/ghosts-in-the-rom/
32 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 \ 1 comment \ @hn 15 Jun 2025 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 2025 tech
Diátaxis – A systematic approach to technical documentation authoringdiataxis.fr/
17 sats \ 0 comments \ @hn 5 Dec 2024 tech
Expanding Racks [video]www.youtube.com/watch?v=iWknov3Xpts
10 sats \ 1 comment \ @hn 12 Jun 2025 tech
Palette lighting tricks on the Nintendo 6430fps.net/pages/palette-lighting-tricks-n64/
10 sats \ 0 comments \ @hn 17 May 2025 tech
Matters Computational Ideas, Algorithms, Source Code – Jorg Arndt [pdf]www.jjj.de/fxt/fxtbook.pdf
85 sats \ 0 comments \ @hn 7 Mar 2025 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 2025 tech
Friendship Begins at Home3quarksdaily.com/3quarksdaily/2025/10/friendship-begins-at-home.html
90 sats \ 1 comment \ @hn 19 Oct 2025 tech
Oliver Heaviside and the theory of transmission lines (2021)www.pa3fwm.nl/technotes/tn28-heaviside-transmission-lines.html
270 sats \ 2 comments \ @hn 27 Jan 2025 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
Hidden Reasoning in LLMs: A Taxonomywww.lesswrong.com/posts/ZrgFfeWuckpwK5Lyi/hidden-reasoning-in-llms-a-taxonomy
178 sats \ 0 comments \ @carter 16 Oct 2025 AI
Understanding Reasoning LLMsmagazine.sebastianraschka.com/p/understanding-reasoning-llms
28 sats \ 0 comments \ @hn 7 Feb 2025 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