DEV Community

Artificial Intelligence

Artificial intelligence leverages computers and machines to mimic the problem-solving and decision-making capabilities found in humans and in nature.

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Lean 4 101 for Python Programmers: A Gentle Introduction to Theorem Proving
shrsv profile

Lean 4 101 for Python Programmers: A Gentle Introduction to Theorem Proving

#ai #webdev #programming #productivity
5
Comments
5 min read
Building an app against doom-scrolling – while doom-scrolling
grossbyte profile

Building an app against doom-scrolling – while doom-scrolling

#ios #swift #ai #devjournal
Comments
5 min read
nvidia-peermem "Invalid argument" on Ubuntu — Fix GPUDirect RDMA with DMA-BUF
fpolica91 profile

nvidia-peermem "Invalid argument" on Ubuntu — Fix GPUDirect RDMA with DMA-BUF

#nvidia #nvidiapeermem #ai #hpc
2
Comments
3 min read
How I use premortems with Claude and Codex

Bypassing AI politeness with failure framing
pablonax profile

How I use premortems with Claude and Codex

#ai #claude #llm #tooling
53
Comments 6
5 min read
How Apps Know What You Want Next?
lovestaco profile

How Apps Know What You Want Next?

#ai #machinelearning #programming #datascience
27
Comments
7 min read
What a Fractional CTO Actually Ships at an AI Startup
elenarevicheva profile

What a Fractional CTO Actually Ships at an AI Startup

#ai #programming #machinelearning
1
Comments
6 min read
The Semantic Tug-of-War: Who Will Own AI Oversight — and Does the Name Actually Matter?
tegrity_ai profile

The Semantic Tug-of-War: Who Will Own AI Oversight — and Does the Name Actually Matter?

#discuss #ai #leadership #management
Comments
6 min read
Why you can’t just cache everything (privacy, safety, and reality)
joshua_chukwu_ccb92f05a94 profile

Why you can’t just cache everything (privacy, safety, and reality)

#ai #webdev #machinelearning #programming
Comments
3 min read
I Switched to the Agent Toolkit for AWS. Here's Why.

Focus on audit trails and guardrails
rohini_gaonkar profile

I Switched to the Agent Toolkit for AWS. Here's Why.

#aws #mcp #ai #devtools
25
Comments 13
5 min read
How Todo4you's MCP server lets Claude (and other AI) manage your project Kanban board
jorden_25601263568 profile

How Todo4you's MCP server lets Claude (and other AI) manage your project Kanban board

#ai #productivity #webdev #git
Comments
3 min read
Your AI agent has sudo. I built a tool to take it away.
hasanmehmood profile

Your AI agent has sudo. I built a tool to take it away.

#ai #security #mcp #python
1
Comments 1
5 min read
Claude Opus 4.7 vs 4.6
speedy_devv profile

Claude Opus 4.7 vs 4.6

#claude #claudeopus #ai #developertools
Comments
5 min read
Stop chatting with Claude Code: 3 rules for cleaner context and lower bills
ouvarov profile

Stop chatting with Claude Code: 3 rules for cleaner context and lower bills

#ai #claude #productivity #devtools
Comments
10 min read
How to Build a Signal-to-Action Workflow Without Writing a Monolith
spuriqai profile

How to Build a Signal-to-Action Workflow Without Writing a Monolith

#ai #python #architecture #webdev
Comments
8 min read
I gave my LLM 100,000+ tools. Here is what happened
v3rm1ll1on profile

I gave my LLM 100,000+ tools. Here is what happened

#mcp #ai #architecture #opensource
1
Comments
4 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.