💻 Programming languages - emschwartz · Scour

ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics 🧩Types Academic

Less-relevant results

Mental causation is not load-bearing 🤔Philosophy of Tech

lesswrong.com·11h

The Network as a Program with Nate Foster 📡Low-Level Networking

signals-threads.simplecast.com·6d

IBM Research (https://research.ibm.com) | Boston, MA | Full-Time 🧩Types Discussion

news.ycombinator.com·6d·Hacker News

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus 🕯️Candle Academic

a topos-oriented language with a content-addressed lattice heap 🧩Types

yon-lang.org·3d·Hacker News

One Language To Rule Them All ⚙️Language Runtimes Blog

programmingsimplicity.substack.com·4d·Substack

Introducing Jo — Secure Programming for the AI Era 🧩Types Blog

jo-lang.org·3d·Hacker News

Logic for Programmers extra credits 🧩Types

Computer Things via buttondown.com·5d

Location: New York City area, USA Remote: Yes, also open to on-site Willing to r... 🗽New York City Discussion

news.ycombinator.com·6d·Hacker News

How Gödel and Turing outlined the limits of AI 🔁Finite Automata

heise.de·5d·Hacker News

Using Ropes for Computation 🌳Data Structures

wiki.xxiivv.com·3d·Hacker News

BQN: Functional programming 🧩Types

mlochbaum.github.io·4d·Hacker News

Abduction Prover in Isabelle/HOL 📐TLA+ Academic

Spermine is an endogenous iron chelator that inhibits ferroptosis 🧩Types Academic

·5d

Perfectoid Spaces by Tarpley Hitt and Olivia Kan-Sperling 📏Linear Types Blog

theparisreview.org·6d

Proofs as Programs 🧩Types Blog

systemsthinkingcollection.substack.com·6d·Substack

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic 🧩Types Academic

LLM, give me a JSON. Make no mistakes. 🤖AI

nobodywho.ooo·5d·Hacker News

Focus is Motivation 🌮Mexican Cuisine Blog

scotthyoung.com·3d

Log in to enable infinite scrolling