Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

IPAB Workshop - 16/10/2025
informatics.ed.ac.uk·2h
Tactile Computing
Flag this post
ACX Grants Results 2025
astralcodexten.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·6d·
🌳Incremental Parsing
Flag this post
Consistent Overhead Byte Stuffing
circuitcellar.com·1d·
Discuss: Hacker News
Format Verification
Flag this post
Systems as Mirrors
iamstelios.com·3d·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Failing to digest the bitter lesson, AI engineering edition
blog.nilenso.com·1d·
Incremental Computation
Flag this post
Show HN: MakeACopy – An offline, open-source document scanner for Android
news.ycombinator.com·2h·
Discuss: Hacker News
📄Document Digitization
Flag this post
Beyond Ethics Washing: Certifiably Fair AI with Knowledge-Driven Transformation by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚖️Emulation Ethics
Flag this post
Zero-Shot Large Language Model Agents for Fully Automated Radiotherapy Treatment Planning
arxiv.org·11h
🧠Intelligence Compression
Flag this post
Tech With Tim: My top 5 python programming course recommendations
dev.to·9h·
Discuss: DEV
λLambda Formalization
Flag this post
How Macaron Can Compete with OpenAI's Sora and ChatGPT Pulse: A 2025 Guide to AI-Driven Consumer Products
dev.to·3h·
Discuss: DEV
🎯Emulator Accuracy
Flag this post
I Built a SaaS Without Looking at a Single Competitor. Here’s What I Learned
dev.to·20h·
Discuss: DEV
🚀Indie Hacking
Flag this post
AI Isn't Weak-It's Underused: How PromptNova Unlocks Its True Potential
dev.to·14h·
Discuss: DEV
Proof Automation
Flag this post
Automated Genomic Variant Stratification via Hyperdimensional Network Embedding and Causal Filtering
dev.to·6h·
Discuss: DEV
📐Vector Dimensionality
Flag this post
Text2Stories: Evaluating the Alignment Between Stakeholder Interviews and Generated User Stories
arxiv.org·2d
⚙️Compression Benchmarking
Flag this post
A Novel Framework for Augmenting Rating Scale Tests with LLM-Scored Text Data
arxiv.org·2d
🧠Intelligence Compression
Flag this post
Beyond Single-Granularity Prompts: A Multi-Scale Chain-of-Thought Prompt Learning for Graph
arxiv.org·2d
🔢Denotational Semantics
Flag this post