Lean4 Macros for Implementing Custom Quantifiers
๐คAI
Flag this post
Silicon Photonic Interconnected Chiplets With Computational Network And IMC For LLM Inference Acceleration (NUS)
semiengineering.comยท13h
๐คAI
Flag this post
I paired NotebookLM with my local LLM, and it's been a surprising game-changer
xda-developers.comยท2d
๐คAI Tools
Flag this post
Agentic coding with Google Jules
infoworld.comยท4h
๐คAI Tools
Flag this post
Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B
arxiv.orgยท8h
๐คAI Tools
Flag this post
Understanding Claude Code's Full Stack: MCP, Skills, Subagents, and Hooks Explained | alexop.dev
๐คAI Tools
Flag this post
Quantifying Edits Decay in Fine-tuned LLMs
arxiv.orgยท8h
๐คAI Tools
Flag this post
Why Every Developer Should Learn Prompt Engineering This Year
pub.towardsai.netยท3h
๐คAI Tools
Flag this post
Beyond the Basics: 5 Advanced Prompting Strategies that Turn LLMs into Autonomous Agents (Prompt Engineering for Devs - Part 3)
๐คAI Tools
Flag this post
DevMind - AI-Powered Developer Second Brain
๐คAI Tools
Flag this post
Provable Benefit of Curriculum in Transformer Tree-Reasoning Post-Training
arxiv.orgยท8h
๐คAI Tools
Flag this post
Loading...Loading more...