Lean4 Macros for Implementing Custom Quantifiers
๐ค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
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
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
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
Rust-SFSM 1.0.0
๐ปProgramming Languages
Flag this post
Experiments in Autonomous AI Development
๐คAI
Flag this post
Imperative to Relational
๐ปProgramming Languages
Flag this post
Prioritize Economy or Climate Action? Investigating ChatGPT Response Differences Based on Inferred Political Orientation
arxiv.orgยท19h
๐Politics
Flag this post
Liberal fury over shutdown deal convulses Democrats
thehill.comยท2h
๐Politics
Flag this post
Loading...Loading more...