🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ PL Implementation

Compilers, Runtime Systems, JIT, Interpreter Design

AI Chip Startup Groq Nears $600 Million Fundraising Deal
bloomberg.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Amazon is backing a streamer that lets you use AI to make your own TV shows. Read its pitch to Hollywood studios.
businessinsider.com·18h·
Discuss: Hacker News
🎮Verification Games
Notes on Asymmetry, Heteronomy, Delegation
ratfactor.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Building a Game Engine Solo – Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.com·6d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
TPC-H Query 1: Column Storage and Local Aggregation
database-doctor.com·5d·
Discuss: Hacker News
🔬Static Analysis
Flourishing chemosynthetic life at the greatest depths of hadal trenches
nature.com·18h·
Discuss: Hacker News
⎈Kubernetes
On the Edge of Competence
ordep.dev·2d·
Discuss: Hacker News, Hacker News, r/programming
🧗Climbing Tech
Why AI is making us worse thinkers (and how to avoid it)
buttondown.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Mythical Machine-Month Paradox – How much could AI change programming?
tucson-josh.com·5d·
Discuss: Hacker News
🤖Program Synthesis
Ivory: Postgres cluster management tool
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
VeS: Teaching Pixels to Listen Without Supervision
arxiv.org·1d
🔬Unikernels
SynPAIN: A Synthetic Dataset of Pain and Non-Pain Facial Expressions
arxiv.org·2d
🏹Effect Systems
Improving Neural Network Training using Dynamic Learning Rate Schedule for PINNs and Image Classification
arxiv.org·1d
✓Automated Theorem Proving
A Lyapunov-Guided Diffusion-Based Reinforcement Learning Approach for UAV-Assisted Vehicular Networks with Delayed CSI Feedback
arxiv.org·2d
📡Network Protocol Design
An Explainable Equity-Aware P2P Energy Trading Framework for Socio-Economically Diverse Microgrid
arxiv.org·3d
🔠Type-Level Programming
Can Small-Scale Data Poisoning Exacerbate Dialect-Linked Biases in Large Language Models?
arxiv.org·3d
🐫Embedded OCaml
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.org·3d
🔠Type-Level Programming
WaveVerify: A Novel Audio Watermarking Framework for Media Authentication and Combatting Deepfakes
arxiv.org·1d
🌐NetworkProtocols
Throwing AI at Developers Won’t Fix Their Problems
aviator.co·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Quaternion-Based Robust PCA for Efficient Moving Target Detection and Background Recovery in Color Videos
arxiv.org·2d
➡️Category Theory
Loading...Loading more...
AboutBlogChangelogRoadmap