Verifying and testing timeliness constraints of Haskell programs
⚡Interpreter Optimization
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
A sample-efficient transfer learning framework for industrial remaining useful life prediction leveraging large language models
sciencedirect.com·1d
🪜Recursive Descent
Flag this post
Weekly Bookmarks
inkdroid.org·10h
🪢Rope Data Structures
Flag this post
<p>**Abstract:** This paper introduces a novel system for automated genome annotation and functional prediction, leveraging multi-modal data ingestion, semantic...
freederia.com·1d
📋Tablegen
Flag this post
My AI Stopped "Guessing" and Started "Thinking": Implementing a Planning & Reasoning Architecture
🎭Program Synthesis
Flag this post
Automated Regulatory Compliance Risk Assessment via Multi-Modal Knowledge Graph Fusion & Explainable AI
📊DataFrame Types
Flag this post
Releasing My First Open-Source CLI Tool: Lessons from Publishing Repository-Context-Packager
📦Package Managers
Flag this post
Building the PVS-Studio megapolis
🔬Code Analysis
Flag this post
AK-TSYS: An enhanced active learning Kriging model for time-dependent system reliability analysis
sciencedirect.com·1d
🔄Loop Optimization
Flag this post
YASA (Yet Another Static Analyzer)
🔍Static Analysis
Flag this post
Hephaestus Dev: 5 ready-to-use AI workflows for software development (PRD→Code, Bug Fix, Feature Dev, and more)
⚡Live Coding
Flag this post
Dingo: A Meta-Language for Go
🤖Embedded Go
Flag this post
The Offline Data Engineer: Building Resilient API Pipelines that Work on an Airplane
📋JSON Parsing
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
💬Interactive REPLs
Flag this post
Loading...Loading more...