Assembly_verify
philipzucker.com·1d·
Discuss: Lobsters, Hacker News
✅Format Verification
**Essential Python Security Practices: Advanced Techniques to Protect Your Applications from Threats**
dev.to·1d·
Discuss: DEV
🛡️WASM Security
Testing Your Knowledge of JavaScript’s Date Class
hackaday.com·15h
✅Format Verification
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·16h
🔍RegEx Engines
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·1d·
Discuss: Hacker News
📋Document Grammar
MetaGreenData: Making Code More Sustainable, One Metadata File at a Time
software.ac.uk·6h
🦋Format Metamorphosis
Architectural Degradation: Definition, Motivations, Measurement and Remediation Approaches
arxiv.org·13h
🏺Format Archaeology
FreeBSD PKGBASE pkgbasify(8) Tool Explained
discoverbsd.com·8h
🔌Operating system internals
Extracting and Cracking NTLMv1 Hashes
infosecwriteups.com·2d
🎯NTLM Attacks
You should be using unitless values for line-height
playfulprogramming.com·1d
🖋Typography
LSM trees in postgres
notes.billmill.org·1d
🌲B-tree Variants
I Found a New Open Source Grammar Checker Tool And I Like it... Well... Kind of
itsfoss.com·10h
📝Concrete Syntax
Can You Bypass text.length > 20? Hackers Can!
blog.devops.dev·1d
✅Format Verification
A Practical Comparison of AI Coding Agents
jaredforsyth.com·19h·
Discuss: Hacker News
🔐Capability Systems
Postgres schema changes without downtime? pgroll hits 5k stars
xata.io·3h·
Discuss: Hacker News
🔄Schema Evolution
XProc tips and tricks
so.nwalsh.com·1d
⚡Proof Automation
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·7h·
Discuss: Hacker News
🌳Context free grammars
We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·2h·
Discuss: Hacker News
📋Document Layout
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·1d·
Discuss: Hacker News
📦Container Security
I Don't Like Imports
kevincox.ca·1d
🦀Rust Macros