No Deus ex Machina
๐Forth Compilers
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.comยท23h
โ๏ธInference Rules
Flag this post
Dingo: A Meta-Language for Go
๐คEmbedded Go
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
๐งฎCombinator Calculus
Flag this post
My code is 100% AI generated
jda.bearblog.devยท13h
๐Self-Documenting Code
Flag this post
AI assistance in Development
โกLive Coding
Flag this post
A WebAssembly Interpreter
๐WASM Runtimes
Flag this post
The Secret Life of Python: Bytecode Secrets - What Python Really Runs
๐Bytecode Interpreters
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comยท1d
๐งAPI Design
Flag this post
Nano Banana Pro ๅฎๆดๅผๅ่
ๆ็จ
linguista.bearblog.devยท1h
๐Lua
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
May-June 2025 Progress in Guaranteed Safe AI
lesswrong.comยท2d
๐ญProgram Synthesis
Flag this post
The age of personalized software
discuss.samsaffron.comยท1h
๐ฎLanguage Ergonomics
Flag this post
Personal Partial Evaluation: Clojure/Conj 2025
clojurecivitas.github.ioยท2d
๐Concatenative
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
๐งError Recovery
Flag this post
I created a coding tool that produce prompts simple enough for smaller, local models
๐Lua
Flag this post
Loading...Loading more...