Articles by ducktective
59

F*: A general-purpose proof-oriented programming language (fstar-lang.org)

1

Test Your Ability to Spot Google Gemini's Nano Banana Pro (realorai.dev)

9

Debian 13.1 Released (debian.org)

1

Easer: User-defined explicit automation for Android (github.com/renyuneyun)

9

Guile bindings for Sway window manager (github.com/ebeem)

277

Debian 13 “Trixie” (debian.org)

2

Compose Multiplatform vs. Flutter (medium.com/newsoft-official)

2

YAD Guide – GTK+ GUI maker from commandline (ingk.se)

23

Rubi: Symbolic integrator based on an extensive system of integration rules (rulebasedintegration.org)

3

REDUCE Computer Algebra System (sourceforge.net)

5

JavaScript-Free Single Page Applications (github.com/whamtet)

40

Clojure Desktop UI Framework (github.com/humbleui)

1

Joyful Cross-platform Development with ClojureDart [video] (youtube.com)

2

eBPF – Everything You Need to Know in 5 Minutes [video] (youtube.com)

1

Monitoring energy usage with eBPF at process level granularity (github.com/fjebaker)

13

Qlot: Common Lisp Library Manager (github.com/fukamachi)

2

A List of Free and Open Source Software for Android (github.com/offa)

4

Everyday Use of GNU Guix [video] (youtube.com)

17

Emacs in fifty keystrokes (enzuru.medium.com)

228

Try Clojure (tryclojure.org)

22

The evolution of a Scheme programmer (2020) (erkin.party)

1

LambdaNative: Cross-platform development environment written in Gambit Scheme (lambdanative.org)

3

Threading with Style (2018) (stuartsierra.com)

1

vivid: A Themeable LS_COLORS Generator (github.com/sharkdp)

2

How to replace CalDAV with a secure calendar protocol (opensource.com)

1

Jq 1.7rc1 is released (github.com/jqlang)

27

Cakelisp: A performance-oriented Lisp-like language (macoy.me)

49

We Don't Know How to Compute (2011) [video] (youtube.com)

1

JPEGView: Fast and highly configurable image viewer/editor with a minimal GUI (github.com/sylikc)

2

Google Palm-E: An Embodied Multimodal Language Model (reddit.com)

14

Ask HN: Have you lost enthusiasm for programming and learning after ChatGPT?

1

The 137 Emergent abilities of large language models (jasonwei.net)

3

Mgl: Common Lisp machine learning library (github.com/melisgl)

1

Tortoise-tts: A multi-voice TTS system trained with an emphasis on quality (github.com/neonbjb)

2

Sento: Actor Framework for Common Lisp (github.com/mdbergmann)

7

Distributing binaries with Common Lisp and foreign libraries (cddr.org)

82

Maxima: A computer algebra system written in Common Lisp (maxima.sourceforge.io)

2

Simple TUIs with Babashka and Gum (rattlin.blog)

1

Torsocks: Wrapper to Torify Applications (github.com/dgoulet)

2

NNCP: Lossless Data Compression with Neural Networks (bellard.org)

2

Clasp (LLVM-based Common Lisp) v2.0.0 released (github.com/clasp-developers)

84

Emacs User Survey (2022) (emacssurvey.org)

57

FaCT: Constant Time Programming Language (github.com/plsyssec)

2

Sussman's “We Really Don't Know How to Compute” (thestrangeloop.com)

1

Moldable Live Programming for Clojure (clerk.vision)

2

The Scheme-79 Chip (dspace.mit.edu)

3

Real-Time Garbage Collection Is Real (michaelrbernste.in)

1

Common Lisp: An Interactive Approach [pdf] (buffalo.edu)

1

Wayland Client for Common Lisp (sr.ht)

18

Ask HN: Best free text-to-speech plugins for browsers?

1

On ECL, the Embeddable Common Lisp (youtube.com)

3

Marc Battyani on Using Lisp for High-Performance Computing and FPGA Development (lisp-univ-etc.blogspot.com)

2

Cakelisp: A performance-oriented Lisp-like language (macoy.me)

1

Best Books Mentioned on Hacker News (hackernewsbooks.com)

3

Sly: Sylvester the Cat's Common Lisp IDE (github.com/joaotavora)

45

Emacs-like editors written in Common Lisp (cliki.net)

4

Lux: A fast and simple video downloader built with Go (github.com/iawia002)

1

I Switched from Neovim to Emacs, Here’s Why (medium.com/linux-with-michael)

50

Get things done with Emacs (labri.fr)

3

Doom Emacs: a configuration framework for GNU Emacs (github.com/doomemacs)

2

Termux plugin to use native Android GUI components from CLI (github.com/termux)

1

NNCP: Lossless Data Compression with Neural Networks

1

Bringing GNU Emacs to Native Code

1

Who Needs Modern Emacs?

37

Declarative GUI with constraints-based layout engine for Python

27

Constraint Programming

3

Atom: An EDSL for embedded hard realtime applications

2

Interactive Server Side Rendering in Common Lisp

2

LQML: A cross-platform QML-only binding to Qt5/Qt6 for Embedded Common Lisp

1

LQML: A cross-platform QML-only binding to Qt5/Qt6 for Embedded Common Lisp

3

Comparison Between Real-time Operating Systems

1

Woo: A fast non-blocking HTTP server on top of libev

26

Blech: A language for developing reactive, real-time critical embedded software

3

Python VS Common Lisp, workflow and ecosystem

35

Clasp: A Common Lisp implementation using LLVM for compilation to native code

2

Coalton: A statically typed functional programming language for Common Lisp

2

Maxima: A Computer Algebra System Written in Common Lisp

2

IUP: A multi-platform toolkit for building native GUIs

108

Common Lisp vs Racket

3

Lqml: A Lightweight QML-Only Embedded Common Lisp Binding to Qt5/Qt6

1

clingon: Command-line options parser system for Common Lisp

2

DB Browser for SQLite

9

An opinionated guide to scheme implementations (2013)

1

Chez Scheme vs. SBCL: A Comparison

1

Chibi-Scheme: a small library intended for in C programs

2

Ask HN: Why Matlab plots are much better in quality than Gnuplot or Matplotlib?

61

Ferret: A functional, lazy language for realtime embedded control systems

2

Rawdrawandroid: Build Android apps without Java, entirely in C and Make

1

Twitter analysis on information density of languages

25

Copilot: Realtime programming language and runtime verification framework

46

Build Android apps without an Android SDK using PicoLisp

70

Lisp can be “hard” real time [pdf] (2000)

1

cranium: Portable,header-only,artificial neural network library (written in C99)

45

Ask HN: How do you organize or rename PDF files (books, papers, etc)?

176

Brian Kernighan adds Unicode support to Awk

2

cake: C23 compiler frond end written from scratch in C

61

discordo: Lightweight, secure, and feature-rich Discord terminal client

1

Compiling Python Code to Executable with Nuitka

24

Samurai: Ninja-compatible build tool written in C