Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·2d·
Discuss: r/golang
📱Kotlin
Flag this post
Multiprocess Support on Unikraft
unikraft.org·13h·
Discuss: Hacker News
📱Kotlin
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·6d·
Discuss: Hacker News
📱Kotlin
Flag this post
Announcing “Computational Functionalism Debate” (soliciting paid feedback): Test your intuitions about consciousness
lesswrong.com·1d
📱Kotlin
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
crypto.forem.com·4h·
Discuss: DEV
📱Kotlin
Flag this post
Diving into Rama: A Clojure LSH Vector Search Experiment
shtanglitza.ai·1d·
Discuss: Hacker News
📱Kotlin
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·2d·
Discuss: r/golang
📱Kotlin
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·4d·
Discuss: r/programming
📱Kotlin
Flag this post
About Taxum, or why I wrote my own NodeJS Framework
dev.to·6h·
Discuss: DEV
📱Kotlin
Flag this post
GSoC 2025 Showcase: Extending Swift-Java Interoperability
swift.org·1d
📱Kotlin
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·3d
📱Kotlin
Flag this post
From 'Why the F@&k Do I Need This?' to 'Oh, That's Why' - My GAT Journey
dev.to·1d·
Discuss: DEV
📱Kotlin
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2d·
Discuss: Hacker News
📱Kotlin
Flag this post
## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·1d
📱Kotlin
Flag this post
Disciplined Biconvex Programming
arxiv.org·4d
📱Kotlin
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·5d·
Discuss: Hacker News
📱Kotlin
Flag this post
Embedding TypeScript
andrews.substack.com·2d·
Discuss: Substack, r/programming
📱Kotlin
Flag this post
Universality Classes for Purification in Nonunitary Quantum Processes
journals.aps.org·1d
📱Kotlin
Flag this post
Fil-C
graydon2.dreamwidth.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
📱Kotlin
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·4d
📱Kotlin
Flag this post