๐Ÿ“Š Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

The term 'NSFW' is problematic and overdue for retirement
neilzone.co.ukยท1h
๐Ÿ Personal Archives
Encrypting data at rest, one OS at a time
tailscale.comยท4h
๐ŸŒŠStream Ciphers
Generating RSS with FlatLake
rsdoiel.github.ioยท2d
๐Ÿ“ฐRSS Feed Discovery
Go Deh celebrations!
paddy3118.blogspot.comยท2dยท
Discuss: paddy3118.blogspot.com, r/programming
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Blogging in markdown
underlap.orgยท3d
๐Ÿ“„PostScript
Taking on Qualtrics and Building the Survey Platform We Needed
sunbeam.cxยท1dยท
Discuss: Hacker News
๐ŸŽฏRecommendation Metrics
Interview with RollerCoaster Tycoon's Creator, Chris Sawyer
medium.comยท4hยท
Discuss: Hacker News
๐Ÿ“ผTape Emulation
HTTP/2: The Sequel is Always Worse
portswigger.netยท3dยท
Discuss: Hacker News, r/programming
๐Ÿ›ฃ๏ธBGP Hijacking
Improving Geographical Resilience For Distributed Open Source Teams with FREON
soatok.blogยท2dยท
Discuss: Lobsters, Hacker News
๐ŸŒณArchive Merkle Trees
How Confident Are You, ChatGPT?
aylinakkus.github.ioยท3dยท
Discuss: Hacker News
โšกProof Automation
Torvalds blasts tardy kernel dev: Your 'garbage' RISC-V patches are 'making the world worse'
theregister.comยท1d
๐Ÿ”ฉSystems Programming
Autodoc
funcall.blogspot.comยท4dยท
Discuss: www.blogger.com
โšกProof Automation
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.toยท9hยท
Discuss: DEV
โšกgRPC
Why SED is the Missing Link Between AI and Your Database
dev.toยท3dยท
Discuss: DEV
๐ŸบDatabase Archaeology
EMPATHIA: Multi-Faceted Human-AI Collaboration for Refugee Integration
arxiv.orgยท16h
๐Ÿ”ฒCellular Automata
Bridging Semantic Logic Gaps: A Cognition-Inspired Multimodal Boundary-Preserving Network for Image Manipulation Localization
arxiv.orgยท16h
๐Ÿค–Advanced OCR
Ask HN: AI Anxiety
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Scalable Bayesian Optimization for Enhanced Process Analytical Technology (PAT) in Rare Disease Manufacturing
dev.toยท10hยท
Discuss: DEV
โ˜•Precision Brewing
Btrfs at Scale: How Meta Depends on Btrfs for Our Entire Infrastructure BY The Linux Foundation (May 25, 2023)
reddit.comยท2dยท
Discuss: r/linux
๐Ÿ—„๏ธFile Systems
How to save JSON to a Dictionary in python
dev.toยท1dยท
Discuss: DEV
๐Ÿ“šLempel-Ziv