frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Tests don't prove anything, but they are a model

https://blog.drgriffin.au/posts/tests-are-a-model
1•discodave•1m ago•1 comments

MongoDB API compatible DocumentDB announces 1.0

https://documentdb.io/blogs/posts/documentdb-1-0/
1•xgerman•3m ago•0 comments

A Little League coach pulled aside an opposing player [Meta Glasses]

https://www.nytimes.com/athletic/7693356/2026/10/16/little-league-coach-viral-leadership-2/
1•compiler-guy•3m ago•0 comments

And Soon It Will Be Forgotten

https://desmolysium.substack.com/p/and-soon-it-will-be-forgotten
1•paulpauper•5m ago•0 comments

The Death of the Comeback

https://morbidcuriosity.substack.com/p/the-death-of-the-comeback
1•paulpauper•5m ago•0 comments

The big lie we tell ourselves as we get older

https://coached.com/essays/the-big-lie-we-tell-ourselves-as-we-get-older/
1•rohanm93•6m ago•1 comments

Lilly code editor outperforms Neovim using custom treesitter equivalent

https://tauraamui.site/blog/lilly-perf-vs-neovim-and-others
1•bloostar•6m ago•0 comments

Bill Gross bets AI can help mass produce 1M new startups

https://fortune.com/2026/10/19/bill-gross-idealab-ai-million-startups-jobs/
1•cybermango•6m ago•0 comments

Development Statistics for the 7.3 Kernel

https://lwn.net/SubscriberLink/1100241/27c42c1a81a81577/
1•cjd8•7m ago•0 comments

Show HN: CueCut Teleprompter for videos, podcasts and Zoom calls

https://getcuecut.com/
1•beerglass•7m ago•0 comments

Counterexample to Euler's Conjecture on Sums of Like Powers (1966) [pdf]

https://www.ams.org/journals/bull/1966-72-06/S0002-9904-1966-11654-3/S0002-9904-1966-11654-3.pdf?...
1•theanonymousone•9m ago•0 comments

GTA 6 release could cost US economy $1B in lost productivity in just one day

https://www.ibtimes.co.uk/gta-6-launch-billion-dollar-sick-day-1818190
2•Vaslo•9m ago•0 comments

Techno-Optimism Archive – Old Promises of New Technologies

https://technooptimism.org/
1•ohjeez•9m ago•0 comments

We Put a Browser in Everything and Called It Progress

https://dayvster.com/blog/we-put-a-browser-in-everything-and-called-it-progress/
2•ibobev•12m ago•0 comments

AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

https://www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/
1•ibobev•12m ago•0 comments

Decoding base64 in Python at 10 gigabytes per second

https://lemire.me/blog/2026/10/17/decoding-base64-in-python-at-10-gigabytes-per-second/
2•ibobev•13m ago•0 comments

Show HN: ProvLedger – stops coding agents repeating mistakes

https://github.com/yizhao95/prov_ledger
2•yzhao950213•13m ago•1 comments

The Bourgain Project

https://terrytao.wordpress.com/2026/10/19/the-bourgain-project/
1•smilelamp•13m ago•0 comments

Anthropic commits 5% of shares to new public benefit fund

https://www.cnbc.com/video/2026/10/19/anthropic-commits-5percent-of-shares-to-new-public-benefit-...
1•geox•14m ago•0 comments

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

https://medium.com/@Koukyosyumei/i-tried-to-formally-verify-popular-rust-projects-with-lean-4-but...
3•syumei•14m ago•0 comments

Surveying the landscape of CSS microframeworks (2023)

https://blakewatson.com/journal/surveying-the-landscape-of-css-micro-frameworks/
1•ForHackernews•16m ago•0 comments

Toronto man accused of driving rental car 30k kms in just 7 days

https://toronto.citynews.ca/2026/10/19/toronto-man-rental-car-30-thousand-kms-avis-seven-days/
2•breitling•16m ago•0 comments

Linux KVM guest-host escape rated critical

https://www.theregister.com/virtualization/2026/10/19/linux-kvm-guest-host-escape-rated-critical-...
2•mooreds•17m ago•0 comments

Building a Dependency Graph of Our Python Codebase

https://www.hudsonrivertrading.com/hrtbeat/dependency-graph-python-codebase
1•Tommkruix123•17m ago•0 comments

Maths, Metal, and Mandelbrot

https://blog.jacobstechtavern.com/p/maths-metal-mandelbrot
1•jakey_bakey•17m ago•0 comments

Who Will Benefit from the AI Revolution?

https://time.com/article/2026/10/19/who-will-benefit-from-the-ai-revolution-/
1•voxleone•18m ago•0 comments

Spirit Room – Test whether agents can find and use your MCP tools

https://spiritroom.app/
1•LeonidBugaev•19m ago•0 comments

Claude Code, Codex and OpenCode Find MCP Tools

https://spiritroom.app/blog/optimise-mcp-tools-for-agents/
1•LeonidBugaev•19m ago•0 comments

The Download: preserving the Arctic permafrost, and playful AI agents

https://www.technologyreview.com/2026/10/19/1147103/the-download-preserving-the-arctic-permafrost...
1•joozio•20m ago•0 comments

Why TypeScript lets you overrule its type checker

https://www.ultracite.ai/research/type-escape-hatches
1•fmerian•22m ago•0 comments
Open in hackernews

Ask HN: Is reasoning just some iterative context refinement?

2•sschmitt•1y ago
context = "you are a useful model. you evaluate your own output for N steps after the initial user input"

prompt = "here comes a prompt by the user"

context += prompt

for _ in range(N): context += evaluate_llm(context)

Comments

Reubend•1y ago
Are you asking in terms of how the current crop of "reasoning models" are implemented, or are you asking more philosophically about the nature of true reasoning?

Calling it "refinement" is dismissive. It's generating new information, which is in many cases well beyond the scope of the original prompt.

Reasoning models today are just a marketing spin on chain-of-thought techniques that benefit from reinforcement learning.