are-dependent-types-actually-erased
๐ทC++
Flag this post
Bullying Is Not Innovation
๐Cryptography
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.orgยท4d
๐Cryptography
Flag this post
Experts find flaws in hundreds of tests that check AI safety and effectiveness
๐Cryptography
Flag this post
Understanding Financial Functions in Excel
๐HFT
Flag this post
Speedrunning an RL Environment
๐Cryptography
Flag this post
We need to give LLMs human-like vision
๐Cryptography
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.orgยท1d
๐Cryptography
Flag this post
Show HN: LayoffKit โ Free visa-aware planner for laid-off workers(AI+automation)
๐HFT
Flag this post
The Noise and the Signal
๐Cryptography
Flag this post
There is no such thing as conscious artificial intelligence โ Nature
๐Cryptography
Flag this post
Show HN: JobsAndAI โ Personalized career risk analysis for AI disruption
โ๏ธPlasma Physics
Flag this post
Why AI Can't Write Good Software
๐Cryptography
Flag this post
Loading...Loading more...