frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Jev: The Model That Gives AI the Properties of Code

https://twitter.com/CompleteSkeptic/status/2099925682726002904
14•zenlikethat•1h ago

Comments

exrhizo•37m ago
TypeSafe employee here, This could change the narrative around AI and safety. The Jev model isn't a reasoning model, it doesn't have hidden thinking tokens. This is how to bring engineering back into the conversation, design your reasoning systems as code, that way they are explainable. Explicit reasoning is the interface for humans to constrain and control, this opens completely different approaches to alignment.

Linux embedded log/errors detector on Imx8's NPU

https://github.com/leonardosalvatore/sentinel-imx-sys
1•Pasyd•38s ago•0 comments

Factory – AI Coding Startup More Than Triples Valuation to $5B

https://www.wsj.com/tech/ai/ai-coding-startup-factory-more-than-triples-valuation-to-5-billion-87...
1•bookofjoe•49s ago•1 comments

LLM Speedrun: Architecture

https://layog.io/blog/llm-speedrun-arch/
1•bucket2015•3m ago•0 comments

Building a Linux GPU Driver for the M4 Mac Mini in One Month

https://codyho.dev/blog/gpu-driver/
1•ADevWithAnIdea•3m ago•0 comments

US acknowledges for the first time that it has deployed weapons in space

https://apnews.com/article/space-weapons-air-force-5a2a0ada771daaf4fbef0991d8c09259
1•jamesgill•3m ago•0 comments

WangNet – 1.8 MB, zero-dependency Numberwang adjudication in 11 languages

https://github.com/GraafHenk/numberwang
1•Liogra123•6m ago•0 comments

Introduction to Oliver's Four Factors

https://squared2020.com/2017/09/05/introduction-to-olivers-four-factors/
1•elo2000•8m ago•0 comments

Jev: New frontier model 40-400x cheaper and 20-200x faster

https://typesafe.ai/blog/introducing-system-one-models-and-jev
5•albelfio•8m ago•1 comments

Window Sweaters

https://github.com/saragordic/window-sweaters
1•nickswalker•8m ago•0 comments

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

https://raw.githubusercontent.com/kbr-/math-research/3979e0cc0a75dde9b845df7ec8869d033dfcd8d4/pub...
2•kbr-•9m ago•1 comments

Pair programming: still a good idea

https://revise.io/blog/09-15-2026/pair-programming-still-a-good-idea
3•artursapek•9m ago•0 comments

Code of Conduct for MAI Models

https://microsoft.ai/news/mai-code-of-conduct/
2•sergiotapia•10m ago•1 comments

Mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps

https://www.danvk.org/2026/09/10/mapsnap.html
1•evakhoury•10m ago•0 comments

Tag index for Org Mode blog

https://entropicthoughts.com/tag-index-for-org-mode-blog
2•ibobev•10m ago•0 comments

Spelling the type of a "self" parameter with Reflection

https://quuxplusone.github.io/blog/2026/09/15/self/
1•ibobev•11m ago•0 comments

Small Programming Tricks

https://will-keleher.com/posts/small-programming-tricks-matter/
1•birdculture•12m ago•0 comments

Malleable software: Restoring user agency in a world of locked-down apps

https://www.inkandswitch.com/essay/malleable-software/
2•evakhoury•12m ago•0 comments

Show HN: deadSPEAKER, inc. – horror comedy puzzle game

https://run.world/lthrjckrjckr/deadspeaker-inc
2•lthrjcktjckr•13m ago•0 comments

Testosterone scripts for women rise, along with denials and delays

https://www.reuters.com/business/healthcare-pharmaceuticals/testosterone-scripts-women-rise-along...
1•elo2000•13m ago•0 comments

From Intern to Software Architect

https://chauhankiran.blogspot.com/2026/09/levels.html
2•ibobev•14m ago•0 comments

California attempts to crack down on health spending

https://www.axios.com/2026/09/14/california-health-spending-limits-affordability
2•elo2000•14m ago•0 comments

China tightens control of overseas travel in new law

https://www.ft.com/content/3f2b2172-0c1a-4708-aba2-559eb37eabc8
1•JumpCrisscross•15m ago•0 comments

From a Whiteboard to Nvidia

https://sageox.ai/blog/thoughts-on-nvidia-hf
1•skadamat•18m ago•0 comments

Vapor 5 Beta

https://blog.vapor.codes/posts/vapor-5-beta/
1•frizlab•18m ago•0 comments

Riddlance – A Puzzle Game

https://riddlance.io
1•bravilogy•18m ago•0 comments

India ends free ride for larger transactions on UPI

https://techcrunch.com/2026/09/15/india-ends-free-ride-for-larger-transactions-on-its-ubiquitous-...
2•twapi•19m ago•0 comments

Tracking the slide into authoritarianism wihin the United States of America

https://protectdemocracy.org/threat-tracker/
2•Varelion•19m ago•0 comments

Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning

https://arxiv.org/abs/2608.21516
3•matt_d•22m ago•0 comments

Rope Splicing

https://en.wikipedia.org/wiki/Rope_splicing
1•ZeljkoS•22m ago•0 comments

Uridium/Fraktion – The Best of the C64 Game, Uridium

https://uridium.homemade.systems/
1•mwenge•22m ago•0 comments