08opeisbaar_inzepen's Top FindsLoading...
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·20h·
Discuss: Hacker News
🤖AI
Flag this post
A new project aims to predict how quickly AI will progress
economist.com·1h
🤖AI
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·30m
Flag this post
Model-Based GUI Automation (Springer SoSyM)
link.springer.com·20h·
Discuss: Hacker News
🤖AI
Flag this post
🎲 Here I Go(dot) Again
kaigulliksen.com·22h
⚡Productivity
Flag this post
We built an AI that does the tasks no human likes to repeat — meet Codedoc
everdone.ai·1h·
Discuss: DEV
Flag this post
“A.I.” browsers: the price of admission is too high
vivaldi.com·1h
Flag this post
🎲 AI requires resetting the frame
olivergilan.com·22h
🤖AI
Flag this post
“AI, Make Me A Degree Certificate”
hackaday.com·56m
Flag this post
From Copy-Pasting ChatGPT to Shipping Real Apps: 6 Months of Vibe Coding
vibe.forem.com·15h·
Discuss: DEV
⚡Productivity
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·10h
🤖AI
Flag this post
How to Integrate AI into Your App with Momen
dev.to·23h·
Discuss: DEV
🤖AI
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Social drives 1: “Sympathy Reward”, from compassion to dehumanization
lesswrong.com·1h
Flag this post
Condensation
lesswrong.com·20h
🤖AI
Flag this post
Use Case: CC and Sonnet 4.5 as system monitoring tool
reddit.com·20h·
Discuss: r/ClaudeAI
⚡Productivity
Flag this post
Generalization in Representation Models via Random Matrix Theory: Application to Recurrent Networks
arxiv.org·10h
🤖AI
Flag this post
Detecting Logo Similarity: Combining AI Embeddings with Fourier Descriptors
dev.to·23h·
Discuss: DEV
🤖AI
Flag this post
Stop Guessing! AI That Explains Its Algorithm Choices is Finally Here
dev.to·14h·
Discuss: DEV
🤖AI
Flag this post
AI's Cost: Human Displacement and Environmental Destruction
open.forem.com·20h·
Discuss: DEV
🤖AI
Flag this post
💡How to use AI tools for Investing & Smarter Research
threadreaderapp.com·3h
🤖AI
Flag this post