DEV Community

Programming

The magic behind computers. ðŸ’ŧ 🊄

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 days
axrisi profile

Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 days

#news #ai #claude #programming
Comments
8 min read
GPUParticles2D vs CPUParticles2D in Godot 4 — which and when
saltmire profile

GPUParticles2D vs CPUParticles2D in Godot 4 — which and when

#godot #gamedev #tutorial #programming
1
Comments
4 min read
Muon: What Happens When an LLM Optimizer Treats a Weight Matrix Like a Matrix
shrsv profile

Muon: What Happens When an LLM Optimizer Treats a Weight Matrix Like a Matrix

#ai #webdev #programming #productivity
5
Comments
11 min read
Forward Deployed Engineer, What It Is and When to Hire One
md_fahadmia_94ada001244f profile

Forward Deployed Engineer, What It Is and When to Hire One

#webdev #fde #programming
Comments 1
1 min read
Saving Expert Advisor State Across Restarts in MQL5
omaisali profile

Saving Expert Advisor State Across Restarts in MQL5

#mql5 #programming #algotrading #tutorial
1
Comments 6
3 min read
GPT-4o Is Retiring From the API: What to Do Before January 14, 2027
toolpilotpro profile

GPT-4o Is Retiring From the API: What to Do Before January 14, 2027

#ai #openai #api #programming
Comments
4 min read
Gemma 4 āđ‚āļĄāđ€āļ”āļĨ open āļ‚āļ­āļ‡ Google 5 āļ‚āļ™āļēāļ” āļˆāļēāļāļĄāļ·āļ­āļ–āļ·āļ­āļ–āļķāļ‡āđ€āļ§āļīāļĢāđŒāļāļŠāđ€āļ•āļŠāļąāļ™
sarantoon profile

Gemma 4 āđ‚āļĄāđ€āļ”āļĨ open āļ‚āļ­āļ‡ Google 5 āļ‚āļ™āļēāļ” āļˆāļēāļāļĄāļ·āļ­āļ–āļ·āļ­āļ–āļķāļ‡āđ€āļ§āļīāļĢāđŒāļāļŠāđ€āļ•āļŠāļąāļ™

#ai #machinelearning #opensource #programming
Comments
2 min read
Does finally Run Before return? What javac Actually Does
nazrinsuleymanli profile

Does finally Run Before return? What javac Actually Does

#java #jvm #interview #programming
Comments
5 min read
How I Built a Windows Version of Ghostty in 3 Days with AI
lugia123 profile

How I Built a Windows Version of Ghostty in 3 Days with AI

#ai #opensource #programming #rust
Comments 1
10 min read
I burned out. Now I don't know how to start again.

Devs debate community burnout cures
embernoglow profile

I burned out. Now I don't know how to start again.

#discuss #help #productivity #programming
140
Picked as gem Comments 109
2 min read
What Do You Drink While You Work?

Character traits revealed through coffee choices
xulingfeng profile

What Do You Drink While You Work?

#discuss #career #programming #webdev
107
Comments 220
2 min read
AI Model vs. Agentic Harness: The Term That Finally Names Agent Governance
ramon_melendezjuarez profile

AI Model vs. Agentic Harness: The Term That Finally Names Agent Governance

#ai #agents #architecture #programming
Comments
1 min read
Concurrency Programming (8): Read-Write Locks — From Language Rules to the CPU
thinkerqaq profile

Concurrency Programming (8): Read-Write Locks — From Language Rules to the CPU

#backend #computerscience #java #programming
Comments
13 min read
āļŦāļĨāļąāļ‡ Gemma 4 āļĄāļĩāļ­āļ°āđ„āļĢāļ•āļēāļĄāļĄāļē āđ‚āļĄāđ€āļ”āļĨāđƒāļŦāļĄāđˆ 7 āļ•āļąāļ§āļ—āļĩāđˆāļ„āļ™āļĢāļąāļ™āđ€āļ­āļ‡āļ„āļ§āļĢāļĢāļđāđ‰ āļ›āļĩ 2026
sarantoon profile

āļŦāļĨāļąāļ‡ Gemma 4 āļĄāļĩāļ­āļ°āđ„āļĢāļ•āļēāļĄāļĄāļē āđ‚āļĄāđ€āļ”āļĨāđƒāļŦāļĄāđˆ 7 āļ•āļąāļ§āļ—āļĩāđˆāļ„āļ™āļĢāļąāļ™āđ€āļ­āļ‡āļ„āļ§āļĢāļĢāļđāđ‰ āļ›āļĩ 2026

#ai #machinelearning #opensource #programming
Comments
2 min read
āļ—āļ”āļŠāļ­āļš MCP Server āļ­āļąāļ•āđ‚āļ™āļĄāļąāļ•āļī 4 āļŠāļąāđ‰āļ™ āļˆāļēāļ Unit Test āļ–āļķāļ‡ CI āļžāļĢāđ‰āļ­āļĄāļ•āļąāļ§āļ­āļĒāđˆāļēāļ‡āļˆāļĢāļīāļ‡
sarantoon profile

āļ—āļ”āļŠāļ­āļš MCP Server āļ­āļąāļ•āđ‚āļ™āļĄāļąāļ•āļī 4 āļŠāļąāđ‰āļ™ āļˆāļēāļ Unit Test āļ–āļķāļ‡ CI āļžāļĢāđ‰āļ­āļĄāļ•āļąāļ§āļ­āļĒāđˆāļēāļ‡āļˆāļĢāļīāļ‡

#ai #programming #testing #productivity
Comments
2 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.