CfP: Human Rights Archives and the Problems of Provenance
archivespublishing.comยท1h
โš–๏ธArchive Ethics
Solutions and references
hamatti.orgยท2d
๐Ÿ“Proof Assistants
True Unidirectional WiFi broadcasting of video data for FPV Drones
befinitiv.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿ“ปHomebrew Protocols
Try Qwen Image Online
qwen-image.aiยท1dยท
Discuss: Hacker News
๐Ÿ—œ๏ธLZW Variants
Why there are so many more South Asian CEOs than East Asian CEOs in the US
davelu.comยท8hยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Htmlpp, an HTML Preprocessor? (2000)
htmlpp.sourceforge.netยท2dยท
Discuss: Hacker News
๐Ÿ“„PostScript
The Schwartzian Transform (2016)
perl.comยท5dยท
Discuss: Hacker News, r/programming
ฮปLambda Encodings
A Library Approach to Constant Template Parameters
brevzin.github.ioยท4dยท
Discuss: Hacker News, r/cpp
๐Ÿฆ€Rust Macros
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.ioยท1dยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Who here runs async-first teams? What surprised you the most?
businessofsoftware.orgยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Week 7 โ€” Learning Basic Concepts of Cybersecurity
infosecwriteups.comยท2d
๐Ÿ”Capability Systems
Drawafish.com Postmortem: Whoops
aldenhallak.comยท2dยท
Discuss: Hacker News, r/programming
๐Ÿš€Indie Hacking
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peer Review
medium.comยท2dยท
Discuss: r/programming
๐Ÿ“œDigital Philology
AI and Burnout
petersobot.comยท2dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Artificial protein engineering advances through molecular level forecasting
phys.orgยท1d
โšกIncremental Computation
KCR: Resolving Long-Context Knowledge Conflicts via Reasoning in LLMs
arxiv.orgยท1d
๐ŸงฎTheorem Proving
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arxiv.orgยท1d
๐Ÿ”Concolic Testing
COFFEE: A Shadow-Resilient Real-Time Pose Estimator for Unknown Tumbling Asteroids using Sparse Neural Networks
arxiv.orgยท11h
๐ŸŒ€Differential Geometry
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.toยท4dยท
Discuss: DEV
๐Ÿ—‚๏ธVector Search
Shooting the Messenger? Harassment and Hate Speech Directed at Journalists on Social Media
arxiv.orgยท1d
๐Ÿ“ฐRSS Archaeology