frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
460•evankhoury•8h ago•223 comments

alpr.watch

https://alpr.watch/
700•theamk•12h ago•341 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
506•ryandrake•10h ago•91 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
427•gavide•8h ago•82 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
371•charlierguo•11h ago•184 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
565•kevin-david•12h ago•638 comments

VA Linux: The biggest dotcom IPO

https://dfarq.homeip.net/va-linux-the-biggest-dotcom-ipo/
16•giuliomagnifico•5d ago•0 comments

Various locale mismatch scenarios in Windows clipboard text format synthesis

https://devblogs.microsoft.com/oldnewthing/20251211-37/?p=111858
5•ibobev•4d ago•0 comments

Introduction to Software Development Tooling (2024)

https://bernsteinbear.com/isdt/
46•vismit2000•4h ago•4 comments

I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours

https://simonwillison.net/2025/Dec/15/porting-justhtml/
108•pbowyer•6h ago•64 comments

Show HN: Titan – JavaScript-first framework that compiles into a Rust server

https://www.npmjs.com/package/@ezetgalaxy/titan
19•soham_byte•5d ago•7 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
201•MrAlex94•7h ago•118 comments

40 percent of fMRI signals do not correspond to actual brain activity

https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-d...
419•geox•15h ago•179 comments

Mozilla appoints new CEO Anthony Enzor-Demeo

https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
463•recvonline•15h ago•718 comments

Thin desires are eating life

https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
394•mitchbob•1d ago•157 comments

Sei AI (YC W22) Is Hiring

https://www.ycombinator.com/companies/sei/jobs/TYbKqi0-llm-engineer-mid-senior
1•ramkumarvenkat•4h ago

Dafny: Verification-Aware Programming Language

https://dafny.org/
48•handfuloflight•6h ago•23 comments

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
30•surprisetalk•4d ago•6 comments

Japan to revise romanization rules for first time in 70 years

https://www.japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization/
155•rgovostes•20h ago•133 comments

Show HN: Learn Japanese contextually while browsing

https://lingoku.ai/learn-japanese
41•englishcat•4h ago•20 comments

Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)

https://gamehistory.org/segachannel/
240•wicket•16h ago•38 comments

The World Happiness Report is beset with methodological problems

https://yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham
103•thatoneengineer•1d ago•124 comments

Nvidia Nemotron 3 Family of Models

https://research.nvidia.com/labs/nemotron/Nemotron-3/
171•ewt-nv•1d ago•32 comments

Chat-tails: Throwback terminal chat, built on Tailscale

https://tailscale.com/blog/chat-tails-terminal-chat
71•nulbyte•8h ago•12 comments

Writing a blatant Telegram clone using Qt, QML and Rust. And C++

https://kemble.net/blog/provoke/
98•tempodox•14h ago•58 comments

Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola

https://arstechnica.com/cars/2025/11/an-electric-car-thats-faster-than-f1-around-monaco-thats-the...
10•PaulHoule•5d ago•3 comments

A Guide to Magnetizing N48 Magnets in Ansys Maxwell

https://blog.ozeninc.com/resources/from-datasheet-to-demagnetization-a-guide-to-magnetizing-n48-m...
4•peter_d_sherman•1h ago•0 comments

Show HN: Sqlit – A lazygit-style TUI for SQL databases

https://github.com/Maxteabag/sqlit
129•MaxTeabag•1d ago•19 comments

Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents

https://github.com/TheAuditorTool/Auditor
17•ThailandJohn•15h ago•7 comments

Rust GCC backend: Why and how

https://blog.guillaume-gomez.fr/articles/2025-12-15+Rust+GCC+backend%3A+Why+and+how
173•ahlCVA•16h ago•98 comments
Open in hackernews

Testing a cheaper laminar flow hood

https://chillphysicsenjoyer.substack.com/p/testing-a-cheaper-laminar-flow-hood
30•surprisetalk•4d ago

Comments

igor47•3h ago
The fires in Northern California the past few years have been a little better, but at their worst e.g. 2020, everyone had these box fans with filters taped on. I always wondered how effective those were at filtering contaminants ( I know they were effective at removing pollutants because I tested: https://igor.moomers.org/posts/minimal-viable-air-quality)
stephen_g•2h ago
I'm sure it should help bring down the background levels of airborne pollutants, which should help as kind of a layered defence. But I expect it would be unlikely you could get it low enough to be in the same ballpark as a laminar hood, just because of the huge difference in air volume (the room is huge in comparison to the space the hood covers, so you need to filter way more, unless it was extremely well sealed in which case you'd just have to filter for long enough)
ProAm•2h ago
lol I wanted hood of a car flow. This is cool, but not that cool
sokoloff•2h ago
This doesn’t get around the bulk, but at least in the metro Boston area, there are loads of auctions from closing labs or failed biotechs where you can get all sorts of lab equipment for pennies/nickels on the dollar.

If you have space for a commercial lab hood, the cost for used/auction is low, if you’re slightly patient. (This is partly because of the bulk, of course. Lots of people might bid on the small, benchtop equipment, but the giant equipment often goes for the minimum bid.)

RickS•1h ago
As someone who has spent an unreasonable amount of time mucking around in this exact swamp, here are some things worth knowing:

* HEPA is the extreme edge of a much larger scale called MERV, which rates filtration performance.

* You'd be surprised how few contamination threat models _mandate_ HEPA. If you're doing petri dish work, contaminants you care about are probably in the 1 to 3 micron range or larger.

* This means you can get adequate results from lesser filters, which has massive implications for cost (because filters are cheaper) and ergonomics (because the same dollar buys a bigger filter, which is less cramped to work in).

* Laminar filters are only laminar under specific circumstances, which include both pressure and distance. Too much or too little force and the output will be turbulent (non-laminar). Fans need be adjusted to get this pressure right, across the entire face of the filter.

* As you get farther away from the filter, air falls back into too-low speeds and becomes turbulent again. The lids in the "clean" test for this post are farther away than I'd put them.

* As the filter traps more particles, it becomes harder to push air through, so optimal fan pressure varies for every filter across time.

* The pressures we're talking about here are very small. It's normal for correctly pressurized airflow to be undetectable to a bare hand. Easy to overshoot.

* In theory, you can test this with an anemometer. In practice, I've not found a cheap one that will so much as _turn the prop_ under such a light load.

* A cheap but inexact test of laminar flow is a vertically held lighter's flame being pushed to a flickerless ~45deg angle.

* When working in front of a hood, movement technique matters. If you put a dirty hand in between your hood and your dish, you're still blowing contaminants onto the workpiece, you're just doing it in a straight line.

* Or a turbulent line: obstacles like the end of the acrylic sheet can cause air to whip around the edge and become turbulent.

* Gordotek has a video that's probably of interest here[0], where he shows a cheap filter blowing zero PPM, as measured by a swanky lab particle meter that costs more than most people's rent. He received an enormous amount of heat from keyboard warriors that said this is BS and doesn't work. Notably, the number of haters who came with particle sensor readings of their own is also zero PPM.

* A laser PM2.5 sensor with 99%+ accuracy in the ranges we care about (1+ micron) can be had for under $50. This moves your measurement -> result interval from days to seconds, making it feasible to test more parts of the filter.

* Owning such a sensor, I've seen a duct fan taped to a trash bag taped to an unfinned MERV16 blow every bit as clean as a real-deal university lab HEPA filter in the 1+ micron range.

[0] https://www.youtube.com/watch?v=lInfdAVvBts

scottcodie•41m ago
I have a legit laminar flow hood (airclean 600, 32 inch) in my home for plant tissue culture. I gotta say, I thought it was going to be easy street to sterile culture- it was not. Sterile protocol matters so much that I think it would have been just as easy to do what I needed to do in a glove box with all the extra precautions I had to take. It's honestly hard to beat an enclosed container with zero airflow.