frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Formalizing Fermat's Last Theorem

https://www.anthropic.com/research/formalizing-fermats-last-theorem
238•jlebar•1h ago•127 comments

Discovery of a new OpenAI agent message board

https://collusion.wiki/
1260•moultano•8h ago•1025 comments

Shutting down our public encrypted DNS

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-i...
118•mywacaday•1h ago•28 comments

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/
34•iopapa•49m ago•19 comments

Show HN: Open-Source eInk Bike Computer

https://opentrailpaper.com
150•stingrae•3h ago•54 comments

Government Rails Site Hit Hours After CVE Patch

https://rietta.com/blog/ruby-on-rails-cve-exploited-hours-after-patch/
35•rietta•1h ago•9 comments

The Rust React Compiler is now native in Vite

https://blog.master.dev/react-now-rusted-all-the-way-out/
58•acusti•2h ago•12 comments

An open DNS recursive service for free security and high privacy

https://quad9.net/
7•mooreds•25m ago•0 comments

IBM Bob

https://bob.ibm.com/
184•artpar•7h ago•212 comments

deSEC – Free Secure DNS

https://desec.io/
75•gurjeet•4h ago•30 comments

Solving the Jane Street reverse engineering challenge

https://jestoph.com/2026/09/04/jane-street-challenge.html
351•anitil•10h ago•79 comments

Resources to Get Good at Soldering?

53•tosmatos•2d ago•36 comments

Project HydraFusion: Frontier quality via multi-model orchestration

https://github.blog/ai-and-ml/github-copilot/project-hydrafusion-frontier-quality-via-multi-model...
44•qainsights•4h ago•24 comments

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

https://torrentfreak.com/adult-film-producer-unmasks-prolific-john-doe-torrent-pirate-as-meta-exe...
199•speckx•3h ago•110 comments

Show HN: TERMy – A fast terminal assistant that does not use LLMs

https://github.com/gioblu/NPC-Forge/blob/main/docs/development.md
56•gioscarab•11h ago•22 comments

Corporate America is getting hooked on open-source AI

https://www.nytimes.com/2026/09/04/technology/open-source-ai-anthropic-openai.html
210•aaraujo002•5h ago•191 comments

People that worked on the same idea for decades

https://nityasnotes.com/writing/decades/
31•sebg•1d ago•15 comments

Elevator of the Year: Modernization of the Metropolis Trust Building

https://www.starelevator.com/projects/star-elevator-modernization-of-the-metropolis-trust-building
130•palashawas•3d ago•47 comments

Ok, but does it scale?

https://spacetimedb.com/blog/how-does-spacetime-scale
98•theanonymousone•7h ago•61 comments

Deadpan Photography: Enjoying the Pretence

https://photoni.st/index.php/2026/07/12/deadpan-photography-enjoying-the-pretence/
6•NaOH•3d ago•2 comments

Getting Started with AT Protocol

https://bnb.im/posts/atproto-essential-resources/
61•evakhoury•3d ago•22 comments

"Next-token predictor" is the wrong mental model for LLMs

https://gmcgoldr.github.io/2026/09/04/llm-next-token-predictors.html
20•garrinm•3h ago•61 comments

SubImage (YC W25) Is Hiring a Founding Engineer in SF

https://www.ycombinator.com/companies/subimage/jobs/NCTFgKK-founding-engineer
1•alexchantavy•8h ago

The Two Abstractions of System Design: Hide or Reduce

http://muratbuffalo.blogspot.com/2026/05/the-two-abstractions-of-system-design.html
92•ubolonton_•2d ago•10 comments

Fermat's Last Theorem in Lean 4

https://github.com/anthropics/fermats-last-theorem
9•aaraujo002•1h ago•3 comments

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

https://inference-docs.cerebras.ai/models/overview
674•altertable•1d ago•221 comments

GPT-6 Astra

https://openai.com/index/gpt-6-astra/
2125•kibae•1d ago•1932 comments

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

https://www.millersbookreview.com/p/arrested-for-a-late-manuscript-seicho-matsumoto-tokyo-express
14•benbreen•1d ago•4 comments

Google AI Mode shows same products 21.6% more expensive than traditional search

https://productrise.app/blog/google-ai-mode-prefers-more-expensive-products
340•DeepLogin•8h ago•70 comments

The largest electric aircraft just flew [video]

https://www.youtube.com/watch?v=nM86DBOqgPM
456•feb•3d ago•341 comments
Open in hackernews

Can AI design circuit boards yet?

https://eebench.org/blog/can-ai-design-circuit-boards-yet/
34•iopapa•49m ago

Comments

amelius•36m ago
I'm excited by the option in Astra to route PCBs.

The next pain-point is sourcing the components from Digikey, LCSC, etc., and finding suitable substitutes if necessary.

Of course this assumes the LLMs can already read datasheets because that's the biggest pain-point in designing electronics. It's like filling out tax forms.

Finally it would be great if LLMs could extract simulation models from datasheets!

nickff•34m ago
Routing is the easiest part of layout, and there have been auto-routers (which mostly worked) for a long time now; the difficult task is in placing components, and adjusting those placements.
amelius•32m ago
Sure, I was just using "route" to mean also floorplanning because that's what Astra's routing tool also does. Not sure how they name it. Sorry if I was sloppy.
nickff•26m ago
Not at all, but the term for routing and placing the components is ‘layout’. Floorplanning usually refers to the laying out of larger blocks of the circuit (with the blocks themselves already having been laid-out).
amelius•3m ago
Yes but I'm not so concerned with how people name these steps.
thesz•12m ago

  > I'm excited by the option in Astra to route PCBs.
[1] https://en.wikipedia.org/wiki/Eurisko

Eurisko was used for VLSI chip design, then used rules discovered there to design TCS Traveler winning fleet.

It is unbelievable how artificial intelligence walk in circles.

AdriaanvRossum•34m ago
I know a startup [1] that tries to accomplish this.

[1] https://www.schematik.io/

maxdo•18m ago
Love the democratization of access. Still curious how this is better vs gpt 6 astra or grok 4.7 in the future trained on spacex problems ?
dubbie99•30m ago
I have found that AI is great for sorting out your libraries, drawing and helping double check footprints managing your BOM. I still draw my schematics and layout my boards. I haven’t found it any good for those tasks yet. There are too many stupid errors it makes. I do get it to review my work though and often it catches things I have missed.
rpcope1•29m ago
Just as some anecdatum, I've tried this a couple of times over the last few years. 2024-2025, no body could generate anything of any sort of complexity, however maybe around the Opus 4.7 timeline, I tried having it generate some relatively simple and one slightly more complex circuit around 8-bit PIC micros, and was very pleasantly surprised. The schematics for simpler stuff is usually OK, often with some of the kind of crazy belt-and-suspenders stuff you see in code (how many decoupling caps do I actually need here, Claude?), and PCB layout has basically been terrible every time I've tried it.

Recent models can generate mostly competent schematics if you're using well known parts, feed them data sheets (and you _must_ feed them the errata too) and it's not too complex. Any complexity analog or RF, everything falls down quickly if you know what you're looking at. Maybe Astra will do better? There's still so much implicit knowledge that a good designer (not me by a long shot, but I know a little) will bake into a board, and even as cheap as JCLPCB is now, you don't want to have to spin a half dozen revs because Claude or Codex hallucinated. It will be genuinely interesting to see what happens on this front.

latentsea•16m ago
I never thought about it until now, but as someone with zero skill in this domain I feel interested in making my own vibetronics now.
cmiles8•26m ago
Have tried this a few times. While AI has been helpful in talking through component choices and other topics, it’s consistently been a spectacular fail each time in actually designing the board.

I’ve had similar results asking AI to design 3D models for 3D printing.

“Coach me on optimizing error on my printer”… helps.

“Build me a print ready file to these specs.”… it’s like a drunk cat attacked my computer. Just confidently puts out total nonsense.

andrewchambers•24m ago
I think the new Astra computer use demos show that the models might be able to do things like inspection of real world objects if given a camera.

Super excited to see real world feedback added into the agent loops we have gotten used to working with. Could you let the model print and test the circuit boards it is prototyping with a jig?

dennis16384•22m ago
If you give it a real solver to drive and business constraints to operate under, it will do pretty good job (which is to map your business rules to constraints and balanced costs, develop deterministic tests, probabilistic tests, acceptance gates, all boring stuff).
boznz•18m ago
I have tried to use AI on this from GPT3, documenting a few of the attempts on my blog. They know the datasheets and the theory enough to be extremely useful at the start, but the most recent ones are becoming scary good. Routing a PCB is certainly a bit more than joining some wires, you have to accommodate power traces, ground loops, component overlap and all the various RF tricks and tips, but I do believe we are less than a year from prompt to full assembly including enclosure.
itomato•17m ago
I got a flexpcb that validates in JLC and PCBWay DRC tools from the KiCAD MCP Server and Codex.

I have yet to order any or program it, but it was enough to make me push on with a PCB art project for ST-style guitar pickguards - no netlist, no problems.

I'm also foolishly toying with NeXTBus dev boards for the Cube. Is it cursed? Probably. https://github.com/itomato/NeXTBus-Dev-Board

KingFelix•14m ago
Sweet, do you have the pickguard project live somewhere? I want to check it out!
noman-land•14m ago
How do I subsribe to learn the result of this test. I'm very keen to try this.
thearn4•7m ago
I've gone through this same workflow and had success all the way through DRC ruleset passing with JLCPCB-based settings, ordering, fab, and use. Board was ordered with PCBA (they did assembly of the stock components) and I did SMD for just the oddball module/ICs they don't stock. Works exactly to design.

My boards are for hobby use and are ridiculously simple though compared to anything professional (breakout boards for specific components in FPV drone video transmission subsystems). That's probably an important detail. I think its like anything else in AI right now. It can do it 90% of the time but that 10% can be really rough and if its a task you can't do or verify yourself, you won't know the difference.