frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ironclad – formally verified, real-time capable, Unix-like OS kernel

https://ironclad-os.org/
129•vitalnodo•3h ago•21 comments

Marko – A declarative, HTML‑based language

https://markojs.com/
214•ulrischa•8h ago•107 comments

Largest cargo sailboat completes first Atlantic crossing

https://www.marineinsight.com/shipping-news/worlds-largest-cargo-sailboat-completes-historic-firs...
130•defrost•6h ago•68 comments

Study identifies weaknesses in how AI systems are evaluated

https://www.oii.ox.ac.uk/news-events/study-identifies-weaknesses-in-how-ai-systems-are-evaluated/
311•pseudolus•12h ago•155 comments

Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs

https://www.downtowndougbrown.com/2025/11/debugging-beagleboard-usb-boot-with-a-sniffer-fixing-om...
40•todsacerdoti•4h ago•0 comments

WriterdeckOS

https://writerdeckos.com
129•surprisetalk•8h ago•67 comments

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/
103•SchwKatze•5d ago•3 comments

Open-source communications by bouncing signals off the Moon

https://open.space/
62•fortran77•6d ago•14 comments

Avería: The Average Font (2011)

http://iotic.com/averia/
127•JoshTriplett•7h ago•27 comments

IP blocking the UK is not enough to comply with the Online Safety Act

https://prestonbyrne.com/2025/11/06/the-ofcom-files-part-2-ip-blocking-the-uk-is-not-enough-to-co...
184•pinkahd•4h ago•211 comments

Cloudflare scrubs Aisuru botnet from top domains list

https://krebsonsecurity.com/2025/11/cloudflare-scrubs-aisuru-botnet-from-top-domains-list/
119•jtbayly•10h ago•26 comments

He Chunhui's Tiny386 Turns an ESP32-S3 into a Fully-Functional 386-Powered PC

https://www.hackster.io/news/he-chunhui-s-tiny386-turns-the-humble-esp32-s3-into-a-fully-function...
30•HardwareLust•1h ago•3 comments

My first fifteen compilers (2019)

https://blog.sigplan.org/2019/07/09/my-first-fifteen-compilers/
45•azhenley•1w ago•3 comments

Judge says Education Dept partisan out-of-office emails violated First Amendment

https://www.npr.org/2025/11/08/nx-s1-5602859/education-department-out-of-office-emails-ruling
86•toomanyrichies•1h ago•54 comments

When a “feature” is worse than a bug

https://medium.com/@egorich42/when-a-feature-is-worse-than-a-bug-hello-sketchfab-b88a10d52511
8•Egorich42•4d ago•2 comments

Court Judge Rules Flock Safety camera data is not exempt from PRA [WA State]

https://www.goskagit.com/news/local_news/court-denies-request-that-it-find-flock-safety-camera-da...
33•p_ing•2h ago•8 comments

Humanity's Endgame

https://www.noemamag.com/humanitys-endgame/
14•marojejian•2h ago•6 comments

Valdi – A cross-platform UI framework that delivers native performance

https://github.com/Snapchat/Valdi
464•yehiaabdelm•1d ago•190 comments

An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]

https://softwarepreservation.computerhistory.org/LISP/MIT/AIM-001.pdf
82•swatson741•11h ago•10 comments

Why is Zig so cool?

https://nilostolte.github.io/tech/articles/ZigCool.html
493•vitalnodo•1d ago•431 comments

Ticker: Don't die of heart disease

https://myticker.com/
398•colelyman•11h ago•358 comments

GPS 'kill' switch allows state police cruisers to go dark and disable tracking

https://www.boston25news.com/news/local/25-investigates-gps-kill-switch-allows-msp-cruisers-go-da...
73•harambae•3d ago•32 comments

Judge denies request to exempt Flock footage from Public Records Act

https://www.heraldnet.com/news/judge-denies-request-to-exempt-flock-footage-from-public-records-act/
22•ourmandave•2h ago•4 comments

Opencloud – An alternative to Nextcloud written in Go

https://github.com/opencloud-eu/opencloud
47•todsacerdoti•10h ago•7 comments

OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex

https://github.com/openai/codex/releases/tag/rust-v0.56.0
25•wahnfrieden•3h ago•16 comments

Syntax and Semantics of Programming Languages

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/
65•nill0•1w ago•5 comments

Myna: Monospace typeface designed for symbol-heavy programming languages

https://github.com/sayyadirfanali/Myna
380•birdculture•1d ago•168 comments

How did I get here?

https://how-did-i-get-here.net/
343•zachlatta•1d ago•58 comments

52 Year old data tape could contain Unix history

https://www.theregister.com/2025/11/07/unix_fourth_edition_tape_rediscovered/
160•rbanffy•10h ago•60 comments

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos

https://arxiv.org/abs/2511.02743
157•otrack•19h ago•47 comments
Open in hackernews

OpenAI: Our new model GPT-5-Codex-Mini – a more cost-efficient GPT-5-Codex

https://github.com/openai/codex/releases/tag/rust-v0.56.0
25•wahnfrieden•3h ago

Comments

vessenes•2h ago
Looks like a leak: https://platform.openai.com/docs/models does not list it, and codex-mini-latest says that it's based on 4o. I wonder if it will be faster than codex; gpt-5-nano and -mini are still very slow for me on API, surprisingly so.
ChadNauseam•1h ago
I noticed the same thing with -mini. It can be even slower than the full fat version. I'm guessing their infra for it is very cost-optimized to help them offer it at such a low price
simonw•1h ago
They announced it on Twitter yesterday: https://x.com/OpenAIDevs/status/1986861734619947305 and https://x.com/OpenAIDevs/status/1986861736041853368

> GPT-5-Codex-Mini allows roughly 4x more usage than GPT-5-Codex, at a slight capability tradeoff due to the more compact model.

> Available in the CLI and IDE extension when you sign in with ChatGPT, with API support coming soon.

cmdtab•1h ago
If any open AI devs reading this comment section: is it possible for us to get api access at runable.com ?
bgwalter•1h ago
All "AI" providers cut corners in the models right now because the subsidized cost is unsustainable.

Grok's latest update made it far worse than the version right after the Grok-4 release. It makes outright mistakes now. Copilot has cut corners long ago. Google "AI" was always horrible.

The whole "AI" experiment was an outrageously expensive IP laundering parlor trick that is meeting economic realities now.

stavros•1h ago
That's a very long-winded way of saying "it was subsidized so it could capture a large market segment, and now that's stopping", which is what SV companies have done since checks notes forever.
bgwalter•1h ago
An LLM would have generated four pages on this topic in order to increase the token count!

LLMs are advertised for serious applications. I don't recall that CPUs generally hallucinate except for the FDIV bug. Or that AirBnB rents you apartments that don't exist in 30% of all cases. Or that Uber cars drive into a river during 20% of all rides.

stavros•1h ago
Are we talking about economics, or about hallucinations?

"CPUs don't hallucinate" would be a reasonable argument if CPUs were an alternative to LLMs, which they aren't, so I'm not really sure what argument you're making there.

Seems like you're saying "a calculator makes fewer mistakes than an accountant", which is true, but I still pay an accountant to do my taxes, and not a calculator.

bgwalter•56m ago
I was obviously responding to your "SV companies have been doing that forever". You have introduced the general topic.
stavros•54m ago
I don't see how CPU bugs have anything to do with subsidizing a product to capture market share, can you elaborate?
nicce•1h ago
Not saying that you are completely wrong, but you could try to rephrase this to make a better conversation.

I agree that many new model versions are worse than the previous. But it is also related to base rules of the model - they try to please you and manipulate you to like them, way too much.

simonw•56m ago
Charging developers $200/month for Claude Code and getting to a billion in ARR sounds like a pretty great business to be in to me, especially with this growth rate:

> Claude Code is reportedly close to generating $1 billion in annualized revenue, up from about $400 million in July.

https://techcrunch.com/2025/11/04/anthropic-expects-b2b-dema...

bgwalter•45m ago
So Misanthropic claims that 416666.66 software developers have bought their expensive $200 subscription when there are 4.4 million software developers in the US.

That sounds reasonable given that 10% of software developers are talkers that need someone to output something that looks like a deliverable.

We were however talking profits here, not revenue.

simonw•29m ago
Presumably their "$1bn ARR from Claude Code" number isn't just the $200/month subscribers, they have $20/month and $100/month plans too, both of which their internal analytics could be crediting to Claude Code based on API usage patterns.

That $1bn number was in a paywalled Information article which was then re-reported by TechCrunch so the actual source of the number isn't clear. I'm assuming someone leaked to the Information, they appear to have some very useful sources.

I doubt this is just US developers - they've boasted about how successful they are in Europe recently too:

> Businesses across Europe are trusting Claude with their most important work. As a result, EMEA has become our fastest-growing region, with a run-rate revenue that has grown more than 9x in the past year.

https://www.anthropic.com/news/new-offices-in-paris-and-muni...

bdhdjdjdjdjdj•5m ago
I thought outright propaganda was against site rules? Are we really having this person do damage control for Anthropic in every thread?
lostmsu•20m ago
GPT-5 and GPT-5-Codex are already not clever enough for anything interesting.