a___'s Top FindsLoading...
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.devยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Meta returns to open source AI with Omnilingual ASR models that can transcribe 1,600+ languages natively
venturebeat.comยท3h
๐Ÿค–AI
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
UN Climate Talks Begin in Brazil
heatmap.newsยท11h
๐Ÿ›Politics
Flag this post
Red, green, refactor: writing perfect Go, with TDD
bitfieldconsulting.comยท12h
๐Ÿ’ปProgramming Languages
Flag this post
AI Wealth Managers and Smart Contracts = Dead People Controlling Money Forever
lightcapai.medium.comยท9hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Philosopher: AI is not a tool, but an instrument of power
heise.deยท4h
๐Ÿค–AI
Flag this post
Enhancing Public Speaking Skills in Engineering Students Through AI
arxiv.orgยท19h
๐Ÿค–AI
Flag this post
Simplex-FEM Networks (SiFEN): Learning A Triangulated Function Approximator
arxiv.orgยท19h
๐Ÿค–AI
Flag this post
Building an ML Language from Scratch: Introducing Charl
dev.toยท10hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Day 1756: "Did nothing but complain."
kill-the-newsletter.comยท1h
๐Ÿ›Politics
Flag this post
News of the Week (November 9th, 2025)
politicalhat.comยท1d
๐Ÿ›Politics
Flag this post
How to use Claude Code for big tasks without turning your code to shit
holdtherobot.comยท4hยท
Discuss: Hacker News
Flag this post
Rust-SFSM 1.0.0
reddit.comยท2dยท
Discuss: r/rust
๐Ÿ’ปProgramming Languages
Flag this post
Experiments in Autonomous AI Development
kenforthewin.github.ioยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Make AI Your Copilot, Not Your Autopilot
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Imperative to Relational
madhadron.comยท1dยท
๐Ÿ’ปProgramming Languages
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.comยท1dยท
Discuss: Substack
๐Ÿ’ปProgramming Languages
Flag this post
Adaptive AI: Making Edge Inference Smart and Fast by Arvind Sundararajan
dev.toยท3hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Liberal fury over shutdown deal convulses Democrats
thehill.comยท2h
๐Ÿ›Politics
Flag this post