frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Dependent if expressions without dependent types

https://haskellforall.com/2026/09/dependent-if-expressions
1•g0xA52A2A•2m ago•0 comments

Why a Data Catalog Breach Is Different

https://www.cybersecurity-insiders.com/why-a-data-catalog-breach-is-different-and-why-you-cant-ju...
1•mooreds•3m ago•0 comments

How AI Is Ruining the Electric Grid

https://www.youtube.com/watch?v=3__HO-akNC8
2•alphabetatango•4m ago•0 comments

China's solar expansion policy reduces bird diversity

https://www.science.org/doi/10.1126/science.aee0747
2•alphabetatango•6m ago•0 comments

Stripe is giving off early Google vibes

https://fortune.com/2026/09/02/stripe-is-giving-off-early-google-vibesfor-good-and-for-bad/
2•benzguo•9m ago•1 comments

Teachers, students file new lawsuits against OpenAI over Tumbler Ridge shooting

https://www.cbc.ca/news/canada/british-columbia/tumbler-ridge-shooting-open-ai-lawsuits-9.7328382
2•speckx•9m ago•0 comments

Black Hole of Los Alamos Seller of surplus nuclear research materials

https://www.atlasobscura.com/places/black-hole-of-los-alamos
1•Bluestein•10m ago•0 comments

Rubber ducking your blog post with an LLM

https://writethatblog.substack.com/p/rubber-ducking-your-blog-post-with-llms
1•cyndunlop•12m ago•0 comments

Gpuix-Svelte: Svelte custom renderer for GPUI

https://github.com/khromov/gpuix-svelte
2•zapt02•14m ago•0 comments

The American Worker vs. the Most Qualified

https://www.marginallycompelling.com/p/the-american-worker-vs-the-most-qualified
3•skmurphy•14m ago•2 comments

Using Cloudflare Workers and reCAPTCHA v3 for a Static Site Contact Form

https://nooshu.com/blog/2026/03/09/using-cloudflare-workers-and-recaptcha-v3-for-a-static-site-co...
1•speckx•14m ago•0 comments

Welcome to the 32nd Annual IFComp

https://blog.ifcomp.org/post/826592417493008384/welcome-to-the-32nd-annual-ifcomp
2•crtasm•15m ago•0 comments

The Qantas A380 engine disintegration in 2010

https://admiralcloudberg.medium.com/a-matter-of-millimeters-the-story-of-qantas-flight-32-bdaa62d...
1•gumby•15m ago•0 comments

Show HN: Arbitale – emergent choose your own adventure game

https://www.arbitale.com
1•ezclap•15m ago•0 comments

Freelancers are getting buried with 'soulless' AI slop cleanup

https://www.theguardian.com/technology/2026/sep/02/ai-jobs-freelance-cleanup
2•CrypticShift•15m ago•0 comments

Eyeprolog: Turning Prolog programs into answers and inspectable proofs

https://github.com/eyereasoner/eyeprolog
1•simonpure•16m ago•0 comments

An Ancient Poop Explosion Could Have Helped Complex Life Evolve

https://www.sciencealert.com/an-ancient-poop-explosion-could-have-helped-complex-life-evolve
2•EveryonePoops•16m ago•0 comments

Arcva

https://arcva.app
1•Tameer_Shawah•16m ago•0 comments

Adventure and Amygdalectomy Advocacy

https://www.astralcodexten.com/p/absurd-adventure-and-amygdalectomy
3•paulpauper•17m ago•0 comments

Missouri Voters Appear to Recall City Councilman over Data Center Support

https://www.nytimes.com/2026/09/01/technology/data-center-recall-vote-independence.html
7•cocacola1•18m ago•1 comments

We are causing sycophancy and evasion

https://www.unite.ai/ai-safety-psychology-trauma-framework-model-behavior/
4•lokatewry•22m ago•0 comments

German industry pushes to restore 40-hour working week without extra pay

https://www.ft.com/content/76a9c61b-021f-482d-8978-6480e9ba23e8
4•alephnerd•22m ago•1 comments

Offpunk Manifesto

https://blog.ayom.media/ideiasdechirico/offpunk-manifesto
2•yu3zhou4•24m ago•0 comments

Oh-My-Openagent

https://github.com/code-yeongyu/oh-my-openagent/tree/dev
3•mooreds•25m ago•0 comments

Embedded Rust RTOS vs. C RTOS

https://tweedegolf.nl/en/blog/65/async-rust-vs-rtos-showdown/
2•kooi•25m ago•0 comments

Firefox's AI Switch Is Off. Telemetry Isn't

https://marius.blog/firefox-155-ai-kill-switch-retest/
9•speckx•27m ago•0 comments

Hong Kong activist Joshua Wong pleads guilty in second national security case

https://www.nbcnews.com/world/asia/hong-kong-activist-joshua-wong-pleads-guilty-second-national-s...
4•mikhael•27m ago•0 comments

I Am not Going To Buy A Computer (2000) [pdf]

https://classes.matthewjbrown.net/teaching-files/philtech/berry-computer.pdf
2•Tomte•28m ago•0 comments

Shein's Unhappy IPO

https://www.ft.com/content/66df7f0e-ce6a-4619-8044-fa23423db3e7
4•JumpCrisscross•28m ago•2 comments

CFTC moots rules to stop prediction markets from giving affiliates advantages [pdf]

https://www.govinfo.gov/content/pkg/FR-2026-08-06/pdf/2026-15948.pdf
3•JumpCrisscross•29m ago•0 comments
Open in hackernews

Open-Source Refact.ai Agent is #1 on SWE-bench Lite With a 59.7% Score

https://refact.ai/blog/2025/sota-on-swe-bench-lite-open-source-refact-ai/
3•kate_at_refact•1y ago

Comments

kate_at_refact•1y ago
Open-source Refact.ai achieves #1 on SWE-bench Lite with a 59.7% score. Our approach: fully autonomous Agent, no manual intervention needed.

How we did this:

• Prompt strategy: https://github.com/smallcloudai/refact/blob/swe-boosted-prom... • Claude 3.7 Sonnet as orchestrator • deep_analysis() tool (powered by o4-mini) for reasoning • Tool suite for repository exploration, code modification, and testing. Used dynamically based on task needs • One correct solution through iteration!

Autonomy = our core strength.

Refact.ai Agent completes the entire dev workflow independently: plans, executes, tests, self-corrects, and delivers a production-ready result. For each task, it made one multi-step run to generate a single correct solution, creating custom strategies rather than following rigid scripts.

You can read tech details on our SWE-bench approach: https://refact.ai/blog/2025/sota-on-swe-bench-lite-open-sour...

Your questions are welcome! Also, welcome to try Refact.ai Agent in VS Code and Jet Brains: https://linktr.ee/refactai