Machine learning by satisfiability solving
johndcook.com·3d
🎯Performance Proofs
All the Water Rising
amandaguinzburg.substack.com·1d·
Discuss: Substack
🚀Indie Hacking
How HackerOne’s API Pentesting Delivers A Community-Powered Model
hackerone.com·5d
🧪Protocol Fuzzing
Superimposed codes, take three
blog.sesse.net·4d
🔢Bitwise Algorithms
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·1h·
Discuss: Substack
🔲Proof Irrelevance
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·1d·
Discuss: Hacker News
🤝Paxos Consensus
Applications That Work with Motif/Lesstif (2005)
lesstif.sourceforge.net·1d·
Discuss: Hacker News
📟Terminal Typography
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·2d·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·4d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
Machine Learning Fundamentals: loss function project
dev.to·1d·
Discuss: DEV
📏Code Metrics
Show HN: NameFast – Generate names for your SaaS idea in seconds
news.ycombinator.com·20h·
Discuss: Hacker News
🔍BitFunnel
Multi-Image Reference With Flux.1 Kontext: A Step-by-step Guide
dev.to·2h·
Discuss: DEV
📸PNG Optimization
Machine Learning Fundamentals: loss function example
dev.to·1d·
Discuss: DEV
📏Code Metrics
ASCII Art Signatures in the Wild (2012)
geon.github.io·2d·
Discuss: Hacker News
🔧KAITAI
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·2d·
Discuss: Hacker News
📄Document AI
Still Up. Still Evil
vulncheck.com·3d·
Discuss: Hacker News
🌐DNS Security
Dora Research: Concerns beyond the accuracy of AI output
dora.dev·2d·
Discuss: Hacker News
🔍Concolic Testing
Sketch 'n' Scribble: Scene and Dialogue Generator using Google AI Studio
dev.to·3h·
Discuss: DEV
🏛Digital humanities
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·4d
⚡Performance Mythology
Show HN: Voltpeek – A Vim inspired oscilloscope software
github.com·17h·
Discuss: Hacker News
📺VT100 Emulation