On texml and texml-to-html
peterkrautzberger.org·1d
📐Document Algebra
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
📐Linear Algebra
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·2d
⚡Proof Automation
Codeminer42 Dev Weekly #71
blog.codeminer42.com·1d
🌀Brotli Internals
Age and Authenticated Encryption
words.filippo.io·12h·
Discuss: Hacker News
🔐Homomorphic Encryption
Building an MCP Server with FastAPI and FastMCP
speakeasy.com·1d·
Discuss: Hacker News
🔌Interface Evolution
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
Measuring Engineering
fffej.substack.com·1h·
Discuss: Substack
📏Code Metrics
For a human, AI is just a part of being. For a model, a human is all of being
habr.com·15h·
Discuss: Hacker News
🔲Cellular Automata
The Link Between Metaverse Coins and Virtual Real Estate Bubbles
hackernoon.com·12h
🧬Bitstream Evolution
Cryptography's Developer Dilemma: An Urgent Call for API Research
hackernoon.com·1d
🔐Cryptographic Archaeology
Agentic AI framework for End-to-End Medical Data Inference
arxiv.org·2d
🧠Machine Learning
SIFOTL: A Principled, Statistically-Informed Fidelity-Optimization Method for Tabular Learning
arxiv.org·2d
💻Local LLMs
📈 Code quality improvement after switching to task automatio
dev.to·1h·
Discuss: DEV
🐚Shell Automation
HIVMedQA: Benchmarking large language models for HIV medical decision support
arxiv.org·2d
🚀SIMD Text Processing
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·2d
🔲Cellular Automata
StakeRunner - Automating the Future of Crypto Gambling
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
Python Fundamentals: classes
dev.to·4d·
Discuss: DEV
💧Liquid Types
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·4d
🧠Intelligence Compression