(PR) NEC Provides Computing Power for OCTOPUS Supercomputer at Osaka University
techpowerup.com·1d
📐formal specification
Digital Entertainment Leadership Forum 2025 Kicks Off Today
zawya.com·1d
🤖AI
Gauss, an Agent for Autoformalization
math.inc·2d·
Discuss: Hacker News, Hacker News, Hacker News
🔧PLT
A fake Clojure Object equals to what you want
grishaev.me·2d
🪜Scala
The PDF That Broke ChatGPT
surgehq.ai·22h·
Discuss: Hacker News
📐formal specification
Show HN: Let the internet control your framed e-ink display
github.com·1d·
Discuss: Hacker News
🤖AI
Rhoda’s entire ace attorney wiki page because I was bored
i.redd.it·12h·
Discuss: r/rhodateneiro_cult
🤖AI
Spiral
spiraldb.com·2d·
Discuss: Hacker News
🔍Static Analysis
Building a Free AI-Powered ATS Checker: From Problem to Production
aiatschecker.com·1d·
Discuss: DEV
🤖AI
What misconceptions you have/had about software/hardware?
reddit.com·1d·
Discuss: r/AskProgramming
🔍Static Analysis
Israel National Archaeological Database, FIFA Football Jurisprudence Database, Apple , More: Thursday ResearchBuzz, September 11, 2025
researchbuzz.me·2d
🤖AI
First project
reddit.com·1d·
Discuss: r/gamedev
🤖AI
I Used Autogen GraphFlow and Qwen3 Coder to Solve Math Problems — And It Worked
dev.to·3d·
Discuss: DEV
🤖AI
YouTube Storybook Converter
dev.to·13h·
Discuss: DEV
🤖AI
Road Accident Report - AI Assistant
dev.to·7h·
Discuss: DEV
🤖AI
Enhanced Drug Repurposing via Multi-Modal Network Analysis & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🤖AI
Distro Discoveries (from a first-time user)
reddit.com·1d·
Discuss: r/linux
🤖AI
Journey into Collaborative Innovation
dev.to·4d·
Discuss: DEV
🔧PLT
🚀 Getting Started with Python: A Beginner’s Guide
dev.to·16h·
Discuss: DEV
🔧PLT
Packers fans chant 'Thank you, Jerry,' as Micah Parsons delivers again
nytimes.com·1d
🦀Rust