bugzmanov's Top FindsLoading...
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·20h·
Discuss: Hacker News
📐formal specification
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
🐫Ocaml
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔧PLT
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
Go Generics: Use Cases and Patterns
dev.to·5h·
Discuss: DEV
🪜Scala
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·1h·
Discuss: Bluesky
🔧PLT
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·1d·
Discuss: r/ClaudeAI
💻Claude
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·5h·
Discuss: r/programming
🔍Static Analysis
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🪜Scala
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·15h
🔧PLT
Flag this post
Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
🪜Scala
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·2h·
Discuss: r/golang
🪜Scala
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·3h·
Discuss: DEV
📐formal specification
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🪜Scala
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🔍Static Analysis
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.sh·22h·
Discuss: r/programming
🔍Static Analysis
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🔧PLT
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🔧PLT
Flag this post
TestDriven.io: Cursor vs. Claude for Django Development
testdriven.io·23h
🤖AI
Flag this post