Idris, Agda, Proof Assistants, Type-Level Programming
MoonScript, a language that compiles to Lua
moonscript.orgยท14h
Doodling icons in a grid
sachachua.comยท2d
7 Practical Techniques to Reduce LLM Hallucinations
analyticsvidhya.comยท4d
Building a small DSL for 3D with python.
m0th.bearblog.devยท4d
The Three Faces of Generative AI
cmswire.comยท1d
Mira Muratiโs Thinking Machines launches first product, Tinker
siliconrepublic.comยท1d
ICL Optimized Fragility
arxiv.orgยท1d
Improving Cryptocurrency Pump-and-Dump Detection through Ensemble-Based Models and Synthetic Oversampling Techniques
arxiv.orgยท1d
Thinking Machines' first official product is here: meet Tinker, an API for distributed LLM fine-tuning
venturebeat.comยท2d
Securing generative artificial intelligence with parallel magnetic tunnel junction true randomness
arxiv.orgยท10h
Representational Alignment Across Model Layers and Brain Regions with Hierarchical Optimal Transport
arxiv.orgยท10h
BioVERSE: Representation Alignment of Biomedical Modalities to LLMs for Multi-Modal Reasoning
arxiv.orgยท10h
LLVM Weekly - #393, July 12th 2021
llvmweekly.orgยท1d
Loading...Loading more...