My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·2d·
Discuss: Hacker News
📱Kotlin
Flag this post
💡 How to Write Better Code
dev.to·18h·
Discuss: DEV
📱Kotlin
Flag this post
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
Announcing “Computational Functionalism Debate” (soliciting paid feedback): Test your intuitions about consciousness
lesswrong.com·1d
📱Kotlin
Flag this post
Multiprocess Support on Unikraft
unikraft.org·18h·
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
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·3d·
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·11h·
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·4d
📱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
I built a full-text search library for my iOS apps
github.com·3h·
Discuss: r/swift
📱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·2d
📱Kotlin
Flag this post
Automate changelogs, versioning, and publishing with Sampo
goulven-clech.dev·27m·
Discuss: Hacker News
📱Kotlin
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·5d·
Discuss: Hacker News
📱Kotlin
Flag this post
Disciplined Biconvex Programming
arxiv.org·5d
📱Kotlin
Flag this post
Joy & Curiosity #61
registerspill.thorstenball.com·2h
📱Kotlin
Flag this post