Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
💻programming
Flag this post
🎲 Weeknotes 2025 W45: Polymorphic
denisdefreyne.com·15h
💻programming
Flag this post
Analysis of 422 Claude conversations finds high anthropomorphism, low boundaries
myyearwithclaude.substack.com·3d·
Discuss: Substack
🦀Rust
Flag this post
Show HN: Deepfakecheck.com – AI deepfake detector (25 free scans for launch)
news.ycombinator.com·13h·
Discuss: Hacker News
🔌API
Flag this post
アニメ『狼と香辛料 MERCHANT MEETS THE WISE WOLF』第2期ティザービジュアルが公開
news.jp·4h
🦀Rust
Flag this post
ArahiAI – A no-code platform for building AI agents that take real actions
news.ycombinator.com·3d·
Discuss: Hacker News
🔌API
Flag this post
Selective Diabetic Retinopathy Screening with Accuracy-Weighted Deep Ensembles and Entropy-Guided Abstention
arxiv.org·4h
🦀Rust
Flag this post
Stop Using Boring Stock Photos! 5 Free AI Image Generators for Your Next
dev.to·14h·
Discuss: DEV
🦀Rust
Flag this post
QueST: Incentivizing LLMs to Generate Difficult Problems
dev.to·1d·
Discuss: DEV
💻programming
Flag this post
Latest Multi-Agentic AI For Mental Health Makes Use Of Clever Socratic Dialoguing For Cognitive Behavioral Therapy
forbes.com·1d
🗄Databases
Flag this post
OmniVinci: Enhancing Architecture and Data for Omni-Modal Understanding LLM
paperium.net·2d·
Discuss: DEV
💻programming
Flag this post
A Practical Guide to Building AI Agents with Java and Spring AI - Part 2 - Add Memory
dev.to·1h·
Discuss: DEV
🗄Databases
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·4h
🦀Rust
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·1d
💻programming
Flag this post
Guardian-regularized Safe Offline Reinforcement Learning for Smart Weaning of Mechanical Circulatory Devices
arxiv.org·4h
💻programming
Flag this post
On the Mechanisms of Collaborative Learning in VAE Recommenders
arxiv.org·4h
🗄Databases
Flag this post