🦞🌯 Lobster Roll

Thread

No, dynamic type systems are not inherently more open (lexi-lambda.github.io)
L 95 pts 56 comments by shapr Jan 19, 2020 haskellplt thread

Stories related to "No, dynamic type systems are not inherently more open" across the full archive.

No, dynamic type systems are not inherently more open (lexi-lambda.github.io)
L 95 pts 56 comments by shapr Jan 19, 2020 haskellplt Programming Languages / CS Theory thread
Dynamic type systems are not inherently more open (lexi-lambda.github.io)
HN 4 pts 0 comments by Munksgaard Feb 10, 2026 Programming Languages / CS Theory thread
Gainframe offers OpenBSD dmesg, pcidump and usbdevs output for all systems they build (undeadly.org)
L 3 pts 0 comments by inactive-user Jul 6, 2012 hardwareopenbsd Systems / Low-Level / OSMaker / DIY / Hardware 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
OpenBSD adds fuse(4) support for adding file systems in userland (undeadly.org)
L 5 pts 0 comments by lynge Nov 8, 2013 openbsd Systems / Low-Level / OS thread
An open letter to Matz on Ruby type systems (2014) (tonyarcieri.com)
L 10 pts 4 comments by pushcx May 16, 2015 ruby Programming (General)Programming Languages / CS Theory thread
Dynamic Witnesses for Static Type Errors (eric.seidel.io)
L 13 pts 0 comments by apy Jun 20, 2016 compilershaskellmlpdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
Bifunctor IO: A Step Away from Dynamically-Typed Error Handling (degoes.net)
L 8 pts 1 comments by jdegoes May 10, 2018 haskellscala Programming Languages / CS Theory thread
BCHS//openradtool: typescript vs javascript (learnbchs.org)
L 12 pts 4 comments by inactive-user Jul 9, 2019 javascriptopenbsdweb Web DevelopmentSystems / Low-Level / OS thread
Local Privilege Escalation in OpenBSD's dynamic loader (CVE-2019-19726) (openwall.com)
L 38 pts 2 comments by lattera Dec 11, 2019 openbsdsecurity Systems / Low-Level / OSSecurity / Privacy thread
OpenVi: Portable OpenBSD vi for UNIX systems (github.com)
L 16 pts 18 comments by trn Feb 19, 2022 openbsdunixvim Systems / Low-Level / OSProgramming (General) thread
OpenBSD/arm64 on Apple M1 systems (marc.info)
L 33 pts 2 comments by mikalv Mar 21, 2022 macopenbsd Systems / Low-Level / OSApple / macOS / iOS thread
Dynamic Tracing on OpenBSD 7.3 (blog.lambda.cx)
L 24 pts 0 comments by dante May 22, 2023 openbsd Systems / Low-Level / OS thread
OpenBSD 5.1 Released (undeadly.org)
L 4 pts 0 comments by jcs Jun 30, 2012 openbsd Systems / Low-Level / OS thread
Encrypting the OpenBSD root filesystem with softraid (undeadly.org)
L 4 pts 0 comments by inactive-user Jul 4, 2012 openbsdsecurity Systems / Low-Level / OSSecurity / Privacy thread
That grumpy BSD guy: Keeping Your OpenBSD System In Trim: A Works For Me Guide (bsdly.blogspot.dk)
L 6 pts 1 comments by lynge Jul 6, 2012 openbsd Systems / Low-Level / OS thread
OpenBSD Earliest Effective Virtual Deadline First Scheduler (gurkenfunk.de)
L 5 pts 0 comments by jcs Jul 8, 2012 openbsd Systems / Low-Level / OS thread
g2k12: OpenBSD hackathon (poolp.org)
L 8 pts 6 comments by inactive-user Jul 10, 2012 openbsd Systems / Low-Level / OS thread
Get OpenBSD commit messages via Twitter (undeadly.org)
L 3 pts 1 comments by inactive-user Jul 10, 2012 openbsd Systems / Low-Level / OS thread
OpenBSD hibernate support to be enabled on i386 (marc.info)
L 7 pts 1 comments by lynge Jul 12, 2012 openbsd Systems / Low-Level / OS thread
g2k12: OpenBSD hackathon II (poolp.org)
L 6 pts 0 comments by inactive-user Jul 15, 2012 openbsd Systems / Low-Level / OS thread
Update from gilles on improvements in OpenSMTPD made during g2k12 (poolp.org)
L -1 pts 1 comments by crab Jul 17, 2012 openbsd Systems / Low-Level / OS thread
Whisper Systems' RedPhone is now Open Source (whispersys.com)
L 4 pts 0 comments by jcs Jul 17, 2012 androidsecurity Programming (General)Security / Privacy thread
New OpenBSD fork: Bitrig (bitrig.org)
L 4 pts 2 comments by sramov Jul 19, 2012 openbsd Systems / Low-Level / OS thread
I still have mixed feelings about this.
OpenBSD Budapest g2k12 Hackathon part III (undeadly.org)
L 5 pts 0 comments by jcs Aug 10, 2012 eventopenbsd Systems / Low-Level / OS thread
OpenBSD/sparc64 and root on softraid(4) (brycv.com)
L 5 pts 0 comments by brycv Aug 14, 2012 openbsd Systems / Low-Level / OS thread
OpenSMTPD: plenty of news (poolp.org)
L 4 pts 2 comments by lynge Aug 22, 2012 openbsdrelease Systems / Low-Level / OS thread
OpenSMTPD: encypted queue backend (poolp.org)
L 8 pts 0 comments by lynge Aug 29, 2012 openbsdrelease Systems / Low-Level / OS thread
Various OpenBSD architectures switched to PIE by default (openbsd.org)
L 9 pts 1 comments by lynge Sep 3, 2012 openbsd Systems / Low-Level / OS thread
OpenBSD 5.2 pre-orders are up (openbsd.org)
L 10 pts 7 comments by inactive-user Sep 5, 2012 openbsd Systems / Low-Level / OS thread