GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·1d
📏Linear Haskell
Nevidljive ruke koje drže pulsku turističku mašineriju - priče radnika Arena Hospitality Groupa
radnickaprava.org·1h·
Discuss: r/croatia
📚Forth
How to set up KServe autoscaling for vLLM with KEDA
developers.redhat.com·8h
🛡️Capability VMs
Providing APIs (2013)
en.wikisource.org·5d·
Discuss: Hacker News
🌐Web Standards
Three Meanings of Effects
burakemir.ch·3d·
Discuss: Hacker News
💫Effect Systems
Hiring API dev coder
reddit.com·1h·
Discuss: r/node
⚡Live Coding
Why Do LLMs Design Mediocre Architecture?
recurse.ml·4d·
Discuss: Hacker News, r/programming
🎮Language Ergonomics
PTQTP: Post-Training Quantization to Trit-Planes for Large Language Models
arxiv.org·11h
⚡Tokenizer Optimization
B-Privacy: Defining and Enforcing Privacy in Weighted Voting
arxiv.org·11h
💾Cache-Oblivious Algorithms
TikTok’s Ex-Algorithm Chief Launches Verdent AI Coding Tool
thenewstack.io·2h·
Discuss: Hacker News
🎭Program Synthesis
STAFF: Stateful Taint-Assisted Full-system Firmware Fuzzing
arxiv.org·11h
🛡️Taint Analysis
MobileUPReg: Identifying User-Perceived Performance Regressions in Mobile OS Versions
arxiv.org·11h
📊Profiling
InfinitiBit/graphbit
github.com·1d
🏛️Elm Architecture
HypeMARL: Multi-Agent Reinforcement Learning For High-Dimensional, Parametric, and Distributed Systems
arxiv.org·11h
🎪Actor Frameworks
Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·11h
🌳Pattern Match Compilation
Mastering Collections in C#
dev.to·3d·
Discuss: DEV
🔗Concatenative Languages
Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and Correction
arxiv.org·11h
🛡️Error Ergonomics
Building CardOS: An AI-Powered Credit Pre-Approval System on Google Kubernetes Engine
dev.to·16h·
Discuss: DEV
🔮Metacircular Evaluators
Building Production-Ready Serverless Applications with AWS Lambda and API Gateway
dev.to·4d·
Discuss: DEV
⚙️Configuration Parsing
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·11h
🎲Property Testing