Error Codes for Control Flow
matklad.github.io·1d
🐫OCaml
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🐫OCaml
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·3d
λFunctional Programming
Flag this post
Building an AI-Powered Recipe Assistant with Agentic Postgres: A Deliciously Data-Driven Adventure 🍳🤖
λFunctional Programming
Flag this post
Knowledge-Augmented Question Error Correction for Chinese Question Answer System with QuestionRAG
arxiv.org·22h
🔍Parsers
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1d
λFunctional Programming
Flag this post
Former Meta employees launch Sandbar, a smart ring that takes voice notes and controls music
techcrunch.com·1d
λFunctional Programming
Flag this post
GitHub Copilot tutorial: How to build, test, review, and ship code faster (with real prompts)
github.blog·1d
❄️Nix Flakes
Flag this post
Gemini CLI: Custom Commands Are So Cool
🏠Home Manager
Flag this post
Loading...Loading more...