nowfound

Life & fun · June 16, 2025

dk – A script runner and cross-compiler, written in OCaml

I've always found it cool to be in roles where I can help a younger generation learn skills to have a bright future. That role is something I do in a few ways (as a parent, robotics mentor, school board advisor and Sunday school teacher) and I suspect most HN readers share the same role and appreciation. And for developing software skills, it was obvious that both the students and I had to have a productive software environment where we could work together. That theme of experienced/inexperienced engineers working together is the context in which I created `dk` as a scripting tool. My…

dk – A script runner and cross-compiler, written in OCaml launched on June 16, 2025 with 61 votes, #516 of 7,999 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 1 year on.

Visit diskuv.com ↗Alternativestop 6% of June 2025

In plain words

dk is a script runner and cross-compiler written in OCaml, designed to help experienced and inexperienced engineers work together on software projects. Created as a teaching tool, it addresses the need for a simple development environment and straightforward programming language for students learning computer science. The tool aims to make it easy for mentors and learners to collaborate productively on coding tasks.

written from the facts on this page · September 2026

From the sources

dk specification, implementations and guides.

The dk Specification is the core reference — project structure, assets, bundles, forms, objects, values, subshells, distributions, and scripts. The dk0 reference implementation documents the dk0 CLI — its commands, options, and the behavior that is specific to the reference implementation. The Authoring Packages guide shows how to write dk.u workspace scripts and dist/*.u distribution scripts: a package's overview, license, assets and modules, and how to preview itfrom diskuv.com

In the maker’s words, at launch

I've always found it cool to be in roles where I can help a younger generation learn skills to have a bright future. That role is something I do in a few ways (as a parent, robotics mentor, school board advisor and Sunday school teacher) and I suspect most HN readers share the same role and appreciation. And for…

Does a similar job

all alternatives →
  • I'm 17 and wrote a guide on how to build your own programming language2024 · easel.hackclub.com · ▲149

    Hey! I’m JC. I’m 17 and part of Hack Club, a nonprofit where we help teenagers ship programming projects with their friends while growing technically. A while ago, I asked myself the question, “How exactly do programming languages work behind the scenes?” It seemed really daunting until I went to a half hour workshop at a high school hackathon about writing a tree-walk interpreter and realized that getting started was actually super fun. This guide is designed in the vein of that - to get people, especially teenagers, started on learning how to build a programming language in a literal…

  • My book for programmers called “Junior to Senior” was published today2022 · holloway.com · ▲183

    After a four year journey, the book I wrote to help junior and mid-level programmers earn their first promotion was published today . The book is titled Junior to Senior: Career Advice for the Ambitious Programmer and is now available on Holloway’s website[0]. I truly believe that soft-skills are what makes the difference between a good programmer and a great one. I also believe that anyone can learn the soft-skills needed to accelerate their programming career. I wish I’d had better resources to learn these things in the early years of my career and I’m hoping this book will become a useful…

  • A small virtual machine written in C2014 · github.com · ▲212

    "interesting" VM in C. Let's see how this goes. Contribute to tekknolagi/carp development by creating an account on GitHub.

  • Boot.dev – Learn computer science, not the latest hotness2022 · boot.dev · ▲38

    Learn to code from scratch with hands-on lessons, a structured curriculum, and real projects. Stop watching tutorials, start writing code for free now.

  • Open-source SDK for creating custom code interpreters with any LLM2024 · github.com · ▲64

    Python & JS/TS SDK for running AI-generated code/code interpreting in your AI app - GitHub - e2b-dev/code-interpreter: Python & JS/TS SDK for running AI-generated code/code interpreting in your AI app

  • LA
    Lucidcode- A Copilot to Understand Codebases2024 · lucidcode.ai · ▲6

    Hello HN, I am building a devtool to understand existing codebases. The idea originates from my time at big tech as well as various attempts to get involved in open source projects. When I was in college I wanted to improve my coding skills by contributing to opensource projects. I would pickup a bug or feature request but I always found myself stuck at the very first step. I did not understood where and how to begin contributing. I once submitted a patch in firefox which was labeled "Good first issue" but that was still very handheld. The assigner told me exactly which files I need to…

More life & fun this month

the category →

Source: Show HN post ↗ · launch text quoted in part

Launched alongside, June 2025

the whole month →
  • IM
    I'm an airline pilot – I built interactive graphs/globes of my flights▲1,539

    Hey HN! Pilots everywhere are required to keep a logbook of all their flying hours, aircraft, airports, and so on. Since I track everything digitally (some people still just use paper logbooks!), I put together some data visualizations and a few 3D globes to show my flying history. This globe is probably my favourite so far: https://jameshard.ing/pilot/globes/all If you’ve got ideas for other graphs or ways to show this kind of data, I’d love to hear them!

    Life & fun · 2025 · jameshard.ing

  • Chronicle: Cursor for Slides▲1,212

    Stunning presentations with AI. No design skills required.

    AI · 2025 · chroniclehq.com

  • Bubble for native mobile apps (beta)▲1,026

    Build native mobile apps for iOS and Android without code.

    Dev tools · 2025 · bble.io

  • Twenty▲989

    Build your Enterprise CRM with an AI-friendly SDK

    Dev tools · 2025 · twenty.com

  • Pally - AI Relationship Management▲949

    All your connections, across all your socials.

    AI · 2025 · pally.com

  • Workout.cool – Open-source fitness coaching platform▲827

    I was the main contributor to workout.lol, an open-source fitness app to easily build a workout routine. The project had traction (1.4k GitHub stars, 95 forks, ~20K visits/month), but was eventually sold due to video licensing hurdles. The new owner stopped maintaining it, and the repo went abandoned. Over the next 9 months, I sent 15 emails to try to save it : no replies. Feature requests & issues were ignored. The community was left with a "broken" tool let's say. I couldn't just let it die So I built the new version from scratch with the same open-source spirit, but a better…

    Dev tools · 2025 · github.com