Trending tags: ai  rust  github.com  apple  psychology  health  arstechnica.com  trump  vibecoding  environment  psypost.org  nature.com  go  release  neuroscience  security  llm  china  show  linux 

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

21 days ago zenodo.org clojure lisp pdf plt

Related Stories

Lisp in a Shell

recently added youtube.com lisp unix video

An Earnest Guide to Symbols in Common Lisp

4 days ago kevingal.com lisp

Show HN: I made an AI that turn live lecture into structured notes,mind-maps,PDF

8 days ago notorium.app ai show

Micrographia (1665) [pdf]

26 hours ago arhipa.org pdf

Calm – Canvas Aided Lisp Magic

4 days ago vitovan.com lisp

RSC for Lisp Developers

9 days ago overreacted.io javascript lisp

Javascript Enlightenment pdf?

2 days ago reddit.com javascript pdf

Smalltalk, Haskell and Lisp

4 days ago storytotell.org haskell lisp plt

Artificial Blood That Could Work for All Blood Types in Trials

6 days ago newsweek.com

Barrelfish OS Architecture Overview (2013) [pdf]

7 days ago barrelfish.org pdf

Discrete Mathematics: An Open Introduction [pdf]

29 hours ago discrete.openmathbooks.org pdf

A practical guide to building agents [pdf]

6 days ago cdn.openai.com pdf

ICANN fee price hike by 11% [pdf]

5 days ago itp.cdn.icann.org pdf

Communicating In Types • Kris Jenkins

9 days ago youtu.be

Goblinville: A Spring Lisp Game Jam 2025 retrospective

6 days ago spritely.institute game lisp

Designing Error Types in Rust Libraries

8 days ago d34dl0ck.me rust

Creating a live scoreboard in using Python.

7 days ago reddit.com python

parrot.live

6 days ago github.com

See how a dollar would have grown over the past 94 years [pdf]

4 days ago newyorklifeinvestments.com pdf

What DOGE and its affiliates are doing with government systems and data [pdf]

45 hours ago oversight.house.gov pdf

Uniqueness for Behavioural Types

7 days ago kcsrk.info

The Illusion of Thinking: Understanding the Limitations of Reasoning LLMs [pdf]

4 days ago ml-site.cdn-apple.com ai llm pdf

Lisp Machines: A Cult AI Computer's Boom and Bust [video]

2 days ago youtube.com ai hardware lisp osdev video

Simulated early Earth geochemistry fuels a hydrogen-dependent primordial metabolism - Nature Ecology & Evolution

3 days ago nature.com biology earth

Redesigned Swift.org is now live

6 days ago swift.org

Redesigned Swift.org is now live

6 days ago swift.org swift

Ad-hoc Union types for Java using types from other package(s) with switch/case checking

10 hours ago github.com java

Is conversion between string types zero cost?

7 days ago reddit.com go

Live coding music jam writing Rust in a Jupyter notebook with my CAW synthesizer library

28 hours ago youtube.com music rust

Would you pay for a Node.js module that lets you easily add customizable live wallpaper functionality to your Android app?

32 hours ago reddit.com android javascript