| | Dependent Types in Haskell, Part 4 (serokell.io) |
|
3 points by todsacerdoti 20 days ago | past
|
|
| | Dependent types in Haskell, Part 3 (serokell.io) |
|
5 points by todsacerdoti 6 months ago | past
|
|
| | Rust in Production: Fossa (serokell.io) |
|
1 point by calmriverbed 8 months ago | past | 1 comment
|
|
| | Rust in Production: Interview with Fossa (serokell.io) |
|
2 points by unripe_syntax 9 months ago | past
|
|
| | Haskell in Production: Chordify (serokell.io) |
|
3 points by leephillips 10 months ago | past
|
|
| | Optics, Extensions, Monads (serokell.io) |
|
4 points by alexandersechin 10 months ago | past | 1 comment
|
|
| | Serokell's Work on GHC: Dependent Types, Part 2 (serokell.io) |
|
7 points by calmriverbed 10 months ago | past
|
|
| | Top Rust Libraries (serokell.io) |
|
1 point by ingve 11 months ago | past
|
|
| | CI/CD/CT with Nix (serokell.io) |
|
4 points by calmriverbed 12 months ago | 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
|
|
| | At the Intersection of Data Science and Biotech: An Interview with Jesse Johnson (serokell.io) |
|
2 points by unripe_syntax on March 28, 2023 | past
|
|
| | Functional Programming in Rust (serokell.io) |
|
5 points by NaeosPsy on March 21, 2023 | past
|
|
| | Haskell in Enterprise: Interview with Rob Harrison (serokell.io) |
|
5 points by ghuntley on March 9, 2023 | past
|
|
| | Haskell in Enterprise: Interview with Rob Harrison (serokell.io) |
|
5 points by amalinovic on March 7, 2023 | past
|
|
| | Optimizing Haskell Code for Runtime Verification (serokell.io) |
|
64 points by ingve on Feb 22, 2023 | past | 2 comments
|
|
|
|
More |
