Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
jaens's Likes
Subscribe
12
interests
·
0
feeds
·
43
likes
🔧
programming language design
arxiv.org
·
15w
15 weeks ago
Implementing Dependent Type Theory Inhabitation and Unification
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Implementing Dependent Type Theory Inhabitation and Unification
🔧
programming language design
hexdocs.pm
·
21w
21 weeks ago
Elixir: Gradual Set-Theoretic Types
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Elixir: Gradual Set-Theoretic Types
🔧
programming language design
jonmsterling.com
·
20w
20 weeks ago
Disentangling unification and implicit coercion (subtyping interaction problem)
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Disentangling unification and implicit coercion (subtyping interaction problem)
🔧
programming language design
furkan3ayraktar.github.io
·
26w
26 weeks ago
The Wrong Question About Type Systems
Discussed on
Hacker News
,
Hacker News
, and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Wrong Question About Type Systems
🧮
Algebraic Effects
magazine.sebastianraschka.com
·
32w
32 weeks ago
Beyond Standard LLMs
Discussed on
Hacker News
and
r/LLM
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Beyond Standard LLMs
🔄
Functional Programming
Hey There Buddo!
·
31w
31 weeks ago
Implementing E Unification using SMT
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Implementing E Unification using SMT
🔧
programming language design
yerinalexey.srht.site
·
11w
11 weeks ago
Linear types proposal for Hare
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Linear types proposal for Hare
🔒
Hylo
purplesyringa.moe
·
14w
14 weeks ago
Reinventing aliasing XOR mutability and lifetimes
Discussed on
r/rust
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Reinventing aliasing XOR mutability and lifetimes
🗂️
Graph IR
medium.com
·
15w
15 weeks ago
Unified Context-Intent Embeddings for Scalable Text-to-SQL
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Unified Context-Intent Embeddings for Scalable Text-to-SQL
🗂️
Graph IR
philschmid.de
·
15w
15 weeks ago
Practical Guide to Evaluating and Testing Agent Skills
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Practical Guide to Evaluating and Testing Agent Skills
📊
Incremental Computation
ensue.dev
·
15w
15 weeks ago
Blog | How We Built a Competitive Memory Retrieval System using Open-Source Models
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Blog | How We Built a Competitive Memory Retrieval System using Open-Source Models
🧮
Algebraic Effects
systima.ai
·
15w
15 weeks ago
Show HN: XML, Markdown, or JSON: Which gives LLMs the most reliable boundaries?
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: XML, Markdown, or JSON: Which gives LLMs the most reliable boundaries?
🦀
Borrow Checker
arxiv.org
·
15w
15 weeks ago
ActMem: Bridging the Gap Between Memory Retrieval and Reasoning in LLM Agents
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ActMem: Bridging the Gap Between Memory Retrieval and Reasoning in LLM Agents
📲
local-first software
xata.io
·
15w
15 weeks ago
My git-worktree setup using worktrunk and caddy by Divyendu Singh
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for My git-worktree setup using worktrunk and caddy by Divyendu Singh
📊
Incremental Computation
kellysutton.com
·
15w
15 weeks ago
AI Retrospective, Predictions
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI Retrospective, Predictions
🔧
programming language design
notes.brooklynzelenka.com
·
15w
15 weeks ago
Notes on Writing WASM
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Notes on Writing WASM
🔧
programming language design
agenticcoding.substack.com
·
15w
15 weeks ago
32 Claude Code Tips: From Basics to Advanced
Discussed on
Substack
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 32 Claude Code Tips: From Basics to Advanced
🦀
Borrow Checker
lesswrong.com
·
15w
15 weeks ago
How I Handle Automated Programming
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How I Handle Automated Programming
🧰
software development practices
smcleod.net
·
15w
15 weeks ago
The advice I find myself repeating every time someone asks how to get started with Claude Code
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The advice I find myself repeating every time someone asks how to get started with Claude Code
🦀
Borrow Checker
eagledot.xyz
·
19w
19 weeks ago
Millets: A practical memory-safety and thread-safety experiment
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Millets: A practical memory-safety and thread-safety experiment
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
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
Discover
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
Like
Save
Not for me
Report