🧩 programming

smalltalk, forth, pascal, c, c++, go rust, scheme, lisp, ruby, erlang, prolog

Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·21h
💾vintage computing
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·5d·
Discuss: Hacker News, r/programming
⚙️Compilers
Analyzing A Critique Of The AI 2027 Timeline Forecasts
thezvi.substack.com·1d·
Discuss: Substack
⚙️Compilers
How to store Go pointers from assembly
mazzo.li·3d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Compilers
QueueEDIT: Structural Self-Correction for Sequential Model Editing in LLMs
arxiv.org·2d
⚙️Compilers
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🌐Network Protocols
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·8h
⚙️Compilers
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·8h
⚙️Compilers
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚙️Compilers
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·8h
🌐Network Protocols
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
⚙️Compilers
Is Your Automated Software Engineer Trustworthy?
arxiv.org·2d
⚙️Compilers
Stable iterative refinement algorithms for solving linear systems
arxiv.org·2d
⚙️Compilers
Dialogic Pedagogy for Large Language Models: Aligning Conversational AI with Proven Theories of Learning
arxiv.org·1d
⚙️Compilers
PasteTrace: A Single Source Plagiarism Detection Tool For Introductory Programming Courses
arxiv.org·2d
⚙️Compilers
PARALLELPROMPT: Extracting Parallelism from Large Language Model Queries
arxiv.org·2d
⚙️Compilers
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
⚙️Compilers
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·8h
⚙️Compilers
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
⚙️Compilers
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·2d
⚙️Compilers