Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
💻programming
Flag this post
Latest Multi-Agentic AI For Mental Health Makes Use Of Clever Socratic Dialoguing For Cognitive Behavioral Therapy
forbes.com·22h
🗄Databases
Flag this post
🎲 Weeknotes 2025 W45: Polymorphic
denisdefreyne.com·12h
💻programming
Flag this post
Analysis of 422 Claude conversations finds high anthropomorphism, low boundaries
myyearwithclaude.substack.com·3d·
Discuss: Substack
🦀Rust
Flag this post
Everything You Need to Know About LLM Evaluation Metrics
machinelearningmastery.com·19h
💻programming
Flag this post
LSP is coming to Claude Code and you can try it now
reddit.com·17h·
Discuss: r/ClaudeAI
💻programming
Flag this post
Show HN: Deepfakecheck.com – AI deepfake detector (25 free scans for launch)
news.ycombinator.com·10h·
Discuss: Hacker News
🔌API
Flag this post
I Built an App That Makes Learning Algorithms Way Easier
dev.to·11h·
Discuss: DEV
🦀Rust
Flag this post
Open source executable recipes for Claude, Codex and others.
reddit.com·4d·
Discuss: r/ClaudeAI
💻programming
Flag this post
QueST: Incentivizing LLMs to Generate Difficult Problems
dev.to·1d·
Discuss: DEV
💻programming
Flag this post
OmniVinci: Enhancing Architecture and Data for Omni-Modal Understanding LLM
paperium.net·2d·
Discuss: DEV
💻programming
Flag this post
What if your app's logic was written in... plain English? A crazy experiment with on-device LLMs!
dev.to·1d·
Discuss: DEV
💻programming
Flag this post
Associative Poisoning to Generative Machine Learning
arxiv.org·1d
🦀Rust
Flag this post
Preparation of Fractal-Inspired Computational Architectures for Advanced Large Language Model Analysis
arxiv.org·1h
🦀Rust
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·1d
💻programming
Flag this post
On the Mechanisms of Collaborative Learning in VAE Recommenders
arxiv.org·1h
🗄Databases
Flag this post
Pixel-level fishing bot for WoW
reddit.com·7h·
Discuss: r/golang
🦀Rust
Flag this post
IonQ's Q3: Inflection Is Near
seekingalpha.com·18h
💻programming
Flag this post
CAMP-VQA: Caption-Embedded Multimodal Perception for No-Reference Quality Assessment of Compressed Video
arxiv.org·1h
🦀Rust
Flag this post