HNHacker News
TopNewBestAskShowJobs

elo02

2 karma · joined March 7, 2014

submissionscomments
elo02··on Kimi-K3 on HuggingFace
I heard this is the talk in town these days. Why can't Meta keep up? With >10000000x more resources you'd think that they'd be able to introduce equally performant if not better open weight models
elo02··on Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source
"In addition, much of the work on Cryptol has been funded by, and lots of design input was provided by the team at the NSA’s Trusted Systems Research Group, including Brad Martin, Frank Taylor and Sean Weaver."