frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Setting up a free *.city.state.us locality domain (2025)

https://fredchan.org/blog/locality-domains-guide/
404•speckx•6h ago•125 comments

Linux gaming is faster because Windows APIs are becoming Linux kernel features

https://www.xda-developers.com/linux-gaming-is-getting-faster-because-windows-apis-are-becoming-l...
259•haunter•3d ago•195 comments

In-person examinations at Princeton will be proctored starting July 1

https://www.dailyprincetonian.com/article/2026/05/princeton-news-adpol-proctoring-in-person-exami...
134•bookofjoe•1h ago•130 comments

Rars: a Rust RAR implementation, mostly written by LLMs

https://bitplane.net/log/2026/05/rars/
51•davidsong•1h ago•32 comments

MacBook Neo Deep Dive: Benchmarks, Wafer Economics, and the 8GB Gamble

https://www.jdhodges.com/blog/macbook-neo-benchmarks-analysis/
81•tosh•2h ago•39 comments

A History of IDEs at Google

https://laurent.le-brun.eu/blog/a-history-of-ides-at-google
179•laurentlb•4d ago•141 comments

Chess puzzle I found in my dad's old book

https://ardoedo.it/kempelen/
16•Eswo•2d ago•1 comments

Xs of Y – roguelike that names itself every run. Written in 4kLoC

https://github.com/nooga/xsofy
126•andsoitis•3d ago•56 comments

Making the news available at no cost is a victory

https://www.sltrib.com/opinion/commentary/2026/05/12/just-days-tribune-reporting/
78•danso•2h ago•81 comments

The Emacsification of Software

https://sockpuppet.org/blog/2026/05/12/emacsification/
121•rdslw•14h ago•73 comments

S-100 Virtual Workbench

https://grantmestrength.github.io/S100/
77•rbanffy•5h ago•18 comments

GitHub Actions issued GitHub_TOKEN disclosure in GitHub Actions logs

https://github.com/composer/composer/security/advisories/GHSA-f9f8-rm49-7jv2
47•damienwebdev•9h ago•19 comments

Launch HN: Ardent (YC P26) – Postgres sandboxes in seconds with zero migration

https://www.tryardent.com/
50•vc289•4h ago•20 comments

The great memory panic of 2026 – Asymco

https://asymco.com/2026/05/11/the-great-memory-panic-of-2026/
43•tambourine_man•2d ago•15 comments

ReactOS

https://reactos.org/
57•DeathArrow•3h ago•17 comments

The US is winning the AI race where it matters most: commercialization

https://avkcode.github.io/blog/us-winning-ai-race.html
122•akrylov•7h ago•343 comments

Reverting the incremental GC in Python 3.14 and 3.15

https://discuss.python.org/t/reverting-the-incremental-gc-in-python-3-14-and-3-15/107014
176•curiousgal•4d ago•60 comments

A sentimental tour of late 1990s and early 2000s hacking tools

https://andreafortuna.org/2026/05/13/amarcord/
22•speckx•3h ago•9 comments

"Not Medically Necessary": Helping America's Health Insurers Deny Coverage

https://www.propublica.org/article/evicore-health-insurance-denials-cigna-unitedhealthcare-aetna-...
83•ceejayoz•2h ago•37 comments

Twin brothers wipe 96 government databases minutes after being fired

https://arstechnica.com/tech-policy/2026/05/drop-database-what-not-to-do-after-losing-an-it-job/
195•jnord•22h ago•135 comments

New stainless steel can survive conditions for hydrogen production in seawater

https://www.sciencedaily.com/releases/2026/05/260510030950.htm
269•HardwareLust•2d ago•126 comments

Leaving GitHub for Forgejo

https://jorijn.com/en/blog/leaving-github-for-forgejo/
478•jorijn•8h ago•256 comments

Exploring 8 Shaft Weaving

https://algorithmicpattern.org/2026/03/11/exploring-8-shaft-weaving/
12•surprisetalk•2d ago•0 comments

An idiot's guide to lead optimisation for proteins

https://magnusross.github.io/posts/protein-lead-optimisation-1/
121•magni121•2d ago•9 comments

Substrate (YC S24) Is Hiring a Technical Success Manager

https://www.ycombinator.com/companies/substrate/jobs/T2fMBhD-technical-success-manager
1•kunle•9h ago

Preserving Fisher-Price Pixter

https://dmitry.gr/?r=05.Projects&proj=37.%20Pixter
192•dmitrygr•2d ago•39 comments

I moved my digital stack to Europe

https://monokai.com/articles/how-i-moved-my-digital-stack-to-europe/
812•monokai_nl•9h ago•511 comments

Show HN: Needle: We Distilled Gemini Tool Calling into a 26M Model

https://github.com/cactus-compute/needle
618•HenryNdubuaku•1d ago•179 comments

Meta won't let you block its AI account on Threads

https://www.theverge.com/tech/929091/meta-ai-threads-account-block
20•logickkk1•1h ago•6 comments

Open Source Resistance: keep OSS alive on company time

https://ossresistance.com/
220•mikemcquaid•6h ago•71 comments
Open in hackernews

Rars: a Rust RAR implementation, mostly written by LLMs

https://bitplane.net/log/2026/05/rars/
50•davidsong•1h ago

Comments

davidsong•1h ago
I spent a fortnight using Claude to create specs for every version of RAR, then another using gpt-5.5 to write compressors in Rust.

It's not fast and it's not pretty, but it works.

esafak•1h ago
> It’s sloppy, it’s slow, it’s almost two megabytes in size and somewhat worse than WinRAR on compression.

As mathematicians say, optimization is left as an exercise to the reader. You did the hard part.

themafia•1h ago
> But, it works, and the world now has a free software RAR implementation.

Does it? How are you legally intending to use copyright to license this machine output? How would you know it's not encumbered in any way?

perching_aix•39m ago
Really unsure why this is getting downvoted, to my understanding this is a massive, unsettled concern.

It wasn't even a disasm/pseudocode to formal spec flow, and then a separate human implementation. The same human has been in the loop throughout, and large parts of it were generated directly.

It's basically guaranteed tainted.

charcircuit•22m ago
The human wasn't looking at the copyrighted code and was giving high level steering instructions. If you look at the spec generated it doesn't look like a derivative work of the copyrighted material. The program was generated from the spec. It seems mostly fine from my perspective.
ameliaquining•20m ago
I read the post you're replying to as saying "this is copyright-encumbered and nonfree because it's a derivative work of everything in Claude's and GPT-5.5's training corpus", which is an argument I find fairly tiresome. (Realistically, if courts actually rule that this is the case, this tiny little project will be the least of anyone's concerns.)

"This is copyright-encumbered and nonfree because it's a derivative work of the legacy RAR binaries" is a different argument (and seems like it depends on details of the setup that were somewhat glossed over in the post).

perching_aix•11m ago
[delayed]
cactusplant7374•1h ago
> and it almost earned me an OpenAI ban

Were you flagged for a cybersecurity violation?

gibspaulding•52m ago
> Well, it turned out that at some time during spec investigation, Claude needed to understand authenticity verification which is a paid feature. With a context full of reverse engineering tools it cracked WinRAR and bypassed product registration, then dutifully documented its crimes in the spec. The docs, when viewed, triggered OpenAI’s alarms and stopped it dead in its tracks. I squashed this out of the git history, and decided not to implement the feature at all.

You can draw your own conclusions as to what this says about the state of agentic development.

Imustaskforhelp•46m ago
Kudos, this is a really cool project (even if it might be AI generated), I have starred the repo, (3rd starrer here)

One thing I have been curious at is are there any ways to stop a rar compression mid way and then continue it later?

Like suppose I have a compression happening for a large file, then would there be a possibility with this project to shut down the computer mid compression and continue it after starting it again?

I would really love it if you can add this functionality!

slopinthebag•46m ago
How do we know it's actually correct?
perching_aix•42m ago
By using it.
repelsteeltje•40m ago
It works == it's correct?
mjr00•39m ago
This is Rust we're talking about. It doesn't even need to work; as long as it compiles, it's correct.
speedgoose•33m ago

    use std::fs::File;
    use std::io::prelude::*;
    
    fn main() -> std::io::Result<()> {
        let mut file = File::create("content.txt")?;
        file.write_all(b"3!")?;
        Ok(())
    }
dataflow•5m ago
[delayed]
perching_aix•38m ago
Yes? What do you think fuzzing, unit testing, integration testing is for? It's an empirical evaluation of correctness. Literally just try and see.

For actual correctness verification in the strong sense, you'd need to start from a specification written in a formal language so that it's machine checkable, which if I had to guess not even win.rar GmbH has.

repelsteeltje•32m ago
I hope the developers of, say, the brakes in my car don't interpret 'software correctness' the way you do.

Added, later: hey you changed your comment, added a whole paragraph.

atiedebee•22m ago
I hope the brakes in my car don't need developers
pixl97•17m ago
I think you underestimate the complexity of modern braking systems.
throw1234567891•20m ago
They used to. Now they have systems, standards, and experience. There are only so many ways you can do brakes on the car.
perching_aix•19m ago
I added the second paragraph about formal verification at the same time you posted, in anticipation that you'd immediately dig your heels into it otherwise, despite me highlighting that the other methods are merely empirical.

I was immediately proven right once I pressed "update". That said, I have now deleted my snarky response that followed. Not in the game of capitalizing off of the human equivalent of a race condition.

I should make a browser addon to delay posting, this is the 2nd time this happens in the past few days.

Edit:

Nevermind, it's already a feature built into the site. Turned it on. I wonder if it applies to edits also...

Nope, doesn't seem to. Oh well, should still help.

repelsteeltje•13m ago
Haha, off course! The three major sources of software failures: off by one errors and race conditions.
xphos•40m ago
Would it really take 5 years to develop rare compress and decompression that seems an extreme overestimate in time. I don't know of the compressor decompression but that seems really high
q3k•32m ago
Yeah, sounds closer to a 5 week thing, if you know what you're doing.
unixhero•21m ago
Rar means weird in Norwegian and adorable in Swedish. Just for an anecdote.
mhitza•15m ago
Rare, in Romanian.
vedaba•2m ago
Those almost sound like antonyms which is ironic given how closely related the two languages are
npn•16m ago
Rar is proprietary. Good luck.
rebolek•12m ago
> "For the last 15 months or so my hobby has been shouting at Claude"

How can you shout at Claude when it’s

1) foobaring, bamblabooing and fghrtawing all the time without telling you what’s going on

2) when it finally interacts, it’s asking for a permission you told it 30 seconds ago "yes and do not ever ask me again until heat death of the Universe"

3) and after all of that, it just spits out: "you’re out of tokens, give up your liver or wait until next Trump’s war"

periodjet•8m ago
Finally, a sane and enjoyable read about a coding project. Feel like it’s been months since we had one of these that wasn’t filled to the brim with bluesky/mastodon-flavored whining about AI.

Kudos to the author. A fun read, thank you for sharing.