Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·2d·
Discuss: Hacker News
👁️System Observability
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Page Object (2013)
martinfowler.com·2d·
Discuss: Hacker News
📊Runtime Verification
Subgrid: how to line up elements to your heart’s content
webkit.org·12h·
Discuss: Hacker News, r/webdev
🍎Apple
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·2d·
Discuss: Hacker News
📺Vintage Apple
Washback Effect
en.wikipedia.org·17h·
Discuss: Hacker News
🧪Property-Based Testing
Building the AI-powered local smart home
home-assistant.io·2d·
Discuss: Hacker News
🏠HomeLab
Babies and LLMs
blog.karliner.net·14h·
Discuss: Hacker News
➡️Category Theory
Monitoring Claude Code with OpenTelemetry
signoz.io·2d·
Discuss: Hacker News
👁️System Observability
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·4d
🎮Verification Games
No, AI won’t take all the jobs. Here’s why.
freethink.com·18h·
Discuss: Hacker News
🧠Automated Reasoning
This Week in Security: NPM, Kerbroasting, and The Rest of the Story
hackaday.com·17h
📊Runtime Verification
Just Enough Automation
bevel.work·2d·
Discuss: Hacker News
🤖Program Synthesis
I wish my web server were in the corner of my room
interconnected.org·11h·
Discuss: Hacker News
🖥Self-Hosting
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·2d
🧩Parser Combinators
Trusting builds with Bazel remote execution
blogsystem5.substack.com·16h·
Discuss: Substack
🧱Immutable Infrastructure
Evaluating the Efficiency of Latent Spaces via the Coupling-Matrix
arxiv.org·4d
📚Automata Learning
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·2d
📝Term Rewriting
Human-Hardware-in-the-Loop simulations for systemic resilience assessment in cyber-socio-technical systems
arxiv.org·4d
🩹Self-Healing Systems
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·2d
🎮Verification Games