joshmarlow's favorites

1.		Uncensor any LLM with abliteration (huggingface.co)
		586 points by mizzao 15 days ago \| 287 comments
2.		The state of the art in copter drones and flight control systems (mdpi.com)
		114 points by PaulHoule 24 days ago \| 34 comments
3.		Simple tasks showing reasoning breakdown in state-of-the-art LLMs (arxiv.org)
		375 points by tosh 22 days ago \| 380 comments
4.		Meaningful Nonsense: How I generate sentences (amygoodchild.com)
		212 points by ingve 29 days ago \| 55 comments
5.		Show HN: B-field, a novel probabilistic key-value data structure (`rust-bfield`) (github.com/onecodex)
		153 points by boyd 36 days ago \| 36 comments
6.		Translation of Rust's core and alloc crates to Coq for formal verification (formal.land)
		358 points by p4bl0 44 days ago \| 116 comments
7.		New work extends the thermodynamic theory of computation (santafe.edu)
		103 points by dlojudice 44 days ago \| 32 comments
8.		Alice's adventures in a differentiable wonderland (sscardapane.it)
		235 points by tosh 58 days ago \| 97 comments
9.		Tour of CLIPS (2022) (ryjo.codes)
		75 points by ryjo 59 days ago \| 41 comments
10.		Survey Study on AI Agent Architectures (2024) (arxiv.org)
		77 points by jslampe 66 days ago \| 16 comments
11.		Tips for linking shell companies to their secret owners (gijn.org)
		1068 points by chippy 85 days ago \| 496 comments
12.		Holodeck: Language Guided Generation of 3D Embodied AI Environments (yueyang1996.github.io)
		55 points by geox 77 days ago \| 7 comments
13.		Double-entry bookkeeping as a directed graph (matheusportela.com)
		541 points by mportela 78 days ago \| 375 comments
14.		Transformer as a general purpose computer (jvoderho.com)
		148 points by tosh 80 days ago \| 43 comments
15.		Show HN: FizzBee – Formal methods in Python (fizzbee.io)
		119 points by jayaprabhakar 86 days ago \| 23 comments
16.		Total Functional Programming (2004) [pdf] (ncatlab.org)
		89 points by leonidasv 3 months ago \| 99 comments
17.		Solving SAT via Positive Supercompilation (hirrolot.github.io)
		153 points by Hirrolot 4 months ago \| 38 comments
18.		Darknetlive Sold to Incognito Market (darkdot.com)
		82 points by edward 5 months ago \| 61 comments
19.		Ask HN: Good book to learn modern networking?
		326 points by charliebwrites 5 months ago \| 131 comments
20.		How to build a thinking AI (aithought.com)
		117 points by tudorw 5 months ago \| 65 comments
21.		Self-Play Fine-Tuning Converts Weak Language Models to Strong Language Models (arxiv.org)
		41 points by ColinWright 5 months ago \| 12 comments
22.		Causal Trees (farley.ai)
		235 points by sno6 6 months ago \| 29 comments
23.		Common Voice (commonvoice.mozilla.org)
		323 points by oblib 6 months ago \| 78 comments
24.		Dobb·E: An open-source framework for learning household robotic manipulation (dobb-e.com)
		108 points by talonx 7 months ago \| 4 comments
25.		A failed AI girlfriend product, and my lessons (mazzzystar.github.io)
		253 points by mazzystar 7 months ago \| 382 comments
26.		How deep is the brain? The shallow brain hypothesis (nature.com)
		202 points by vapemaster 8 months ago \| 178 comments
27.		No morphological differences between living and non-living systems are yet known (chemistryworld.com)
		163 points by YeGoblynQueenne 8 months ago \| 242 comments
28.		MemGPT – LLMs with self-editing memory for unbounded context (github.com/cpacker)
		363 points by shishirpatil 8 months ago \| 85 comments
29.		The deep link equating math proofs and computer programs (quantamagazine.org)
		249 points by digital55 8 months ago \| 162 comments
30.		[flagged] Baa the LLM client https://baarilliant.ai (reflect.site)
		20 points by maxbaines 8 months ago \| 11 comments
		More