🔢 lambda calculus - abnv · Scour

Elliptic Multiple Polylogarithms with Arbitrary Arguments in \textsc{GiNaC}

arxiv.org·1d

🎭Polymorphic Variants

Differential Logic • 5

inquiryintoinquiry.com·2d

∫Mathematical DSLs

vindarel: 🖌️ Lisp screenshots: today's Common Lisp applications in action

lisp-journey.gitlab.io·14h

PromptもFine-tuningも不要なLLM出力言語の制御手法｜はち

note.com·2h

💬Interactive REPLs

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·20h·

Discuss: Lobsters

🔀Control Structures

Task 17: Implement property-based invariant tests · Issue #30

github.com·53m

🎲Property Testing

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

📜Proof Languages

AWS Lambda with Rust and Closure Syntax

aws.amazon.com·3d·

Discuss: r/rust

🔗Borrowing Extensions

Functional Optics for Modern Java

blog.scottlogic.com·12h

Dear Agent: Prove it.

rijnard.com·8h·

Discuss: Hacker News

⚖️Inference Rules

Regime-Declared Mathematics as Survivor Sets

zboralski.github.io·2d·

Discuss: Hacker News

⚖️Inference Rules

Announcing TypeScript 6.0 Beta

devblogs.microsoft.com·17h·

Discuss: Hacker News, r/javascript, r/programming, r/typescript

🌊Gradual Typing

Bounded Modal Logic

arxiv.org·1d

📏Linear Logic

Python Morsels: Need switch-case in Python? It's not match-case!

pythonmorsels.com·1d

🎯Pattern Matching

Bringing a jewel-encrusted warhammer to a knife fight

reorchestrate.com·15h·

Discuss: Hacker News, r/rust

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·2d·

Discuss: r/LocalLLaMA

🧩Constraint Solvers

Show HN: I built an AI executive assistant you use through iMessage

getattache.com·20h·

Discuss: Hacker News

💬Smalltalk VMs

A note on parameterized testing

blog.gnoack.org·13h

🧪Compiler Testing

Go - Unit & Integration Testing

linkedin.com·15h·

Discuss: r/programming

🧪Zig Testing

Python to Clojure: A Gentle Guide for Pythonistas

dev.to·3h·

Discuss: DEV

Loading more...