⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Building Agentic Workflows for my HomeLab
abhisaha.com·1d·
Discuss: Hacker News, r/javascript, r/selfhosted, r/webdev
🏠Homelab Orchestration
Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
Discuss: Hacker News
💧Liquid Types
My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
AI digital twins in supply chain execution
forbes.com·4h·
Discuss: Hacker News
🏠Homelab Orchestration
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·19h
🔗Topological Sorting
AI’s Impact on Secure DevOps and the Future of Secure Software Development
devops.com·13h
🔐Capability Systems
An All-Around Better Horse
patrickhebron.com·6h·
Discuss: Hacker News
🧠Knowledge Management
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Graph Databases
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
The Agent Testing Pyramid
rchaves.app·7h·
Discuss: Hacker News
🔍Concolic Testing
AI Security Posture Management (AISPM): How to Handle AI Agent Security
hackernoon.com·16h
🎯Threat Hunting
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🔍Concolic Testing
🚀 Stepping into Dev++ | Let’s Build the Future with AI 🤖
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·1d
💻Local LLMs
Containers are available in public beta for simple, and programmable compute
blog.cloudflare.com·1d·
Discuss: Hacker News
📦Container Security
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems