frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory

https://github.com/localgpt-app/localgpt
185•yi_wang•6h ago•62 comments

Haskell for all: Beyond agentic coding

https://haskellforall.com/2026/02/beyond-agentic-coding
90•RebelPotato•6h ago•22 comments

SectorC: A C Compiler in 512 bytes (2023)

https://xorvoid.com/sectorc.html
278•valyala•14h ago•55 comments

Software factories and the agentic moment

https://factory.strongdm.ai/
216•mellosouls•17h ago•372 comments

LLMs as the new high level language

https://federicopereiro.com/llm-high/
86•swah•4d ago•161 comments

Speed up responses with fast mode

https://code.claude.com/docs/en/fast-mode
175•surprisetalk•14h ago•173 comments

The Architecture of Open Source Applications (Volume 1) Berkeley DB

https://aosabook.org/en/v1/bdb.html
18•grep_it•5d ago•0 comments

LineageOS 23.2

https://lineageos.org/Changelog-31/
26•pentagrama•2h ago•1 comments

Hoot: Scheme on WebAssembly

https://www.spritely.institute/hoot/
185•AlexeyBrin•19h ago•36 comments

Brookhaven Lab's RHIC concludes 25-year run with final collisions

https://www.hpcwire.com/off-the-wire/brookhaven-labs-rhic-concludes-25-year-run-with-final-collis...
78•gnufx•13h ago•60 comments

Stories from 25 Years of Software Development

https://susam.net/twenty-five-years-of-computing.html
184•vinhnx•17h ago•18 comments

Vocal Guide – belt sing without killing yourself

https://jesperordrup.github.io/vocal-guide/
343•jesperordrup•1d ago•104 comments

Substack confirms data breach affects users’ email addresses and phone numbers

https://techcrunch.com/2026/02/05/substack-confirms-data-breach-affecting-email-addresses-and-pho...
39•witnessme•3h ago•11 comments

Roger Ebert Reviews "The Shawshank Redemption"

https://www.rogerebert.com/reviews/great-movie-the-shawshank-redemption-1994
4•monero-xmr•2h ago•0 comments

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

https://github.com/Momciloo/fun-with-clip-path
94•momciloo•14h ago•21 comments

Wood Gas Vehicles: Firewood in the Fuel Tank (2010)

https://solar.lowtechmagazine.com/2010/01/wood-gas-vehicles-firewood-in-the-fuel-tank/
41•Rygian•2d ago•16 comments

First Proof

https://arxiv.org/abs/2602.05192
141•samasblack•16h ago•81 comments

uLauncher

https://github.com/jrpie/launcher
15•dtj1123•4d ago•0 comments

Start all of your commands with a comma (2009)

https://rhodesmill.org/brandon/2009/commands-with-comma/
597•theblazehen•3d ago•216 comments

Al Lowe on model trains, funny deaths and working with Disney

https://spillhistorie.no/2026/02/06/interview-with-sierra-veteran-al-lowe/
111•thelok•16h ago•24 comments

Vouch

https://twitter.com/mitchellh/status/2020252149117313349
92•chwtutha•4h ago•24 comments

Show HN: A luma dependent chroma compression algorithm (image compression)

https://www.bitsnbites.eu/a-spatial-domain-variable-block-size-luma-dependent-chroma-compression-...
42•mbitsnbites•3d ago•6 comments

The world heard JD Vance being booed at the Olympics. Except for viewers in USA

https://www.theguardian.com/sport/2026/feb/07/jd-vance-boos-winter-olympics
96•treetalker•1h ago•27 comments

The AI boom is causing shortages everywhere else

https://www.washingtonpost.com/technology/2026/02/07/ai-spending-economy-shortages/
326•1vuio0pswjnm7•20h ago•530 comments

The Scriptovision Super Micro Script video titler is almost a home computer

http://oldvcr.blogspot.com/2026/02/the-scriptovision-super-micro-script.html
7•todsacerdoti•5h ago•1 comments

FDA intends to take action against non-FDA-approved GLP-1 drugs

https://www.fda.gov/news-events/press-announcements/fda-intends-take-action-against-non-fda-appro...
120•randycupertino•9h ago•247 comments

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/
911•klaussilveira•1d ago•277 comments

Selection rather than prediction

https://voratiq.com/blog/selection-rather-than-prediction/
37•languid-photic•4d ago•19 comments

Where did all the starships go?

https://www.datawrapper.de/blog/science-fiction-decline
169•speckx•4d ago•251 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo
306•isitcontent•1d ago•39 comments
Open in hackernews

SWE-Bench Pro

https://github.com/scaleapi/SWE-bench_Pro-os
101•tosh•4mo ago

Comments

siliconc0w•4mo ago
Looks like the associated article is: https://scale.com/research/swe_bench_pro (link in the repo is wrong)
gpt5•4mo ago
Slightly tangent question - they said that they have protected the public test set with a strong copyleft license to prevent training private models on them.

Does it actually work? Isn’t AI training so far simply ignores all license and copyright restrictions completely?

ej88•4mo ago
https://scale.com/leaderboard/swe_bench_pro_commercial

I definitely trust the totally private dataset more.

stephendause•4mo ago
This is a key question in my opinion. It's one of the things that make benchmarking the SWE capabilities of LLMs difficult. It's usually impossible to know whether the LLM has seen a problem before, and coming up with new, representative problem sets is time-consuming.
CuriouslyC•4mo ago
You can just fuzz names and switch to a whitespace compact representation.
Uehreka•4mo ago
If you fuzz the names they won’t mean the same thing anymore, and then it’s no longer the same test. If you remove the whitespace the LLM will just run a formatter on the code. It’s not like the LLM just loads in all the code and then starts appending its changes.
CuriouslyC•4mo ago
I've never had a LLM try to run a formatter on my code with probably a few thousand hours logged driving agents (driving 4+ agents at once in most of those). Fuzzing makes the semantics slightly less immediately obvious, but LLMs are more robust to this than you or I, the biggest difference is the reduction in memorization carryover. If it feels like too different of a test for you, not sure what to tell you, but I know the world would appreciate a better way to test for training set contamination if you can figure one out.
flare_blitz•4mo ago
And your basis for saying this is...?
CuriouslyC•4mo ago
I've done it? I have a benchmark called scramblebench that will do rewriting to evaluate model performance degradation with symbol replacement and layers of indirection.
stri8ed•4mo ago
Not a chance. Even if American companies did abide by it, there is no reason Chinese companies would. And good luck definitely proving that a model trained on it.
candiddevmike•4mo ago
Sir, we've already ingested 503,377 copyleft licensed codebases, I don't think the training set can take anymore!
ipnon•4mo ago
Snark is against the rules but sometimes a good one-liner says more than a whole paragraph.
BoorishBears•4mo ago
I feel like public datasets are something we're holding onto with LLM benchmarks for historical reasons, but need to move on from.

Older, non-instruction tuned models needed post-training on public datasets to even reliably produce meaningful answers.

Now we're testing tasks that are so complex that the LLM should reasonably be expected to answer without additional post-training.

Once you have a public dataset, even feeding those examples to an LLM and producing synthetic variations is enough to let you game the benchmark. And the worst part is you don't need to be unethical to do this: some people would say it's just a good way to expand your training data even though it incidentally allows you to overfit on the task, without overfitting on the public dataset.

So everyone's doing stuff like that, and we're getting models that are increasing overfit to a few narrow tasks.

-

The alternative is just giving detailed plain english descriptions of the tasks in question. Those can be used to generate synthetic tasks, but won't result in matching the benchmark's "shape" perfectly (as long as the questions stay hidden), and that alone is enough to ensure some level of generalization takes place.

joefkelley•4mo ago
I happen to have worked on exactly this at Google. No, we don't train on restrictively-licensed code to the best of our abilities.
pama•4mo ago
Out of curiosity, and IANAL, what is it in a GPL/copyleft license that would make it undesirable to train LLMs on projects with such license? Or are there stronger yet copyleft licenses that you had in mind?

(FWIW, and not directly related to my question, I always thought of GPL as the less (not more) restrictive license from the perspective of a user, because I could always ask for the source code and debug a problem on my own.)

kenstler•4mo ago
One of the authors here -- we should clarify that strong copyleft license is a best attempt at decontamination for the public set. It's part of the tradeoff for having an open source set -- true decontamination is available with the private commercial set, but we can't release these, and if we did they'd be immediately susceptible to future contamination.
heavyset_go•4mo ago
If courts find model training and inference to be fair use of data sets, licenses mean nothing.

It looks like one court did in a non-precedent binding case, but I might be remembering incorrectly.

WhitneyLand•4mo ago
Recently it was pointed out that models were sometimes finding SWE-Bench verified cheats by scanning parts of the repo not meant to be visible.

Hope they’re addressing that at the same time.

hereme888•4mo ago
Is it possible to benchmark the GPT-5-Pro model?
nyrikki•4mo ago
> Larger models (e.g., Opus 4.1) often fail on semantic or algorithmic correctness in large, multi-file edits, whereas smaller models (e.g., Qwen 3 32B) more frequently fail due to issues in syntax and formatting, tool use, or context management.

While I haven’t dug into the details of this benchmark, this absolutely matches my personal experience.

Assuming “semantic correctness” is in the sense of Rice and runtime behavior.

While syntactic correctness has dramatically improved, security and architectural erosion and other long term issues have not.

Unfortunately Rice’s theorem also applies to finite programs in finite time too.

Actually it can apply to total functions in the general case.

I am still optimistic that coding agents will provide value long term in some fashion.

But the open domain frame problem simply reduces to the halting problem, yes and humans struggle with it too.

But fundamentally, PAC learning has to be reduced to _trivial_ problems, with only T/F.

We have found clever ways to work within these s limitations, but they still exist.

Hopefully we find clever ways to keep humans engaged with the code, while gaining the potential force multiplier that ML may offer.

The long tailed problems are particularly important, and while human SREs make mistakes and organizations often have constraints that add to the problem, SREs do a lot more to avoid those long tailed problems than they are given credit for.

IMHO that has always been one of the hardest parts of the industry and a true measure for what makes great team members.

Unfortunately the metrics and incentives often don’t capture that value.

leoh•4mo ago
Frankly, several repos and tools from Google/DeepMind look a lot better.

https://github.com/google-deepmind/bbeh?tab=readme-ov-file

https://github.com/google/lmeval

I hesitate to say this lest folks adapt, but does anyone else immediately distrust a repo when it has a bunch of emojis in the README? It is often a giveaway that they were LLM-generated.

scosman•4mo ago
Unless this is actually made by the SWE Bench team, and I see no evidence it is, this name is incredibly poor form. Just adding "Pro" to someone else's name not only is infringing on their mark, but implying yours is superior.
stathibus•4mo ago
its the new YOLOv*
philip1209•4mo ago
JavaScript
burgerquizz•4mo ago
why should we trust this benchmark more than an other for coding? geniune question, there are so many out there
segmondy•4mo ago
Silly, if you are going to come up with a new benchmark, then add capable models, they have Opus, Gemini Pro, and then Qwen3-32B.

Why not qwen3-coder-480b, qwen3-235b-instruct, deepseek-v3.1, kimi-k2, GLM-4.5, gpt-oss-120b?

tootyskooty•4mo ago
would be nice to finally see multi-turn coding benchmarks. everything we have so far is single-turn and that's clearly not a realistic scenario.
yangcheng•4mo ago
The public dataset only contains 3 or 4 languages. go-280 python-266 js-165 ts-20

I hope in future the benchmark can cover other widely used languages, such as c++, java, swift, rust etc.