Announcing a 10-Week Graduate-Style Seminar on OS Trade-Offs for Engineers
betterbytes.orgยท1dยท
Discuss: r/compsci
๐ŸŽจDSL Design
Excelโ€™s MAP function is genius
makeuseof.comยท12h
๐Ÿ“‹Row Typing
Show HN: TinqerJS โ€“ LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.orgยท1dยท
๐Ÿ—ƒ๏ธQuery Compilation
Why you should be using pathlib (2018)
treyhunner.comยท1dยท
๐ŸCPython Internals
[shiโ€ขrei] A new immediate-mode GUI framework for Go
judi.systemsยท1dยท
Discuss: r/golang
๐Ÿ’ปTerminal UIs
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.comยท1dยท
Discuss: Hacker News
๐ŸงฎTheorem Provers
Four years, Five failures, One compiler
daymare.netยท2dยท
๐ŸŒฑMinimal Languages
Agentic AI: Redefining Automation for Developers
teleglobals.comยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Fullstack Language Servers
404wolf.comยท2d
๐Ÿ“ฆMonorepos
HowTo: Faster code completion when typing in the Godot editor
reddit.comยท42mยท
Discuss: r/godot
๐Ÿ“Editor Buffers
Creating a CLI Tool with Node.js
npmjs.comยท2dยท
Discuss: DEV
โšกIncremental Parsing
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.toยท20hยท
Discuss: DEV
๐ŸŽฒTest Generators
Forking-Sequences
arxiv.orgยท1d
๐ŸชœRecursive Descent
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment frm Heterogeneous Rewards
arxiv.orgยท1d
๐Ÿ”ML Language
Wave-PDE Nets: Trainable Wave-Equation Layers as an Alternative to Attention
arxiv.orgยท1d
๐ŸชœRecursive Descent
๐Ÿค– Edenred Invoice Assistant โ€“ Serverless AI Chatbot for Invoice & Payment Support
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กErlang BEAM
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.orgยท4h
๐Ÿ”—Lexical Scoping
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.orgยท2d
๐Ÿš€Tokenizer Performance