🦞🌯 Lobster Roll

Thread

Ensuring correctness through the type system (lindbakk.com)
L 7 pts 2 comments by kamila 4d ago clojuregleamjavatesting thread

Stories related to "Ensuring correctness through the type system" across the full archive.

Ensuring correctness through the type system (lindbakk.com)
HN 2 pts 0 comments by kamilap 4d ago Programming Languages / CS Theory thread
Ensuring correctness through the type system (lindbakk.com)
L 7 pts 2 comments by kamila 4d ago clojuregleamjavatesting Programming (General)Programming Languages / CS Theory thread
It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness (infoq.com)
L 16 pts 1 comments by ehamberg Jun 29, 2019 artformalmethods Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
systemd through the eyes of a musl distribution maintainer (catfox.life)
L 67 pts 66 comments by awilfox Jan 6, 2024 linuxsystemd Systems / Low-Level / OS thread
Nervous System’s Master Matchmaker Sparks Breakthrough in Computer Science (scitechdaily.com)
SCI 0 pts 0 comments by Cold Spring Harbor Laboratory Sep 2, 2024 TechnologyAlgorithmCold Spring Harbor LaboratoryComputer ScienceNervous SystemNeuroscience Programming Languages / CS TheoryScience / Math / PhysicsHealth / Fitness / LifestyleInternet / Digital Culture thread
A researcher has enhanced the bipartite matching problem in computer science by drawing parallels with biological processes in the nervous system. In nature, neurons compete to connect with muscle fibers, an efficient system Navlakha adapted into a simple algorithm. This new method not only improves...
Expressing Japanese Grammar Through TypeScript Type System (github.com)
L 8 pts 0 comments by delroth Mar 29, 2025 programming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Expressing Japanese Grammar Through TypeScript Type System (github.com)
HN 2 pts 0 comments by typhon04 Mar 29, 2025 Web DevelopmentProgramming Languages / CS Theory thread
A Practical Optional Type System for Clojure (s3.amazonaws.com)
L 2 pts 1 comments by tobym Oct 25, 2012 compscilisppdf Programming Languages / CS Theory thread
An experiment about static and dynamic type systems: doubts about the positive impact of static type (cs.washington.edu)
L 1 pts 2 comments by andymatuschak Oct 26, 2012 compscipdf Programming Languages / CS Theory thread
Go: using type assertions to safely reach through interface types (utcc.utoronto.ca)
L 5 pts 0 comments by inactive-user Feb 25, 2013 go Programming (General) thread
Typo: a programming language that runs in Haskell's type system (github.com)
L 4 pts 0 comments by puffnfresh Aug 7, 2013 haskellprogramming Programming (General)Programming Languages / CS Theory thread
typo: A programming language that runs in Haskell's type system. (github.com)
L 6 pts 2 comments by SeanTAllen Dec 31, 2013 haskellprogramming Programming (General)Programming Languages / CS Theory thread
Go’s Type System Is An Embarrassment (functionwhatwhat.com)
L 6 pts 12 comments by zod000 Jan 6, 2014 goprogramming Programming (General)Programming Languages / CS Theory thread
What is a Type System for? (michaelrbernste.in)
L 23 pts 3 comments by mrb Feb 17, 2014 compsci Programming Languages / CS Theory thread
An Optional Type System for Lua (github.com)
L 11 pts 0 comments by jturner Feb 28, 2014 luarelease Programming (General)Programming Languages / CS Theory thread
What To Know Before Debating Type Systems (cdsmith.wordpress.com)
L 35 pts 35 comments by tobym May 7, 2014 compsci Programming Languages / CS Theory thread
Patoline - a modern digital typesetting system (patoline.org)
L 7 pts 1 comments by muspellsson Jul 12, 2014 compsci Programming Languages / CS TheoryInternet / Digital Culture thread
Policy (in capability object systems) as Types (arxiv.org)
L 10 pts 0 comments by BruceM Jul 19, 2014 distributedpdfprogrammingsecurity Programming (General)Data / Databases / InfrastructureSecurity / Privacy thread
Implementations of different type systems in OCaml (github.com)
L 20 pts 0 comments by zem Aug 12, 2014 compscimlprogramming Programming (General)Programming Languages / CS Theory thread
Quala: Custom Type Systems for Clang (homes.cs.washington.edu)
L 4 pts 0 comments by BruceM Aug 19, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
An Overview of the Dylan Type System (dylanfoundry.org)
L 15 pts 3 comments by BruceM Aug 28, 2014 compscilispprogramming Programming (General)Programming Languages / CS Theory thread
I tried to give an overview of the type system from multiple perspectives: What it can do, how the user uses it and how the compiler uses it. I've been writing this off and on over the last 2 weeks and already have 2 other posts that I'm still drafting that got split out of this one.
Typelevel Scala and the future of the Scala ecosystem (typelevel.org)
L 11 pts 2 comments by tobym Sep 2, 2014 scala Programming Languages / CS Theory thread
Typesafe’s Commitment to the Scala Ecosystem (typesafe.com)
L 9 pts 1 comments by lauris Sep 3, 2014 scala Programming Languages / CS Theory thread
ML Family 2014: The Rust Language and Type System (Demo) (youtube.com)
L 8 pts 0 comments by steveklabnik Sep 5, 2014 programmingrustvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Who Is Your Type System For? (lionelbarrow.com)
L 19 pts 5 comments by kGb8RNFtg6 Oct 1, 2014 release Programming Languages / CS Theory thread
The empirical evidence that types affect productivity and correctness (danluu.com)
L 27 pts 2 comments by pushcx Nov 10, 2014 compsciscience Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business thread
Worth skipping down to the summary and then reading through the details if you're curious about the nitty-gritty.
Chasing an EPROTOTYPE Through Rust, Sendto, and the OSX Kernel With C-Reduce (erickt.github.io)
L 1 pts 0 comments by pushcx Nov 19, 2014 macrust Systems / Low-Level / OSApple / macOS / iOS thread
Guarantee Authentication via Haskell's Type System (bendyworks.com)
L 9 pts 0 comments by listrophy Dec 15, 2014 apihaskell Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
IX: A Protected Dataplane Operating System for High Throughput and Low Latency (usenix.org)
L 3 pts 0 comments by reiver Jan 19, 2015 compsci Programming Languages / CS Theory thread
A Route To Learning The Haskell Type System (colourcoding.net)
L 3 pts 0 comments by bitemyapp Mar 3, 2015 haskellprogramming Programming (General)Programming Languages / CS Theory thread