Solving a Wooden Puzzle Using Haskell
glocq.github.io·4h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Supply chain attacks are the new big thing (2022)
cryptologie.net·13h·
Discuss: Hacker News
📦Dependency Analysis
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1d
⚖️Inference Rules
CodeRabbit Competitors for Bug-Free, Faster AI Code Reviews
codeant.ai·13h·
Discuss: Hacker News
🚚Code Migration
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🪢Rope Data Structures
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·1d·
Discuss: DEV
🎲Test Generators
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.org·5h
🪜Recursive Descent
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·1d
📊Pratt Parsers
Adaptive Programming Systems for Humans and AI
gfrison.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·1d
🪜Recursive Descent
Leveraging Large Language Models to Effectively Generate Visual Data for Canine Musculoskeletal Diagnoses
arxiv.org·5h
🌱Minimal ML
Building Coding Agents via Entropy-Enhanced Multi-Turn Preference Optimization
arxiv.org·5h
🪜Recursive Descent
Code Reviews as Exploratory Testing
codemanship.wordpress.com·1d
🚚Code Migration
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·1d
🧪Testing Compilers
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·5h
🌳Tree Algorithms
xmake-io/xmake
github.com·2d
🔗Language Toolchains
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·1d
🪜Recursive Descent
**Python Geometric Algorithms: Point-in-Polygon, Convex Hull & Spatial Indexing Techniques**
dev.to·23h·
Discuss: DEV
🔢Algebraic Datatypes
Automated Generation of Research Workflows from Academic Papers: A Full-text Mining Framework
arxiv.org·5h
🗂️Term Indexing