🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Effectful Programming

Algebraic Effects, Effect Systems, Koka, Unison, Handler Composition

Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·13h·
Discuss: Hacker News
🌊Stream Processing
Sparse Identification of Nonlinear Dynamics with Conformal Prediction
arxiv.org·42m
🧮Kolmogorov Bounds
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·1d
📜Proof Carrying Code
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·42m
🔲Cellular Automata
New approach for testing multiple treatment combinations at once could aid in development of cancer drugs
phys.org·15h
🔲Cellular Automata
How and where will agents ship software?
instantdb.com·10h·
Discuss: Hacker News
🌊Streaming Systems
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·2d
✨Effect Handlers
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Situated Software (2004)
web.archive.org·8h·
Discuss: Hacker News
🚀Indie Hacking
Relative Entropy Pathwise Policy Optimization
arxiv.org·1d
🧮Kolmogorov Complexity
Sandboxing AI - Extending AI Responsibly
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·3d·
Discuss: Substack
⚡Incremental Computation
Is AI the end of coding as we know it, or just another tool?
aha.io·1d·
Discuss: Hacker News
🔄Language Evolution
Inversion-DPO: Precise and Efficient Post-Training for Diffusion Models
arxiv.org·42m
🏺Computational Archaeology
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·1d
🔗Hash Chains
Claude Code Unleashed
ymichael.com·1d·
Discuss: Hacker News
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap