logicprog's submissions

1.		Did Claude increase bugs in rsync? (alexispurslane.github.io)
		478 points by logicprog 1 day ago \| past \| 491 comments
2.		Contra Benn Jordan, data center (and all) sub-audible infrasound issues are fake (andymasley.com)
		23 points by logicprog 47 days ago \| past \| 15 comments
3.		Scientists discover AI can make humans more creative (sciencedaily.com)
		3 points by logicprog 75 days ago \| past \| 1 comment
4.		Anthropic could be exaggerating about the distillation efforts of Chinese labs [video] (youtube.com)
		4 points by logicprog 3 months ago \| past
5.		Diffusion of Responsibility (tante.cc)
		2 points by logicprog 3 months ago \| past \| 1 comment
6.		Beating GPT-2 for less than $100 – Andrej Karpathy (github.com/karpathy)
		4 points by logicprog 3 months ago \| past
7.		Property-based testing as executable specs for agentic coding (kiro.dev)
		1 point by logicprog 3 months ago \| past
8.		Code only says what it does (brooker.co.za)
		3 points by logicprog 3 months ago \| past \| 2 comments
9.		The success of 'natural language programming' (brooker.co.za)
		1 point by logicprog 3 months ago \| past
10.		Can AI Pass Cornell CS2112? (youtube.com)
		2 points by logicprog 4 months ago \| past
11.		The Problem Is Culture (deadsimpletech.com)
		1 point by logicprog 4 months ago \| past \| 1 comment
12.		Information liberation: Challenging the corruptions of information power (uow.edu.au)
		1 point by logicprog 4 months ago \| past
13.		Extracting books from production language models (2026) (arxiv.org)
		75 points by logicprog 4 months ago \| past \| 22 comments
14.		The Phenomenology of Agentic Coding (neonvagabond.xyz)
		1 point by logicprog 5 months ago \| past
15.		Linus Torvalds is 'a believer' in using AI to maintain code (zdnet.com)
		4 points by logicprog 5 months ago \| past
16.		DeepSeek v3.2 Technical Report (hf.co)
		3 points by logicprog 6 months ago \| past
17.		MiniMax M2 Tech Blog 3: Why Did M2 End Up as a Full Attention Model? (twitter.com/zpysky1125)
		1 point by logicprog 6 months ago \| past
18.		Big Nuclear's Big Mistake – Linear No-Threshold (youtube.com)
		3 points by logicprog 6 months ago \| past
19.		Show HN: HTML Commenter (alexispurslane.github.io)
		3 points by logicprog 9 months ago \| past \| 2 comments
20.		ECA: Editor (Agnostic) Code Assistant (eca.dev)
		3 points by logicprog 10 months ago \| past \| 1 comment
21.		Everything about the GNOME finance situation [video] (youtube.com)
		3 points by logicprog on April 30, 2024 \| past
22.		[flagged] Fyrox - A feature-rich game engine built in Rust (fyrox.rs)
		63 points by logicprog on April 27, 2024 \| past \| 25 comments
23.		SSC Post on GPT-3: How far can we push this kind of AI? (slatestarcodex.com)
		3 points by logicprog on June 13, 2020 \| past
24.		Better off Stateless (2007) [pdf]
		2 points by logicprog on July 8, 2019 \| past
25.		Capsicum: Practical Capabilities for Unix (cam.ac.uk)
		46 points by logicprog on July 7, 2019 \| past \| 9 comments
26.		Sieve of Eratosthenes in APL (aplwiki.com)
		2 points by logicprog on June 26, 2019 \| past
27.		MicroKanren: A Minimal Functional Core for Relational Programming (2013) [pdf] (webyrd.net)
		4 points by logicprog on May 12, 2019 \| past
28.		Show HN: Atomic Database: A deductive database with a natural language interface
		12 points by logicprog on May 3, 2019 \| past \| 5 comments
29.		Show HN: High Schoolers start video series on how to write data structures in C
		5 points by logicprog on April 25, 2019 \| past
30.		Graceful Athiest – What If I Grant You That? (2016) (gracefulatheist.wordpress.com)
		1 point by logicprog on April 23, 2019 \| past \| 8 comments

HN For You