Appears on
Articles9
H
Reasonix: Open-source terminal AI coding agent optimized for DeepSeek's prefix-cache
0
esengine.github.io1mo agoH
MiniZinc: A Free, Open-Source Constraint Modeling Language for Optimization Problems
0
minizinc.org2mo agoH
Moonshot AI Open-Sources Kimi Vendor Verifier for Model Implementation Verification
0
kimi.com2mo ago
WebMCP API: JavaScript Interface for Exposing Web Apps as AI Tools
News
0
webmachinelearning.github.io5mo ago
Fake 7-Zip Website Distributes Malware That Turns Computers into Proxy Nodes
News
0
malwarebytes.com5mo ago
Xr0: A Verification Tool for Safer C Programming
News
0
xr0.dev6mo ago
GTA: Vice City Browser Implementation Removed Due to DMCA Takedown from Take-Two
News
0
dos.zone7mo ago
New AI Architectures: Titans and MIRAS Enable Long-Term Memory for Transformers
Insight
0
research.google7mo agoH
Applying Markov Chains for Effective Problem Solving in Statistics
Insight
0
jstor.org11mo ago