Going to DEFCON? See my talk, "We are currently clean on OPSEC": The Signalgate Saga
micahflee.com·1d
🕳️Information Leakage
The way we train AIs makes them more likely to spout bull
newscientist.com·1d
⚡Proof Automation
IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·3d
⚙️Proof Engineering
Medium review
techradar.com·1d
📡RSS Automation
fresh home build coming soon
forums.anandtech.com·9h
🔄Reproducible Builds
F1 Hungarian GP LIVE: Qualifying start time and schedule as Norris and Piastri fight for pole
the-independent.com·12h
📰SGML
★ The Substack Branding and Faux Prestige Trap
daringfireball.net·3h
📡RSS
Got my best friend into linux and now hes falling down the rabbithole
reddit.com·1d·
Discuss: r/linux
🕹️Retro Gaming
How I Used Strategy to Score 85% in Final Year — And How I’d Use ChatGPT to Do It Faster Today
dev.to·1d·
Discuss: DEV
⚡Proof Automation
The Politics of Masks
nytimes.com·1d
🧅Tor Networks
UnsafeChain: Enhancing Reasoning Model Safety via Hard Cases
arxiv.org·3d
🧠Separation Logic
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·2d
🧠Machine Learning
Machine Learning Fundamentals: logistic regression example
dev.to·2d·
Discuss: DEV
🧠Machine Learning
StepFun Built an Efficient and Cost-Effective LLM Storage Platform with JuiceFS
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Python OpenAI API create Pinecone embeddings from PDF documents and RAG examples
github.com·5d·
Discuss: Hacker News
⚡Proof Automation
Local Attention Mechanism: Boosting the Transformer Architecture for Long-Sequence Time Series Forecasting
arxiv.org·3d
📈Time Series
FASTopoWM: Fast-Slow Lane Segment Topology Reasoning with Latent World Models
arxiv.org·1d
🧠Machine Learning
Vector Embeddings and Vector Search
dev.to·1d·
Discuss: DEV
🔍Semantic Search
Programming Is Becoming Prompting
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Customize Multi-modal RAI Guardrails with Precedent-based predictions
arxiv.org·4d
📊Learned Metrics