wastrel, a profligate implementation of webassembly
wingolog.orgΒ·1dΒ·
πŸ—οΈDune
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comΒ·23h
Ξ»Functional Programming
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.comΒ·8h
🧠Automated Reasoning
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”€OCaml Multicore
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.comΒ·4hΒ·
Discuss: Hacker News
πŸ“¦OPAM
Flag this post
An intro to the Tensor Economics blog
lesswrong.comΒ·2d
πŸ”€OCaml Multicore
Flag this post
Opportunistic Mutation in Roc
roc-lang.orgΒ·3dΒ·
Discuss: Hacker News
πŸ”§ppx
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgΒ·2d
🎯GADT
Flag this post
You Don't Need Types in Ruby
zhisme.comΒ·1dΒ·
Discuss: Hacker News
❓Existential Types
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.orgΒ·1d
πŸ“Linear Algebra
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comΒ·12h
πŸ§ͺProperty-Based Testing
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.devΒ·2dΒ·
πŸ”’Algebraic Data Types
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.comΒ·15hΒ·
Discuss: Hacker News
🌐Network Protocols
Flag this post
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in LargeVision-Language Models
dev.toΒ·7hΒ·
Discuss: DEV
🎯GADT
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgΒ·1d
πŸ“šAutomata Learning
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameΒ·22hΒ·
Discuss: Hacker News
πŸ” Type-Level Programming
Flag this post
Automated High-Throughput Mutational Burden Assessment & Stratification via Spectral Graph Convolutional Networks
dev.toΒ·5hΒ·
Discuss: DEV
πŸ•ΈοΈGraph Theory
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.comΒ·2dΒ·
Discuss: Hacker News
πŸ“šAutomata Learning
Flag this post
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs
arxiv.orgΒ·1d
πŸ“Linear Algebra
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.orgΒ·1d
πŸ“Linear Algebra
Flag this post