Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
GaloisInc/parameterized-utils
github.com·2d
📏Linear Haskell
Unforgettable factory revisited
holyblackcat.github.io·17h·
Discuss: r/cpp
🪆Embedded DSLs
From CAP to GAP?
fsharpforfunandprofit.com·15h·
Discuss: DEV
🧪Testing Compilers
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🌈Gradual Languages
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
Let's Write a Macro in Rust
hackeryarn.com·6h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🌱Minimal Lisps
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·5h·
Discuss: DEV
📦Monorepos
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·14h·
Discuss: r/golang
🐹Goroutine Scheduling
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·18h
λLambda Calculus
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Item Patterns and Struct Await
noratrieb.dev·16h·
Discuss: Hacker News
🛡️Error Handling
Dimension reduction for efficient Bayesian inference of high-dimensional quantity of interest problems with parametric and nonparametric uncertainties
sciencedirect.com·3h
🗺️Region Inference
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🎭Program Synthesis
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·5h·
Discuss: r/cpp
🧮Combinator Calculus
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·6h·
Discuss: r/rust
⚡Partial Evaluation
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·7h·
Discuss: DEV
🪄C Metaprogramming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus