Lambdock – Wayland-native GTK4 dock with a live Lisp REPL

In plain words

Lambdock is a desktop dock application for Wayland compositors like Sway, Hyprland, and Niri. Built with C, GTK4, and GNU Guile Scheme, it offers application launching, window tracking, and auto-hiding features. The dock is fully configurable and hackable through a live Lisp REPL that allows runtime inspection, hot-reloading of configuration, and CSS modifications without restarting.

written from the facts on this page · September 2026

From the sources

a desktop dock for Wayland that you can reprogram while it is running. lambdock is a dock for your GNU/Linux desktop: the strip of application launchers that sits on an edge of the screen, shows which apps are running, and brings their windows back when you click them. It is built on GTK4 and gtk4-layer-shell , so it belongs on a Wayland compositor – Niri , Sway , Hyprland , River , Plasma , and friends – and it is engineered the way Emacs is: a small, fast C core for rendering, Wayland protocol work and frame-clock animation, wrapped around an embedded GNU Guile Scheme engine that is the brain of the whole thing. That architecture is what makes lambdock different from every other dock. You…from codeberg.org

• 
  Warp, a Rust-based terminal2022 · warp.dev · ▲946

  Hi HN community, I’m Zach, founder and CEO of Warp, and am excited to show you Warp, a fast Rust-based terminal that’s easy to use and built for teams. As of today, Warp is in public beta and any Mac user can download it. It works with bash, zsh, and fish. The terminal’s teletype-like interface has made it hard for the CLI to thrive. After 20 years of programming, I still find it hard to copy a command’s output; I always forget how to use `tar`; and I always have to relearn how to move my cursor. To fix fundamental accessibility issues, I believe we need to start innovating on the terminal,…

• 
  I've built a nice home server OSApr 2026 · lightwhale.asklandd.dk · ▲194

  ohai! I've released Lightwhale 3, which is possibly the easiest way to self-host Docker containers. It's a free, immutable Linux system purpose-built to live-boot straight into a working Docker Engine, thereby shortcutting the need for installation, configuration, and maintenance. Its simple design makes it easy to learn, and its low memory footprint should make it especially attractive during these times of RAMageddon. If this has piqued your interest, do check it out, along with its easy-to-follow Getting Started guide. In any event, have a nice day! =)

• 
  LocaldockAug 2026 · localdock.dev · ▲121

  Localdock is a macOS menubar app that assigns a permanent, human-readable address to each local project so your dev servers dont collide on ports and your URLs stay stable. Use the same name on localhost, across your Wi-Fi to test on a phone, or via a temporary public HTTPS link

• 
  Sway, a tiling window manager and compositor for Wayland2016 · github.com · ▲163

  i3-compatible Wayland compositor. Contribute to swaywm/sway development by creating an account on GitHub.

• 
  InfyniDock - Replacement Dock for macOS 2023 · infyniclick.com · ▲60

  InfyniDock is a macOS Dock alternative, DockFix alternative, and Mac window manager for exact window switching. Preview and switch to specific Chrome, VS Code, Finder, Terminal, and app windows with Menu Dock, FloatDock, Full Dock, workspaces, and free student licensing. Key features include: Exact

• 
  KeystoneMar 2026 · github.com · ▲125

  We kept hitting the same wall: you clone some arbitrary repo and just want it to run without any configuration work. So we built Keystone, an open source tool that spins up a Modal sandbox, runs Claude Code inside it, and produces a working .devcontainer/ config (Dockerfile, devcontainer.json, test runner) for any git repo. We build on the dev container standard, so the output works with VS Code and GitHub Codespaces out of the box. Main use cases: reproducible dev/CI environments, self-describing repos, and safely sandboxed coding agents. Our goal is to encourage all repos to…

• 
  SimCity, but with Permits▲930

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 3d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 15d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 16d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 10d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 14d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 24d ago · space.bl2.net

• TL
  The load-bearing vocabulary of Claude▲710

  Life & fun · Aug 2026 · louisabraham.github.io

• 
  Hey Noah▲656

  A proactive AI executive assistant for founders

  AI · Aug 2026 · heynoah.io

• 
  Clipto MCP▲655

  Hey HN, We recently built Clipto. It’s a tool that lets you search over terabytes of video, audio, and images on your computer, without relying on the cloud. Motivation: we probably all had this similar experience, we know a moment exists in a video or audio, but finding it takes hours scrubbing the timeline. You can send all the media to process in the cloud, but it’s slow, expensive and raises privacy concerns. So we decided to build our own on-device media search engine. How it works (high level): 1. We ingest video, audio, image; normalize formats via ffmpeg; run content analysis to…

  Work · Aug 2026 · clipto.com

• 
  Simple algorithm and color space to generate diverse skin tones▲627

  Hello HN! I found that picking out plausible but diverse skin tones for my digital art and game development projects was kind of difficult, and I got curious about if there was a way to define a color space that made it easy. I've built a color picker and procedural generation algorithm based on the space as well as a bunch of other fun js features and demos throughout the page that use the equations. If you find it interesting, I have lots of explanations of how I built it and what properties the space has. The methodology might be a bit shaky, but hopefully the result is as helpful for…

  Life & fun · Aug 2026 · toneyalexander.github.io

• 
  AdAnt AI▲620

  Claude for viral, high-converting social ads

  AI · Aug 2026 · adant.ai

• 
  Astute▲606

  Automate your B2B brand going viral, with new media creators

  AI · Aug 2026 · company-app.joinastute.com