🔍 Refinement Types - abnv · Scour

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·1d

🏗️Calculus of Constructions

Implementing constexpr parameters using C++26 reflection (kind of)

godbolt.org·3h·

Discuss: r/cpp

🔗Lexical Scoping

Lytok 2.0: A New Way to Handle Data Structures in JS/TS

dev.to·6h·

Discuss: DEV

🌈Gradual Languages

type++: Prohibiting Type Confusion with Inline Type Information

papers.cool·1d

🔮Type Inference Visualization

manifold/manifold-deps-parent/manifold-sql at master

github.com·15h·

Discuss: Hacker News

🗃️Query Compilation

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·20h

⚡Partial Evaluation

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·16h

📈Monotonic Logic

Towards the Systematic Testing of Regular Expression Engines

arxiv.org·4h

🧪Parser Testing

Structured Outputs for LLMs

ternarysearch.blogspot.com·1d·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance

cekrem.github.io·1d·

Discuss: Hacker News, r/programming

🚀Hindley-Milner+

TypeScript Decorators: From Basics to Advanced

slicker.me·1d·

Discuss: r/typescript

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

How do you handle domain-specific transformation logic without hardcoding it?

news.ycombinator.com·21h·

Discuss: Hacker News

🎨Domain-Specific Languages

KlongPy: Automatic Differentiation

klongpy.org·1h·

Discuss: Hacker News

⚡Partial Evaluation

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·11h·

Discuss: Hacker News

🤐Zipper Structures

The 185-Microsecond Type Hint

blog.sturdystatistics.com·11h·

Discuss: Lobsters, Hacker News, r/programming

⚡Interpreter Optimization

Capturing data pipeline errors functionally with Writer Monads

thoughtworks.com·3d

🚂Error Monads

Compose Stability and Recomposition Optimization — @Stable/@Immutable/skippable

dev.to·1d·

Discuss: DEV

🌈Gradual Languages

MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers

papers.cool·1d

🧪Compiler Testing

Loading more...