Feeds to Scour
SubscribedAll
Scoured 13730 posts in 119.0 ms
The Hazy Haskell Compiler
discourse.haskell.orgยท3dยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
Preview
Report Post
macro based decorator in Clojure
clojure-diary.gitlab.ioยท7h
๐Ÿง Lisp Dialects
Preview
Report Post
Issue 506
haskellweekly.newsยท2d
๐ŸงฌFunctional Programming
Preview
Report Post
Superstar64/Hazy: The Hazy Haskell Compiler
github.comยท2d
๐Ÿ’งLiquidhaskell
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.orgยท1d
ฮปLambda Encodings
Preview
Report Post
Program Reduction: A Win for Recursion Schemes
newartisans.comยท4d
โฌ†๏ธLambda Lifting
Preview
Report Post
Type inference of all constructs and the next 15 months
elixir-lang.orgยท1dยท
๐Ÿ›๏ธAgda
Preview
Report Post
LLM's and Smaller, Less Popular Programming Languages
scottarbeit.comยท20hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Preview
Report Post
Fun with Algebraic Effects โ€“ From Toy Examples to Hardcaml Simulations
blog.janestreet.comยท2dยท
โœจAlgebraic Effects
Preview
Report Post
NOVA might have been Futhark
futhark-lang.orgยท1d
๐Ÿ—๏ธCompiler Archaeology
Preview
Report Post
Quick Take: Bridging Compile-Time and Runtime Performance in Lean 4
alok.github.ioยท3d
๐Ÿš€JIT Compilation
Preview
Report Post
Reflex FRP โ€“ a Haskell-based ecosystem for building user interfaces and web apps
reflex-frp.orgยท3dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.comยท1d
โŸทBidirectional Programming
Preview
Report Post
[$] READ_ONCE(), WRITE_ONCE(), but not for Rust
lwn.netยท22h
๐Ÿฆ€Rust Macros
Preview
Report Post
Automatic async to sync code conversion
psycopg.orgยท2hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
Preview
Report Post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks
youtube.comยท1d
ฮปLambda Formalization
Preview
Report Post
Accelerating LLM inference with post-training weight and activation using AWQ and GPTQ on Amazon SageMaker AI
aws.amazon.comยท19h
๐Ÿ’ปLocal LLMs
Preview
Report Post
Alex-Ozun/swift-effect: Algebraic Effects and Effect Handlers for Swift
github.comยท22h
โœจEffect Handlers
Preview
Report Post
Linear algebra over field extensions
guille.siteยท10h
๐Ÿ“Linear Algebra
Preview
Report Post
BASIC Programming With No Strings Attached
hackaday.comยท8h
๐Ÿ”—Concatenative Programming
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help