XProc 3 Steps as XSpec Test Helper Functions
medium.com·1d
🔀XSLT
Introducing PromptIntel
blog.securitybreak.io·4h
🎯Threat Hunting
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·1d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🌳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·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
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
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5d
⚡Proof Automation
The 9 Best CLIs with Artificial Intelligence
dev.to·8h·
Discuss: DEV
📟CLI Design
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·14h·
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
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
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·3d
🛡Cybersecurity
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·2d·
Discuss: DEV
✅Format Validation