bugzmanov's Top FindsLoading...
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
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
Vibing Negative
theblackwall.uk·6h
💻Claude
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·4h·
Discuss: Lobsters, Hacker News, r/rust
🔍Static Analysis
Flag this post
A Pragmatist's Guide to Mastering Python's Foundations
dev.to·1h·
Discuss: DEV
🔧PLT
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·5h·
Discuss: Hacker News
🔧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
<p>**Abstract:** This paper proposes a novel framework, CodeRefactorAI, for automated code refactoring and quality enhancement within large-scale microservice a...
freederia.com·3h
🔍Static Analysis
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·6h·
Discuss: Hacker News
🔧PLT
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·8h·
Discuss: Bluesky
🔧PLT
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
🪜Scala
Flag this post
Combine Java and Rust Code Coverage in a Polyglot Project
questdb.com·12h·
Discuss: r/programming
🔍Static Analysis
Flag this post
Announcing Magika 1.0: now faster, smarter, and rebuilt in Rust
blogger.com·2h
🦀Rust
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·22h
🔧PLT
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·9h·
Discuss: r/golang
🪜Scala
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·1h·
Discuss: Hacker News
🦀Rust
Flag this post
ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·2h
📐formal specification
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·10h·
Discuss: DEV
📐formal specification
Flag this post