XProc 3 Steps as XSpec Test Helper Functions
medium.com·1d
🔀XSLT
Introducing PromptIntel
blog.securitybreak.io·6h
🎯Threat Hunting
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·1d·
📐Linear Algebra
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·3d·
🌳Incremental Parsing
Quantum computing is "mission crtical"
federalnewsnetwork.com·1d·
Discuss: Hacker News
⚛️Quantum Tape
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
🧮Algebraic Datatypes
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
Negatives of Coding with AI
kushgoyal.com·2d·
Discuss: Hacker News
💻Local LLMs
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·17h·
Discuss: DEV
🧮Kolmogorov Complexity
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·5d
🔗Parser Combinators
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to·1d·
Discuss: DEV
🤝Consensus Networks
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·2d
Effect Handlers
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·2d
Effect Handlers
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·2d·
Discuss: DEV
Format Validation
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·2d
Automated Theorem Proving
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·2d
🕵️Vector Smuggling
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·2d
🧮Kolmogorov Complexity
Tech With Tim: How to Build AI Agents in Python
dev.to·2h·
Discuss: DEV
🔲Cellular Automata