Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
jaens's Likes
Subscribe
Elixir:
Gradual
Set-Theoretic
Types
hexdocs.pm
·
2w
·
Discuss:
Hacker News
🔧
programming language design
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1w
·
Discuss:
Hacker News
🔧
programming language design
The Wrong Question About
Type
Systems
furkan3ayraktar.github.io
·
7w
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔧
programming language design
Beyond
Standard
LLMs
magazine.sebastianraschka.com
·
13w
·
Discuss:
Hacker News
,
r/LLM
🧮
Algebraic Effects
Implementing E
Unification
using
SMT
philipzucker.com
·
12w
🔄
Functional Programming
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
4d
·
Discuss:
Lobsters
,
Hacker News
🦀
Borrow Checker
Whatever
Happened to the
Semantic
Web?
twobithistory.org
·
3d
🕸
semantic web
Program Generation
Formalisms
and Staged
Calculi
okmij.org
·
5w
🔧
programming language design
Dboxed
- Compose with
P2P
Networking and Volumes
reddit.com
·
7w
·
Discuss:
r/selfhosted
📲
local-first software
Selective
Applicative
Functors
blog.veritates.love
·
7w
·
Discuss:
Lobsters
,
Hacker News
🔄
Functional Programming
Fractional
Calculus
in Optimal Control and Game Theory: Theory,
Numerics
, and Applications -- A Survey
arxiv.org
·
7w
🧮
Algebraic Effects
From
Monolithic
to Modular: Scaling Semantic Routing with
Extensible
LoRA
blog.vllm.ai
·
14w
📊
Incremental Computation
A Vision for Future Low-Level
Languages
antelang.org
·
15w
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔧
programming language design
PMPP-Eval
Journey
blog.sinatras.dev
·
14w
·
Discuss:
Hacker News
📊
Incremental Computation
The
Testability
of Pure
Functions
funktionale-programmierung.de
·
16w
·
Discuss:
Hacker News
🔄
Functional Programming
Geometric
Computability
: Functional programming for
gauge
theory
researchgate.net
·
16w
·
Discuss:
Hacker News
🔧
programming language design
🎙️ Nathan
Ladd
: Relentless Improvement and the Cost of
Neglect
maintainable.fm
·
16w
·
Discuss:
Hacker News
,
r/programming
🧰
software development practices
Show HN: Beyond
geometric
similarity
in vector databases
tuned.org.uk
·
16w
·
Discuss:
Hacker News
📲
local-first software
Slip
– A
Lisp
System in JavaScript
lisperator.net
·
17w
·
Discuss:
Hacker News
🔧
programming language design
Disaggregation
in Large Language Models: The Next Evolution in AI
Infra
infoq.com
·
16w
·
Discuss:
Hacker News
📊
Incremental Computation
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help