Typechecker Zoo
stephendiehl.com·2d·
Discuss: Lobsters
💻Computer Science
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·2d·
Discuss: Lobsters, Hacker News
💻Programming
Finally, Local AI for Everyone — Thanks to Ollama’s New UI
pub.towardsai.net·7h
🤖AI
The Transformative Role of Generative AI in Software Development.
champsoft.com·1d·
Discuss: DEV
🤖AI
A beginner-friendly guide to learning Jax with practical examples
github.com·2d·
Discuss: Hacker News, r/LocalLLaMA
💻Programming
How Agentic AI Is Redefining Campus and Branch Network Needs
thenewstack.io·1d
🤖AI
Yet another algorithmic bias: A Discursive Analysis of Large Language Models Reinforcing Dominant Discourses on Gender and Race
arxiv.org·1d
🤖AI
Looking for a self-hosted PKM (with native apps and OIDC)
reddit.com·16h·
Discuss: r/selfhosted
💻Programming
Title: Meta's Approach to Superintelligence: Keeping Control with AI Models
dev.to·1h·
Discuss: DEV
🤖AI
C2C parcel logistics solution
reddit.com·1d·
Discuss: r/webdev
🤖AI
FSM for Python, Inspired by Gen_fsm
github.com·2d·
Discuss: Hacker News
🤖AI
ManagedCode.Communication – a complete Result Pattern project for .NET
github.com·3d·
Discuss: Hacker News
💻Programming
Introducing OxMPL - the Oxidised Motion-Planning Library
reddit.com·7h·
Discuss: r/rust
💻Programming
Lean UX: A Smarter Approach to Product Design for Businesses
dev.to·1d·
Discuss: DEV
💻Programming
Steering KIRO to Completion Less Effort, Less Stress
dev.to·1d·
Discuss: DEV
💻Programming
⭐ L3MON4D3 LuaSnip
waylonwalker.com·9h
💻Programming
Kubernetes - A Newbie's Overview
dev.to·1d·
Discuss: DEV
💻Computer Science
Memory Safety Meets Extreme Performance in Web Servers(8805)
dev.to·3d·
Discuss: DEV
💻Programming
Collaborative scheduling of seaport integrated energy, logistics, and vessels: A bi-level nash-stackelberg-nash game approach
sciencedirect.com·6h
💻Computer Science
HexStrike AI MCP Agents 6.0
packetstorm.news·2d
🤖AI