Skip to content

Forem

Artificial Intelligence

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

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Nobuki Fujimoto

Apr 27

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai

9 min read

Eduardo Villão

Apr 27

In the AI Era, Soft Skills Are the Hard Skills

#ai #career #productivity #programming

3 min read

Apr 27

archery-cli: A psql-style CLI for Archery — Query Databases from Terminal or AI Agents

#showdev #ai #cli #sql

3 min read

Cover image for AWS Bedrock AgentCore: VPC Mode Still Leaks DNS After Unit 42 Disclosure

Mariusz Gębala

Apr 27

AWS Bedrock AgentCore: VPC Mode Still Leaks DNS After Unit 42 Disclosure

#aws #security #ai #devops

2 min read

Apr 28

Vinkius.com: 2,500+ Production-Ready MCP Apps — Connect Your Agent and Go

#mcp #ai #agents #developers

2 min read

soy

Apr 27

Local LLM Acceleration, Framework Comparisons, & Ollama Observability

#ai #llm #selfhosted

4 min read

Cover image for Adding a Stateful Trust Boundary to a LangGraph Agent

Apr 27

Adding a Stateful Trust Boundary to a LangGraph Agent

#ai #langgraph #security #python

11 min read

Apr 27

Building a phone-call-style AI voice assistant in pure Python

#ai #python #whisper #voice

5 min read

Apr 27

What CISOs Get Wrong About AI Risk

#ai #cybersecurity #management #security

4 min read

Antonio A

Apr 27

Building PulseOps with Pydantic AI and Logfire: Predicting London Bus Delays Before They Happen

#pydantic #ai #hackathon

4 min read

Cover image for The Blueprint for Modern Data Orchestration

May 2

The Blueprint for Modern Data Orchestration

#airflow #dataengineering #dataops #ai

5 min read

Cover image for I Built a Spatial Audio Radar ft. Vibe Code Arena

YASHWANTH REDDY K

Apr 27

I Built a Spatial Audio Radar ft. Vibe Code Arena

#llm #ai #vibecodearena #hackerearth

4 min read

Apr 27

From Stochastic Drifting to Vector Anchors: How I Solved Voice Consistency in Qwen TTS

#ai #tts #machinelearning #architecture

3 min read

Cover image for Four Proven Reasons Your Engineering Standards Never Stick

Apr 27

Four Proven Reasons Your Engineering Standards Never Stick

#ai #programming #leadership #softwareengineering

5 min read

Cover image for I built a 5-phase design system that turns "I have an app idea" into a TDD prompt

May 1

I built a 5-phase design system that turns "I have an app idea" into a TDD prompt

#ai #claude #productivity #webdev

3 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.