🔒 Hylo

Mutable Value Semantics, Law of Exclusivity, Swift Ownership, Val Language

Feeds to Scour
SubscribedAll
Scoured 112658 posts in 323.0 ms
Mankirat47/Dao-Heart_3.1: Dao Heart 3.1 is an AI alignment framework for identity-preserving value evolution. It represents values as constraint-satisfaction networks, enables governed creation of new values, enforces formal safety invariants, and adds a Narrative Layer for pre-formal value formation under human control.
github.com·20m·
Discuss: Hacker News
📊Incremental Computation
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
arxiv.org·1d
🔄Functional Programming
Swift Concurrency from Zero to Hero | Reading List
swiftology.io·21h
🔧programming language design
Cryptopals-57 solution
dev.to·1d·
Discuss: DEV
🦀Borrow Checker
Fun with TypeScript Generics
frontendmasters.com·1d
🔄Functional Programming
Introduction
faiface.github.io·4h
🔧programming language design
The missing call-assign operator
kevincox.ca·1d·
Discuss: Hacker News
🔄Functional Programming
Department of Computer Science and Technology – Course pages 2017–18: Computation Theory
cl.cam.ac.uk·9h
🔄Functional Programming
Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match
ntaylor.ca·1h·
Discuss: Lobsters, Hacker News
🔄Functional Programming
When agents choose bundles autonomously: guarantees beyond discrepancy
arxiv.org·1d
📊Incremental Computation
Monads, Applicatives & Functors
slicker.me·2h
🔄Functional Programming
nil in Go Is Not What You Think
sushantdhiman.dev·2d·
Discuss: r/golang
🔄Functional Programming
The Haves and The Have Nots
taoofmac.com·5h·
Discuss: Hacker News
📊Incremental Computation
Code Is Poetry
ta.fo·22h
🔧programming language design
Python Morsels: Setting default dictionary values in Python
pythonmorsels.com·1d
🔄Functional Programming
Coase conjecture
en.wikipedia.org·3h
📊Incremental Computation
metareflection/dafny-replay: Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
github.com·18h
🦀Borrow Checker
Associative Methods
dev.to·2d·
Discuss: DEV
🧮Algebraic Effects
Building an Embedding API with Rust, Arm, and EmbeddingGemma on AWS Lambda
sobolev.substack.com·1d·
Discuss: Substack
🔄Functional Programming
Sharing in Dada
smallcultfollowing.com·8h·
Discuss: Lobsters, Hacker News
🔧programming language design

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