What Is an AI SOC Agent? What You Need to Know About the Most Strategic Operational Imperative in Cybersecurity Today
intezer.com·52m
🎯Threat Hunting
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Godel's Incompleteness Theorem
news.ycombinator.com·2h·
Discuss: Hacker News
🔤Type Theory
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4h·
Discuss: Substack
🦀Rust Macros
LLM Agent Lineages with Active Death and Rebirth
danieltan.weblog.lol·1d·
Discuss: Hacker News
⚙️TLA+
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·1d
🎯Performance Proofs
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·23h
💾Persistence Strategies
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·6h·
Discuss: DEV
🤖Lisp Machines
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
arxiv.org·15h
📐Linear Algebra
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
An All-Around Better Horse
patrickhebron.com·1h·
Discuss: Hacker News
🧠Knowledge Management