frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Proofs are cheap now. Specs are next

https://www.genproof.com/blog/quickproof
1•torutofu•1m ago•0 comments

Amazon Kiro proves properties of its own harness in Lean

https://kiro.dev/blog/harness-properties-in-lean/
1•wenc•1m ago•0 comments

I converted 661M rows of Texas oil and gas data from mainframe dumps

https://texasrrcapi.com/
1•t_wright•1m ago•1 comments

Show HN: Scan-to-vector – rebuild scanned pages as vector PDFs with an AI agent

https://github.com/3351666087/scan-to-vector-skill
1•Null3351•1m ago•1 comments

Typographical Mistakes That Had Major Historical Consequences

https://www.oddee.com/6-typographical-mistakes-that-had-major-historical-consequences-80560/
1•nephihaha•2m ago•0 comments

Show HN: Chinese sentence checker with pinyin and English explanations

https://sentencecoach.com/chinese-grammar-checker
1•eatfreshapple•3m ago•0 comments

Musk Faces Setback as SpaceX and Tesla Stocks Tumble on Midterm Election Results

https://www.nytimes.com/2026/11/04/business/musk-elections-spacex-tesla-stocks.html
1•cdrnsf•3m ago•0 comments

Axion 1.0, an open agent foundation model

https://axion1-0.github.io/
1•rdg42•4m ago•0 comments

An AI agent's first 73 days, counted: 0 buyers, 8 pieces, 2 readers

https://pub-a941bfd863a24f91a60e6c4979c18a84.r2.dev/pi-sandbox-uploads/349868185312301056/2026-11...
1•lilykept•5m ago•0 comments

Automated Secret Rotation Is Chaos Engineering for Your Identity Plane

https://infisical.com/blog/automated-secret-rotation
1•FinnLobsien•5m ago•0 comments

The Post-Code Generation

https://andreinc.net/2026/10/26/the-post-code-generation/
1•speckx•6m ago•0 comments

Swatch Internet Time: 1k Beats per Day

https://whatbmt.com/
1•jakubf•6m ago•0 comments

Communist Hungary and its Arab informers

https://www.karlsnotes.com/communist-hungary-and-its-arab-informers/
1•valkrieco•6m ago•0 comments

3D-printed brick phone brings back the art of simply answering calls

https://www.designboom.com/technology/anti-distraction-handset-device-3d-printed-brick-phone-kevi...
1•surprisetalk•7m ago•0 comments

Show HN: The HTML Library of Babel

https://library.stone-red.net/
1•Stone_Red•7m ago•0 comments

Snowflake's AI_PARSE_DOCUMENT got an agentic mode

https://www.sfrt.io/snowflakes-ai_parse_document-got-an-agentic-mode/
1•sfrt•8m ago•0 comments

I Wrote a Book: The Art and Science of LLM Jailbreaking

https://leanpub.com/theartandscienceofllmjailbreaking
1•danllm•9m ago•0 comments

SpaceX Selects Qualcomm to Accelerate Starlink Mobile's Nationwide 5G Network

https://www.qualcomm.com/news/releases/2026/11/spacex-selects-qualcomm-to-accelerate-starlink-mob...
2•rtutz•10m ago•1 comments

Show HN: I wanted OpenSCAD with fillets and a C-like language. So I made one

https://hackerscad.com/
1•trikko•12m ago•0 comments

App that feels better then pintrest in wallpapers

https://wallpaperlab.vercel.app/
1•anonymousdevapp•14m ago•0 comments

Eric Conveys an Emotion

https://emotioneric.com/
1•kleiba2•14m ago•0 comments

How we built Lovable, and why we keep rebuilding it

https://lovable.dev/blog/how-we-built-lovable-and-why-we-keep-rebuilding-it
7•MaxGfeller•14m ago•2 comments

Old, Polluting Jet Engines Are Being Scavenged to Power Data Centers

https://www.nytimes.com/2026/11/03/climate/jet-engines-ai-data-center-generators-boneyard.html
2•leephillips•15m ago•0 comments

Mocktastic: A Meshtastic Node on Arduino

https://github.com/Vapmuz/Mocktastic
2•kimi•15m ago•0 comments

JobsWorkers – A marketplace for home and personal services

https://jobsworkers.com/
1•JobsWorkers•15m ago•0 comments

MCP vs. API vs. CLI: How should AI agents connect to your app?

https://wasp.sh/blog/2026/11/03/mcp-vs-api-vs-cli-connect-ai-agents-to-your-app
4•viborcip•15m ago•0 comments

Developers Are Getting RAIded

https://www.nickbevers.dev/blog/developers-are-getting-r-ai-ded
1•moebrowne•16m ago•0 comments

Five rules for evaluating agent skills before they bloat your context window

https://cloud.google.com/blog/topics/developers-practitioners/evaluate-agent-skills-before-they-b...
2•richards•17m ago•0 comments

Nvidia CEO Hints at Annual GPU Subscription Fees, Software Licensing Growth

https://windowsreport.com/nvidia-ceo-hints-at-annual-gpu-subscription-fees-says-software-licensin...
2•iamnothere•18m ago•0 comments

AI cannot be separated from the thought that is making it

https://openwisdom.substack.com/p/an-urgent-message-on-artificial-intelligence
1•0x4e•19m 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