frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Show HN: Virby, a vfkit-based Linux builder for Nix-Darwin

https://github.com/quinneden/virby-nix-darwin
16•qeden•4d ago
Virby is a module for nix-darwin that configures a lightweight linux VM as a remote build machine for nix, allowing linux packages to be built on macOS.

Comments

nathanscully•11h ago
What is the advantage of this over the inbuilt linux-builder in nix-darwin[1]?

I assume it being vfkit based might make it more performant? Are there any benchmarks comparing them?

[1] https://github.com/nix-darwin/nix-darwin/blob/master/modules...

Is Gemini 2.5 good at bounding boxes?

https://simedw.com/2025/07/10/gemini-bounding-boxes/
96•simedw•2h ago•17 comments

How to prove false statements: Practical attacks on Fiat-Shamir

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
145•nsoonhui•4h ago•97 comments

Optimizing a Math Expression Parser in Rust

https://rpallas.xyz/math-parser/
77•serial_dev•5h ago•40 comments

Show HN: Typeform was too expensive so I built my own forms

https://www.ikiform.com/
86•preetsuthar17•5h ago•53 comments

Mini robots detect and fix water pipe leaks without digging

https://www.foxnews.com/tech/mini-robots-detect-fix-water-pipe-leaks-without-digging
32•Bluestein•2d ago•20 comments

Thunderbird 140 “Eclipse”

https://blog.thunderbird.net/2025/07/welcome-to-thunderbird-140-eclipse/
200•TangerineDream•2d ago•119 comments

MCP-B: A Protocol for AI Browser Automation

https://mcp-b.ai/
279•bustodisgusto•16h ago•144 comments

Tree Borrows

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html
529•zdw•1d ago•135 comments

Author of William the Conqueror's 'Medieval Big Data' Project Revealed

https://www.ox.ac.uk/news/2025-07-02-author-william-conqueror-s-medieval-big-data-project-revealed
25•zeristor•3d ago•1 comments

A Typology of Canadianisms

https://dchp.arts.ubc.ca/how-to-use
199•gnabgib•16h ago•227 comments

Automatically Packaging a Haskell Library as a Swift Binary XCFramework

https://alt-romes.github.io/posts/2025-07-05-packaging-a-haskell-library-as-a-swift-binary-xcframework.html
6•Bogdanp•2d ago•0 comments

Show HN: MCP server for searching and downloading documents from Anna's Archive

https://github.com/iosifache/annas-mcp
201•iosifache•17h ago•65 comments

Show HN: FlopperZiro – A DIY open-source Flipper Zero clone

https://github.com/lraton/FlopperZiro
316•iraton•21h ago•67 comments

Biomni: A General-Purpose Biomedical AI Agent

https://github.com/snap-stanford/Biomni
205•GavCo•19h ago•30 comments

The Origin of the Research University

https://asteriskmag.com/issues/10/the-origin-of-the-research-university
105•Petiver•3d ago•21 comments

The jank programming language

https://jank-lang.org/
372•akkad33•3d ago•100 comments

Solar power has begun to transform the world’s energy system

https://www.newyorker.com/news/annals-of-a-warming-planet/46-billion-years-on-the-sun-is-having-a-moment
236•dmazin•1d ago•358 comments

Radiocarbon dating reveals Rapa Nui not as isolated as previously thought

https://phys.org/news/2025-06-radiocarbon-dating-reveals-rapa-nui.html
32•wglb•2d ago•0 comments

Linda Yaccarino is leaving X

https://www.nytimes.com/2025/07/09/technology/linda-yaccarino-x-steps-down.html
502•donohoe•23h ago•888 comments

Koala: A benchmark suite for performance-oriented shell-optimization research

https://github.com/kbensh/koala
5•matt_d•2d ago•2 comments

The death of partying in the USA

https://www.derekthompson.org/p/the-death-of-partying-in-the-usaand
131•tysone•17h ago•214 comments

Show HN: Petrichor – a free, open-source, offline music player for macOS

https://github.com/kushalpandya/Petrichor
162•kushalpandya•16h ago•81 comments

A fast 3D collision detection algorithm

https://cairno.substack.com/p/improvements-to-the-separating-axis
245•OlympicMarmoto•1d ago•29 comments

Bootstrapping a side project into a profitable seven-figure business

https://projectionlab.com/blog/we-reached-1m-arr-with-zero-funding
878•jonkuipers•2d ago•237 comments

Archaeologists unveil 3,500-year-old city in Peru

https://www.bbc.co.uk/news/articles/c07dmx38kyeo
171•neversaydie•3d ago•61 comments

Could a Paper Plane Thrown from the ISS Survive the Flight?

https://www.sciencealert.com/could-a-paper-plane-thrown-from-the-international-space-station-survive-the-flight
12•dxs•50m ago•5 comments

Show HN: BreakerMachines – Modern Circuit Breaker for Rails with Async Support

https://github.com/seuros/breaker_machines
36•seuros•4d ago•17 comments

Xenharmlib: A music theory library that supports non-western harmonic systems

https://xenharmlib.readthedocs.io/en/latest/
184•retooth•1d ago•18 comments

Evaluating the Effectiveness of Memory Safety Sanitizers

https://www.computer.org/csdl/proceedings-article/sp/2025/223600a088/21TfesaEHTy
38•signa11•2d ago•13 comments

Grok 4 Launch [video]

https://twitter.com/xai/status/1943158495588815072
305•meetpateltech•10h ago•298 comments