Scala vs F#
alexn.orgĀ·14h
š§Nickel
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgĀ·1d
šCategory Theory
Flag this post
De Bruijn Numerals
Ī»Lambda Calculus
Flag this post
Roadmap for Improving the Type Checker
ā
Type Checking
Flag this post
Evidence on language model consciousness
lesswrong.comĀ·17h
š²Parser Fuzzing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comĀ·2d
āļøInference Rules
Flag this post
Stochastic degradation environment with prognostic agent: An interpretable framework for adaptive failure alarm with significant small actual remaining useful l...
sciencedirect.comĀ·1h
šError Propagation
Flag this post
A Short Introduction to Categorical Logic
youtube.comĀ·2d
āļøInference Rules
Flag this post
KCL part 1: units
ncameron.orgĀ·2d
š±Tiny Languages
Flag this post
From Lossy to Lossless Reasoning
šŖRecursive Descent
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.meĀ·4h
šLoop Optimization
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.orgĀ·1d
šML Language
Flag this post
GHC 9.14.1-rc1 is now available
šLinear Haskell
Flag this post
I built a symbolic reasoning system without language or training data. Iām neurodivergent and not a developer ā just hoping someone can tell me if this makes se...
šÆFinite Automata
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.comĀ·1d
šML Language
Flag this post
My first fifteen compilers (2019)
š¬Nanopasses
Flag this post
Loading...Loading more...