Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Auditing binaries like source code
zetier.comยท16h
๐Ÿ”ฌBinary Analysis
Show HN: A SQL integration for Notion databases
yourdata.techยท18hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
How and why to properly write copyright statements in your code
matija.suklje.nameยท10hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Storing configuration directly in executable, with no external config (2023)
retrocomputing.stackexchange.comยท15hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Masonry: Watching a CSS Feature Evolve
css-tricks.comยท15h
๐ŸŒWeb Standards
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgยท5dยท
Discuss: Hacker News
๐Ÿ”’Language-based security
Getting a Hypergraph of Functions to a Browser
systeminit.comยท4dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Rewriting the rules of genetics: Study reveals gene boundaries are dynamic, not fixed
phys.orgยท12h
๐ŸงฌCopy Number Variants
Love C, Hate C: Web Framework Memory Problems
alew.isยท4dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.ioยท3dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.atยท4dยท
Discuss: Hacker News
๐Ÿ”—Lisp
The Future of AI in Web Development: From Automation to Personalization
vibe.forem.comยท23hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
The Programmer Identity Crisis
hojberg.xyzยท5dยท
๐Ÿ”ฉSystems Programming
Enhanced Sampling for Efficient Learning of Coarse-Grained Machine Learning Potentials
arxiv.orgยท2h
๐Ÿ“ŠQuantization
VM-UNSSOR: Unsupervised Neural Speech Separation Enhanced by Higher-SNR Virtual Microphone Arrays
arxiv.orgยท1d
๐ŸŽงVorbis Encoding
Tech With Tim: My top 5 python programming course recommendations
dev.toยท1dยท
Discuss: DEV
๐ŸชŸAwesome windows command-line
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in Large Vision-Language Models
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Class Prototypes based Contrastive Learning for Classifying Multi-Label and Fine-Grained Educational Videos
arxiv.orgยท2h
๐Ÿ“ŠLearned Metrics
NV3D: Leveraging Spatial Shape Through Normal Vector-based 3D Object Detection
arxiv.orgยท2h
๐ŸบComputational Archaeology
Generative Modeling of Aerosol State Representations
arxiv.orgยท2h
๐Ÿง Machine Learning