🐪 OCaml

Pattern Matching, Module System, Type Inference, Functional Compilation

Nineteen
omicsomics.blogspot.com·5h·
Discuss: www.blogger.com
✨Effect Inference
Flag this post
Precompiled headers and why Squid won't be using them (2023)
squidproxy.wordpress.com·12h·
Discuss: Hacker News
🥾Compiler Bootstrapping
Flag this post
Music in rust with tunes
crates.io·2d·
Discuss: r/rust
🦀MIR Optimization
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·1d·
Discuss: Hacker News
🎯Finite Automata
Flag this post
Build your own GPG in Rust
andrewhalle.github.io·1d·
Discuss: Hacker News
🛡️Parser Security
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·6d·
Discuss: Substack
⚡functional programming
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·1h·
Discuss: Hacker News
⚡Live Coding
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·6d·
Discuss: Substack
🌈Gradual Languages
Flag this post
I am torn about using Lo
reddit.com·18h·
Discuss: r/golang
🎮Language Ergonomics
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.com·3d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·23h·
Discuss: DEV
🔀Control Structures
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·1d
🔍Lens Libraries
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·10h·
Discuss: r/programming
🔓Decompilers
Flag this post
Automated Variant Calling Refinement via Multi-Modal Neuro-Symbolic Integration (AMVR-MNSI)
dev.to·14h·
Discuss: DEV
📋JSON Parsing
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·11h
🚂Error Propagation
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·14h·
Discuss: DEV
🏗️Cranelift
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·4h
🌪️V8 TurboFan
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·11h·
Discuss: r/MachineLearning
🗂️Term Indexing
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
📋Souffle Datalog
Flag this post
Learn to Capitalize the First Letter of Each Word with Go
dev.to·1d·
Discuss: DEV
🔤String Algorithms
Flag this post