🛠️ All DevTools

Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark Try DGX Spark playbooks using Nix on DGX OS, or install NixOS on your DGX Spark for the full Nix experience. The repository provides USB images and a NixOS module with settings for DGX Spark systems.<p>This works on the NVIDIA DGX Spark itself and also on the Asus Ascent GX10.<p>See my 5 minute lightning talk from Planet Nix for an intro: <a href="https:&#x2F;&#x2F;youtu.be&#x2F;AvK_gi_snJE?si=MPKv3iiuS9B5elIE" rel="nofollow">https:&#x2F;&#x2F;youtu.be&#x2F;AvK_gi_snJE?si=MPKv3iiuS9B5elIE</a>

A Rant About “Technology” (2005)

DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.

Meshdiff – visually compare two STL versions in the browser, client-side

Show HN: Fuse – statically typed functional programming language Hi HN! I&#x27;ve been working on the fuse programming language, it&#x27;s a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.<p>Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations.<p>I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then extending with concepts such as Bidirectional Type Checking with Higher-Rank Polymorphism.<p>I’ve mainly drawn inspiration from Rust, Haskell, Scala and Python (in terms of syntax). It all started because I wanted a language that has Rust-like concepts such as: ADT, Traits, Impl block syntax, etc. but have the pure functional semantics.<p>I&#x27;d would love feedback on the language design and its general usage.

Artificial Intelligence: Ars Notoria and the Promise of Instant Knowledge

Show HN: We made Arcad, a parametric CAD in the browser, free and no signup My friend and I have been working on Arcad for some months now. It&#x27;s a free browser-based parametric CAD tool aimed at hobbyists and makers.<p>It has editable feature history, solid modeling powered by OpenCascade, STEP export and touch controls for tablets, although it&#x27;s primarily made for PC use. Everything runs in the browser and you can try it without creating an account or installing anything.<p>Currently in beta although we feel like it&#x27;s ready for a full launch. Any feedback is appreciated!<p>Link: <a href="https:&#x2F;&#x2F;app.arcad.studio" rel="nofollow">https:&#x2F;&#x2F;app.arcad.studio</a> Docs: <a href="https:&#x2F;&#x2F;www.arcad.studio&#x2F;docs" rel="nofollow">https:&#x2F;&#x2F;www.arcad.studio&#x2F;docs</a>

Show HN: Bor – Open-source policy management for Linux desktops Hi HN! I&#x27;ve been working on Bor, an open-source system for centralized Linux desktop management.<p>Bor consists of a lightweight Go agent and a central server. Policies are streamed to clients over mTLS&#x2F;gRPC in real time—no polling—and currently support Firefox, Chrome, KDE, dconf, polkit and package management, with more coming.<p>Version 0.8 introduces several new policy types - Thunderbird, Microsoft Edge for Business and FirewallD zones, along with a number of improvements and fixes.<p>I&#x27;d love feedback on the architecture, policy model, and whether this is something you&#x27;d consider for managing Linux workstations.

Show HN: TamedTable, AI ETL in Natural Language Hi HN, TamedTable is an LLM harness for data ETL.<p>And yes, it was developed using AI, meaning you can take the entire specification and recreate it to your desires:<p><a href="https:&#x2F;&#x2F;github.com&#x2F;ZSvedic&#x2F;TamedTable" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;ZSvedic&#x2F;TamedTable</a>

Mathematics Without Mathematicians

IBM i (OS/400) the Database Operating System

Australia's social media ban has failed

Show HN: Cobalt, an SDK to build apps for Kobo eReaders Hey HN,<p>I built an SDK to help me create apps I wanted on my Kobo. My Kobo device has a single core &lt;1GHz processor and 512MB RAM, much less than a Raspberry Pi, but the eInk display and larger battery life opens up a lot of use cases.<p>I have since used it to build an approval sidekick for my Mac&#x27;s Claude code and codex, a Hacker News Client for Kobo, a Gutenberg reader, an RSS search and reader and more. All the code is in the repo.<p>If you have a different device than mine (Clara BW) would love for you to test it on your device and submit a PR to enable this for more device profiles.<p>Thanks.

Show HN: Btfy – a blockchain that uses weather observations Hi HN,<p>I built Btfy, an experimental blockchain that uses weather observations as a source of unpredictability for consensus<p>The motivation is simple. Proof of Work generates uncertainty by performing computations. I wanted to explore whether we could obtain some of that uncertainty from the real world instead.<p>Btfy combines weather observation data with a Verifiable Delay Function (VDF):<p>Weather Observation Data -&gt; VDF -&gt; Block -&gt; Hash Chain<p>In the current implementation, observation data is collected from multiple locations, a VDF is computed, and the result is used to generate a block. Furthermore, because each block depends on the hash of the previous block, making it difficult to replay previously observed weather data to construct an alternative history.<p>This is strictly an experimental project and not a production-ready consensus protocol. I am particularly interested in the security assumptions here: specifically, how much uncertainty weather observation data can actually provide, how an attacker might manipulate or predict the beacon, and whether the VDF plays a meaningful role in this design.<p>Btfy is still a very early-stage project and requires various forms of validation. However, I hope this sparks exploration into the possibilities of new blockchains based on real-world information. I would love to hear your feedback.<p>Thanks!

Show HN: I get 25 deep researched ideas with one single prompt Make a three-layer workflow with 19 agents work together in parallel with one single prompt, then use that to research anything I want.<p>If I don&#x27;t specify any topic, it can prompt me some topics and wait for my response.

Deep-sea vehicles spot 'alien' sharks deep beneath the waves in the Pacific

Four Time Scales for Technology Development and Deployment

Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators

ASRock BC-250: Building the Budget Steam Machine

Show HN: Use iPhone's camera as a lux meter After suffering one too many times from bad jet lag, I read a bunch of circadian rhythm papers and developed a simple app to help fight jet lag. I knew that avoiding devices at night was helpful, but it turns out that getting the right light at specific times of day can help not just with jet lag but overall sleep and well being.<p>How it works: you give the app your sleep goal, and then it coaches you by estimating current melanopic light exposure from the iPhone&#x27;s camera. I validated this against an $1800 lab-grade light meter and was surprised to find it is absolutely close enough for these purposes. (Note: I&#x27;m NOT a physicist or circadian rhythm researcher, so I&#x27;m grateful for any feedback.)<p>If you feel like your sleep schedule could be more dependable or if you suffer from jet lag, you might enjoy this app!