Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·1d·
Discuss: Hacker News
👁️System Observability
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·23h·
Discuss: Hacker News
🧮Lambda Calculus
Cliodynamics – History as Science
peterturchin.com·7h·
Discuss: Hacker News
Process Calculi
Page Object (2013)
martinfowler.com·1d·
Discuss: Hacker News
📊Runtime Verification
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·1d·
Discuss: Hacker News
📺Vintage Apple
A Case to Increase Variance
rishigurjar.com·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Building the AI-powered local smart home
home-assistant.io·1d·
Discuss: Hacker News
🏠HomeLab
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·16h·
Discuss: Hacker News
🐫Embedded OCaml
Monitoring Claude Code with OpenTelemetry
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
arxiv.org·3d
🐫Embedded OCaml
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·1d
🧩Parser Combinators
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·3d
📦Unikernel Systems
Bias in the Loop: How Humans Evaluate AI-Generated Suggestions
arxiv.org·1d
Automated Theorem Proving
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·1d
📚Automata Learning
The Majority is not always right: RL training for solution aggregation
arxiv.org·3d
🎮Verification Games
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·3d
🤖Program Synthesis
Reverse Engineering a Robot Mower’s Fence
hackaday.com·1d
🩹Self-Healing Systems
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·18h·
Discuss: Hacker News
🌐NetworkProtocols
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·3d
🎮Verification Games
Just Enough Automation
bevel.work·1d·
Discuss: Hacker News
🤖Program Synthesis