📊 Static Analysis

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

Snuffleupagus 0.12.0 - Stegodontidae
dustri.org·12m
📦Deflate
Convert Markdown to Word
zine.dev·1d
📜Manuscript TEI
EPSON MX-80 Fonts (1980 Dot Matrix Printer) (rat.bz)
mw.rat.bz·2d
🔠Terminal Fonts
A Personal Update and Vacation Break
stratechery.com·11h
🏠Personal Archives
Baby Age Calculator
babyagecalculator.com·7h·
Discuss: Hacker News
🧬Bitstream Evolution
10 best brow pencils, expert tested for definition
the-independent.com·3h
⭐Awesome lists
Here be dragons: Preventing static damage, latchup, and metastability in the 386
righto.com·2d·
Discuss: www.blogger.com, Lobsters, Hacker News
⚡Circuit Archaeology
Programming with Natural Language Is Going to Work (2010)
writings.stephenwolfram.com·6d·
Discuss: Hacker News
💻Programming languages
Alleged Paypal access data: Source not Paypal
heise.de·44m
🎫Kerberos Attacks
Kdenlive 25.08 Video Editor Released with Over 300 Fixes
linuxiac.com·1d
🔓Open Source Software
Asus just released a flurry of new laptops which comes with a 5-year BIOS update warranty and 1-year McAfee+ premium subs
techradar.com·59m
🇩🇪German Computers
Writing an LLM from scratch - Tutorial series
gilesthomas.com·5d
💻Local LLMs
Optimized Spectral Tuning for High-Throughput LED Horticulture via Adaptive Interference Pattern Analysis
dev.to·1d·
Discuss: DEV
🌈Color Archaeology
US Attorney investigates AI chatbots from Meta and Character.ai
heise.de·1h
🎙️Whisper
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·6d·
Discuss: Hacker News
🔀CRDT
AnatoMaskGAN: GNN-Driven Slice Feature Fusion and Noise Augmentation for Medical Semantic Image Synthesis
arxiv.org·1d
🧠Neural Codecs
TinyTim: A Family of Language Models for Divergent Generation
arxiv.org·1d
🌀Brotli Internals
Automated Anomaly Detection in Steel Rolling Mill Bearings via Acoustic Emission & Deep Learning
dev.to·2d·
Discuss: DEV
🔍Vector Forensics
Sonar Surfaces Multiple Caveats When Relying on LLMs to Write Code
devops.com·6d
📏Code Metrics
Automated Claims Adjudication Optimization via Hybrid Bayesian Network and Reinforcement Learning
dev.to·2d·
Discuss: DEV
🎯Threat Hunting