frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: dk, a Windows-friendly, Nix-like build system

https://github.com/diskuv/dk
1•beckford•1h ago
Today there is no nix for Windows, and Docker with Windows containers hasn't had real adoption.

dk is both a build system and a scripting language. This Show HN is about dk's new build system which builds packages declared in JSON files. You can write the JSON files by hand or use your favorite language to generate them.

dk has some unusual differences from other build and package managers: Windows, macOS and Linux are supported equally. Minimizing supply chain security risk is a focus. Packages can be based on binary assets. Incremental adoption by language communities is a goal.

There is a reference implementation written in OCaml, a from-scratch walkthrough the writes the JSON build files for the somewhat random package (7zip), some security principles, and a specification document. The reference implementation and the spec are primarily to help port the dk build tool to other languages for incremental adoption.

I'd like to get feedback before I launch a community package registry. There are two feedback areas in particular:

1. I suspect there will be some controversy about asking package authors to use their real names and/or pay a micropayment to validate their identities (ex. $1 a year), even though I think controls like these are required for any semblance of supply chain security.

2. I have heard complaints about nix's lack of static typing. A JSON-based build system suffers from the same issue. One possibility is to add JSON schema. Another is to couple the build system with the OCaml-based scripting system in dk, like how the nix functional language is coupled to nix derivations. But I have been hesitant to do that coupling since it would be harder for language communities to incrementally adopt the build system.

Attracting and Retaining the Right Talent

https://www.mckinsey.com/capabilities/people-and-organizational-performance/our-insights/attracti...
1•toomuchtodo•26s ago•1 comments

MapSCII – World Map in Terminal

https://github.com/rastapasta/mapscii
1•_august•1m ago•0 comments

New in Notion: Agent instructions and memory

https://twitter.com/NotionHQ/status/1968736464105316617
1•alvis•4m ago•0 comments

Machine-learning tool gives doctors a more detailed 3D picture of fetal health

https://news.mit.edu/2025/machine-learning-tool-gives-doctors-more-detailed-3d-picture-fetal-heal...
2•gmays•4m ago•0 comments

Adam Wathan spent 133 hours reviewing 1,600 applicants and hired zero

https://world.hey.com/ahmednadar/why-the-special-forces-always-win-d7bcf218
1•basileafe•5m ago•0 comments

Why People Fell for an Outlandish Charlie Kirk Theory

https://www.theatlantic.com/ideas/archive/2025/09/charlie-kirk-shooter-groyper/684244/
4•bitlax•6m ago•1 comments

Identifying Neuroprotective Natural Compounds for Neurodevelopmental Disorders

https://www.mdpi.com/1422-0067/26/18/8873
1•PaulHoule•6m ago•0 comments

Demos Make Life Worth Living

https://elijahpotter.dev/articles/demos_make_life_worth_living
2•chilipepperhott•6m ago•0 comments

Lidar, optical distance and time of flight sensors

https://ams-osram.com/innovation/technology/depth-and-3d-sensing/lidar-optical-distance-and-time-...
1•mahirsaid•8m ago•0 comments

NextViseAI – white-label AI agents for healthcare and agencies

https://nextvise.ai/
1•NextViseAI•9m ago•1 comments

Gen Coloring:AI Photo to Coloring Page Generator

https://gencoloring.ai
1•mixfox•9m ago•1 comments

How is AI changing interview processes? Not much and a whole lot

https://interviewing.io/blog/how-is-ai-changing-interview-processes-not-much-and-a-whole-lot
2•leeny•11m ago•0 comments

'Shame': Mark Zuckerberg's Meta 'AI glasses' fail live demo, video emerges

https://indianexpress.com/article/trending/trending-globally/mark-zuckerberg-meta-ai-glasses-fail...
3•voisin•14m ago•0 comments

Ask HN: How were graphics card drivers programmed back in the 90s?

2•ferguess_k•17m ago•1 comments

The Apple audio lab where AirPods are tested and tuned

https://www.engadget.com/audio/inside-the-apple-audio-lab-where-airpods-are-tested-and-tuned-1500...
2•giuliomagnifico•17m ago•0 comments

Show HN: Continuum Game (68k Mac) Ported to JavaScript

https://continuumjs.com
2•sam256•23m ago•0 comments

DE-25 Orders Open

https://www.retrorgb.com/de-25-orders-open.html
1•CTOSian•23m ago•0 comments

Google confirms fraudulent account created in law enforcement portal

https://www.bleepingcomputer.com/news/security/google-confirms-fraudulent-account-created-in-law-...
5•akyuu•26m ago•0 comments

Peezy v1.0.0 – Production-ready CLI for scaffolding full-stack apps

https://github.com/Sehnya/peezy-cli
1•sehnya•26m ago•1 comments

Ask HN: Dark Mode for HN?

6•todotask2•27m ago•6 comments

Map Is Not Upside Down

https://www.maps.com/this-map-is-not-upside-down/
30•aagha•27m ago•21 comments

ClientLever's New Calendly Integration Saves You Hours Every Week

https://www.clientlever.com/blog/clientlevers-calendly-integration-saves-you-hours
1•mglazebrook•28m ago•1 comments

The 'near-telepathic' device that puts AI in your head

https://www.nature.com/articles/d41586-025-03000-z
3•gnabgib•29m ago•1 comments

Samsung forces ads onto fridges; is a bad sign for other appliances

https://arstechnica.com/gadgets/2025/09/samsung-forces-ads-onto-fridges-is-a-bad-sign-for-other-a...
10•speckx•29m ago•2 comments

Learn Your Way: Reimagining Textbooks with Generative AI

https://research.google/blog/learn-your-way-reimagining-textbooks-with-generative-ai/
3•FromTheArchives•31m ago•0 comments

Google Injects Gemini into Chrome as AI Browsers Go Mainstream

https://www.wired.com/story/google-gemini-ai-chrome-browser/
3•thm•32m ago•0 comments

Podcasts, You Altered the Deal, So I Will Alter Your App

https://blog.matthewbrunelle.com/podcasts-you-altered-the-deal-so-i-will-alter-your-app/
7•Bogdanp•32m ago•0 comments

Show HN: Supercharging RL with Hyper-Efficient Online Opt, +165% in 2h, $10

https://www.arc.computer/blog/supercharging-rl-with-online-optimization
26•gabyhaffner•33m ago•1 comments

Gravity and Quantum Physics Solved

https://pajuhaan.medium.com/time-lives-inside-a-quantum-story-of-gravity-no-spacetime-required-an...
3•pajuhaan•34m ago•1 comments

The Little Prince: Manuscript and Drawings

https://www.themorgan.org/collection/little-prince
2•oidar•35m ago•0 comments