Emacs Send To
irreal.orgยท1d
๐ŸงFOSS
Some third-party Mac apps I use
lapcatsoftware.comยท16h
๐ŸŽApple Archive
The Early Development of Set Theory (2024)
plato.stanford.eduยท16hยท
Discuss: Hacker News
๐Ÿ—๏ธConstructive Mathematics
Functional Documentation
dzombak.comยท16hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Categorizing Book Notes with AI
mieubrisse.substack.comยท2dยท
Discuss: Substack
๐ŸŒ€Brotli Internals
Agentic Coding Is A Fundamental Shift
saewitz.comยท1dยท
Discuss: Hacker News
๐Ÿ”ขCoding Theory
Things I Wish I Had Known Before Starting ML
towardsdatascience.comยท1h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
The vibe coder's career path is doomed
blog.florianherrengt.comยท16hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Bazel and action (non-) determinism
jmmv.devยท1d
๐Ÿ”„Reproducible Builds
We Built An Entire Newsroom with LLMs โ€“ Then We Showed The Print To the Real One
medium.comยท15hยท
Discuss: Hacker News
๐Ÿ“‹Document Layout
First deliverable: Building with Bolt - WLH Challenge
dev.toยท13hยท
Discuss: DEV
โš™๏ธPL Implementation
Fluid Antenna-enabled Near-Field Integrated Sensing, Computing and Semantic Communication for Emerging Applications
arxiv.orgยท1d
๐Ÿ“กInformation theory
Deep Micro Solvers for Rough-Wall Stokes Flow in a Heterogeneous Multiscale Method
arxiv.orgยท2d
๐ŸŒ€Riemannian Computing
RomM v4.0.0 (self-hosted ROM manager/player) has been released
github.comยท1dยท
Discuss: Hacker News
๐ŸŽฎGame Decompilation
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.orgยท2h
๐Ÿค–Grammar Induction
Plug-and-Play AI: Should New Skills Load on Restart or Evolve at Runtime
dev.toยท1hยท
Discuss: DEV
โšกIncremental Computation
AI-Powered Pipeline Linting: How I Built a GPT Assistant for My CI/CD Workflows
blog.devops.devยท1d
๐Ÿ“Shell Parsing
Python Error Handling Best Practices: Build Resilient Systems with Advanced Exception Management Techniques
dev.toยท2dยท
Discuss: DEV
๐Ÿ’พPersistence Strategies
Install Linters, Get Malware
c-b.ioยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธeBPF Security
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.comยท4dยท
Discuss: Hacker News
๐ŸŒWASI