frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Jane Street's approach to AI adoption throughout their SDLC [video]

https://www.youtube.com/watch?v=rUYP4C29yCw
3•devdoshi•1h ago

Comments

devdoshi•1h ago
Premiered May 14, 2026 Ron Minsky discusses Jane Street's approach to AI adoption throughout their SDLC at Bug Bash 2026.

Ron stakes out their position that AI workflows should maximize human effectiveness and understanding rather than replacing humans entirely. At Jane Street, many traditional (aka pre-Claude) software engineering practices have become more important rather than less. Type systems help provide fast feedback and enforce invariants that agents can understand. Expect tests allow developers to see system behavior and create deterministic simulations at the library level. Code review remains crucial for maintaining code quality and human understanding, even though agents change the dynamics. Finally, he touches on Jane Street’s growing interest in formal verification, and the impact of agents making previously expensive approaches, like formal methods, more practical.

(quoted from the youtube video description)

Apple TV reaping the benefits of stale content on bigger streamers

https://appleinsider.com/articles/26/04/20/apple-tv-reaping-the-benefits-of-stale-content-on-bigg...
1•mgh2•53s ago•0 comments

NCEES discontinuing PE Software Engineering exam (2019)

https://ncees.org/ncees-discontinuing-pe-software-engineering-exam/
1•consumer451•9m ago•0 comments

AI for the Real World: A Conversation with Yann LeCun

https://twitter.com/AnneliesGamble/status/2054219457451733382
2•gmays•9m ago•0 comments

The Evolution of Team Appwrite

https://appwrite.io/blog/post/the-evolution-of-team-appwrite
1•gauravmeena95•10m ago•0 comments

Production Is a Compiler Input

https://aicoding.leaflet.pub/3mjx4erlboc2l
1•ankitg12•13m ago•0 comments

Two computers, one monitor, zero fiddling – Alex Plescan

https://alexplescan.com/posts/2025/08/16/kvm/
1•ankitg12•16m ago•0 comments

New Issue Tracker

https://lightningtrack.io/login
1•garyeterry•17m ago•0 comments

Terence Tao: My recollections on the early history of compressed sensing

https://mathstodon.xyz/@tao/114967650999562435
3•johnbarron•31m ago•2 comments

Used to manage a collection of AI workflows for a single vertical domain – Wasup

https://github.com/EdwardJoke/Wasup
1•EdwardXie•33m ago•1 comments

The IndieWeb Is Wonderfully Dionysian

https://brennan.day/the-indieweb-is-wonderfully-dionysian/
2•gm678•33m ago•0 comments

Fix pathological performance in trait solver

https://github.com/rust-lang/rust/pull/155355
2•Jyaif•42m ago•0 comments

Pinote – A lightweight floating Markdown scratchpad app

https://github.com/ImFeH2/pinote
2•indigodaddy•43m ago•0 comments

I built a machine that can make you rich with math [video]

https://www.youtube.com/watch?v=2UM4j1_xEs0
1•tzvc•44m ago•1 comments

Senior NIAID Official Indicted for Concealing Records During Covid Pandemic

https://www.justice.gov/opa/pr/former-senior-niaid-official-indicted-concealing-federal-records-d...
5•Jimmc414•45m ago•2 comments

YC startup Luel appears to have copied Kled

https://twitter.com/avipat_/status/2055384102409253056
3•tjek•48m ago•1 comments

Show HN: Nexa-Gauge – LLM eval framework, now with self-hosted model support

https://github.com/harnexa/nexa-gauge
1•Sardhendu•50m ago•0 comments

Ask HN: What happened to ssh-audit.com?

2•Bender•51m ago•0 comments

Show HN: Plan-Graph based code generation with LLMs

https://github.com/agrin96/VibegraphGenerator
1•ag_rin•54m ago•0 comments

Kinetic typography: the what, why, and how

https://www.linearity.io/blog/kinetic-typography/
1•argee•1h ago•0 comments

Symposia AI

https://www.trysymposiaai.com/landing
2•CarlosEdu•1h ago•1 comments

Solving CartPole in 8 Weights

https://cartpole.neocities.org/
4•georgehotz•1h ago•0 comments

Magical Realism: "Northern Exposure" 25 Years Later (2015)

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later
2•walterbell•1h ago•0 comments

Show HN: Wyndup – share a live countdown with your podcast guest

https://wyndup.net
1•ardwino•1h ago•0 comments

Elastic Cloud on Kubernetes, simplified: zone awareness, restarts, and mTLS

https://www.elastic.co/search-labs/blog/elasticsearch-kubernetes-zone-awareness-restarts-mtls
1•eigenBasis•1h ago•0 comments

Jane Street's approach to AI adoption throughout their SDLC [video]

https://www.youtube.com/watch?v=rUYP4C29yCw
3•devdoshi•1h ago•1 comments

Brovan: Binary user-mode emulator for x86_64

https://github.com/AdvDebug/Brovan
2•AdvDebugy•1h ago•0 comments

WikiProject Editor Retention

https://en.wikipedia.org/wiki/Wikipedia:WikiProject_Editor_Retention
1•sshh12•1h ago•1 comments

A Compression Tool for LLM Reads. Est. 60-95% Fewer Tokens

https://github.com/chopratejas/headroom
2•botacode•1h ago•0 comments

North America's largest commuter rail system faces a potential shutdown

https://apnews.com/article/lirr-new-york-commuter-rail-strike-union-eefab0d1f91470934fb89bd1809d0a94
4•petethomas•1h ago•3 comments

Random.website

https://random.website
2•npilk•1h ago•0 comments