| | Introduction to Tagless Final (2018) (serokell.io) |
| 2 points by runeks 3 months ago | past |
|
| | Dependent Types: Current Status by Serokell GHC Team (serokell.io) |
| 3 points by alexandersechin 5 months ago | past |
|
| | Optics and Extensions in Haskell. Courses (serokell.io) |
| 3 points by alexandersechin 6 months ago | past |
|
| | Rust Is Not a Functional Language (serokell.io) |
| 3 points by eeveeon 6 months ago | past |
|
| | Rust is not a functional language (serokell.io) |
| 2 points by alexandersechin 7 months ago | past |
|
| | Dependent Types in Haskell, Part 4 (serokell.io) |
| 3 points by todsacerdoti 10 months ago | past |
|
| | Dependent types in Haskell, Part 3 (serokell.io) |
| 5 points by todsacerdoti on April 25, 2024 | past |
|
| | Rust in Production: Fossa (serokell.io) |
| 1 point by calmriverbed on March 4, 2024 | past | 1 comment |
|
| | Rust in Production: Interview with Fossa (serokell.io) |
| 2 points by unripe_syntax on Feb 9, 2024 | past |
|
| | Haskell in Production: Chordify (serokell.io) |
| 3 points by leephillips on Dec 30, 2023 | past |
|
| | Optics, Extensions, Monads (serokell.io) |
| 4 points by alexandersechin on Dec 22, 2023 | past | 1 comment |
|
| | Serokell's Work on GHC: Dependent Types, Part 2 (serokell.io) |
| 7 points by calmriverbed on Dec 22, 2023 | past |
|
| | Top Rust Libraries (serokell.io) |
| 1 point by ingve on Nov 23, 2023 | past |
|
| | CI/CD/CT with Nix (serokell.io) |
| 4 points by calmriverbed on Nov 13, 2023 | past |
|
| | Haskell in Production: Meta (serokell.io) |
| 7 points by mooreds on Nov 5, 2023 | past |
|
| | Rust Development Roadmap (serokell.io) |
| 3 points by calmriverbed on Oct 16, 2023 | past | 1 comment |
|
| | CI/CD/CT with Nix (serokell.io) |
| 2 points by ingve on Oct 10, 2023 | past |
|
| | Dependent Types in Haskell: require and pass types as normal arguments (serokell.io) |
| 6 points by calmriverbed on Sept 15, 2023 | past |
|
| | Haskell in Production: Relex Solutions (serokell.io) |
| 2 points by unripe_syntax on Aug 31, 2023 | past |
|
| | Haskell in Production: Verity (serokell.io) |
| 6 points by leephillips on Aug 15, 2023 | past |
|
| | What's That Typeclass: Alternative (serokell.io) |
| 2 points by ingve on Aug 8, 2023 | past |
|
| | Introduction to Tiny ML (serokell.io) |
| 2 points by ingve on June 7, 2023 | past |
|
| | ChatGPT's Brain: Large Language Models (serokell.io) |
| 1 point by ghuntley on May 31, 2023 | past |
|
| | Haskell in Production: CollegeVine (serokell.io) |
| 8 points by NaeosPsy on May 16, 2023 | past | 1 comment |
|
| | Word2Vec: Why Do We Need Word Representations? (serokell.io) |
| 3 points by ingve on May 10, 2023 | past |
|
| | Haskell in Production: Standard Chartered (serokell.io) |
| 186 points by NaeosPsy on May 3, 2023 | past | 160 comments |
|
| | Optimizing Haskell Code for Runtime Verification: Part 2 (serokell.io) |
| 15 points by ghuntley on April 26, 2023 | past |
|
| | Optimizing Haskell Code for Runtime Verification: Part 2 (serokell.io) |
| 5 points by NaeosPsy on April 26, 2023 | past |
|
| | Haskell in Production: Meta (serokell.io) |
| 4 points by alexandersechin on April 7, 2023 | past |
|
| | Haskell in Production: Meta (serokell.io) |
| 6 points by NaeosPsy on April 6, 2023 | past |
|
|
| More |
