XProc 3 Steps as XSpec Test Helper Functions
medium.com·1d
🔀XSLT
Experimentation
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com
📊Static Analysis
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·2d
🔲Cellular Automata
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·1d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Why it took 4 years to get a lock files specification
snarky.ca·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔄Language Evolution
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
💻Local LLMs
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·4d·
Discuss: Hacker News
🔬Refinement Types
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·5d
🎯Proof Tactics
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
Tech With Tim: How to Build AI Agents in Python
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
The Automatic Door System: With Statements Explained
dev.to·3d·
Discuss: DEV
🧠Program Logic
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.org·3d
🧮SMT Solvers
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·2d
✨Effect Handlers
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·2d·
Discuss: Hacker News
📝Log Parsing
Decoding Activation Functions: A Nine-Dimensional Signature for Network Harmony
dev.to·8h·
Discuss: DEV
📊Learned Metrics