A new paradigm for programming: graph oriented programming
kmx.io·22h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Setting up an Activepieces development environment
dri.es·12h
🌍Distributed Systems
Flag this post
La Nina And The Cost Of A Volatile Winter For Utility Providers
forbes.com·8h
🎲Probabilistic Programming
Flag this post
How to implement resource-based authorization (resource-based vs. role-based vs. attribute-based)
cerbos.dev·8h·
Discuss: r/programming
🔐Cryptography
Flag this post
Heptabase Updates - Web Tab, AI Suggestions for Related Cards, and more!
wiki.heptabase.com·1d
🧭SMT Solvers
Flag this post
Mariposa: a lightweight Swift CLI to automate sharing blog posts to social media
jessesquires.com·6h
🦀Rust
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·3d
⚖️Logic Programming
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·2d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🎲Probabilistic Programming
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·2d·
Discuss: Hacker News, r/programming
🧮Programming Language Theory
Flag this post
The Downside of Anthropomorphizing
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔄Category Theory
Flag this post
How to Build AI-Ready Government Agencies: A Data Modernization Foundation
blog.min.io·8h
🏗️Software Architecture
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Flag this post
Refactoring English: Month 11
mtlynch.io·22h
🧮Programming Language Theory
Flag this post
The worst way to use AI for your productivity
codiris.build·6h·
Discuss: Hacker News
🏗️Software Architecture
Flag this post
Continuous Autoregressive Language Models : Alternate for traditional LLMs, paper by Tencent
reddit.com·1d·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Flag this post
RefusalBench: Generative Evaluation of Selective Refusal in Grounded LanguageModels
paperium.net·16h·
Discuss: DEV
🔗Parser Combinators
Flag this post
Model Context Protocol (MCP Servers): The Infrastructure Layer That Makes AI Agentic
pub.towardsai.net·1h
🤝Protocol Design
Flag this post
Probabilistic Textual Time Series Depression Detection
arxiv.org·17h
🎲Probabilistic Programming
Flag this post
<p>**Abstract:** This research proposes a novel system for automated anomaly detection and predictive maintenance in hypoid gear trains, leveraging a combinatio...
freederia.com·17h
🎲Probabilistic Programming
Flag this post
AI-Driven Optimization of Zeolite Synthesis via Reinforcement Learning & Multi-Objective Bayesian Optimization
dev.to·18h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post