🦞🌯 Lobster Roll

Thread

A poor man’s types (blog.snork.dev)
L 57 pts 29 comments by chreke May 30, 2025 plt thread

Stories related to "A poor man’s types" across the full archive.

Falcon: A Graph Manipulation Language for Heterogenous Systems (2016) (ece.iisc.ernet.in)
L 3 pts 0 comments by nickpsecurity Mar 21, 2019 cpdfperformancepltslides Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / Infrastructure thread
The doctoral thesis is [here](https://drona.csa.iisc.ac.in/~srikant/papers-theses/Unnikrishnan-PhD-thesis.pdf). (pdf)
tinySelf performance gains 2019/4 (notion.so)
L 12 pts 2 comments by Bystroushaak Apr 19, 2019 performancepltprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
AnyDSL - A Partial Evaluation Framework for Programming High-Performance Libraries (anydsl.github.io)
L 9 pts 7 comments by sebastien Dec 6, 2019 compilersperformanceplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Chapel Comes of Age: A Language for Productivity, Parallelism, and Performance (chapel-lang.org)
L 19 pts 0 comments by hwayne Mar 27, 2020 pdfperformancepltslides Programming Languages / CS TheoryData / Databases / InfrastructureProductivity / Career / Business thread
Slides are for [this video](https://www.youtube.com/watch?v=ko11tLuchvg), but I haven't watched the talk itself.
Performance tips for Typescript (github.com)
L 5 pts 0 comments by friendlysock Nov 24, 2020 javascriptperformance Web DevelopmentData / Databases / Infrastructure thread
Linear types make performance more predictable (2017) (tweag.io)
L 7 pts 4 comments by adamshaylor Jan 9, 2021 haskellperformanceplt Programming Languages / CS TheoryData / Databases / Infrastructure thread
UNION ALL, data types and performance (cybertec-postgresql.com)
L 2 pts 0 comments by sjamaan Dec 20, 2022 databasesperformance Data / Databases / Infrastructure thread
An approach to optimizing TypeScript type checking performance (edgedb.com)
L 1 pts 0 comments by 1st1 Aug 12, 2024 performanceplt Web DevelopmentProgramming Languages / CS TheoryData / Databases / Infrastructure thread
A poor man’s types (blog.snork.dev)
L 57 pts 29 comments by chreke May 30, 2025 plt Programming Languages / CS Theory thread
A Poor Man's Types (blog.snork.dev)
HN 1 pts 0 comments by todsacerdoti May 30, 2025 thread
A Poor Man's Types (blog.snork.dev)
HN 3 pts 0 comments by nabla9 May 30, 2025 thread
A Unique Performance Optimization for a 3D Geometry Language (cprimozic.net)
L 31 pts 13 comments by Ameo Jan 11, 2026 performanceplt Programming Languages / CS TheoryData / Databases / InfrastructureScience / Math / Physics thread
Poor man's dependency injection in clojure (spootnik.org)
L 3 pts 0 comments by pyr Jan 25, 2014 lisp Programming Languages / CS Theory thread
Poor Man’s VPN With a Cheap VPS (longren.io)
L 4 pts 4 comments by tlongren Apr 14, 2014 linuxnetworkingpracticessecurityunix Systems / Low-Level / OSData / Databases / InfrastructureSecurity / PrivacyProductivity / Career / Business thread
Performance and Types in Lisp (blog.30dor.com)
L 13 pts 0 comments by jm Apr 25, 2014 lisp Programming Languages / CS Theory thread
Types, Logic, Semantics, and Verification (cs.uoregon.edu)
L 8 pts 2 comments by nikola Jul 7, 2014 compscivideo Programming Languages / CS Theory thread
Videos of this year's lectures are available!
C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” (modelviewculture.com)
L 25 pts 1 comments by joshuacc Jan 27, 2015 culture Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
poor man's profiler (poormansprofiler.org)
L 6 pts 1 comments by sheki May 15, 2015 linux Systems / Low-Level / OS thread
pmcctv - poor man's CCTV system using ffmpeg and ImageMagick (github.com)
L 2 pts 1 comments by lau Mar 18, 2016 golinuxmacwindows Systems / Low-Level / OSProgramming (General)Apple / macOS / iOS thread
Staticus, a poor man status page generator (javier.io)
L 10 pts 5 comments by javier-lopez May 19, 2016 linuxshow Systems / Low-Level / OSProgramming (General) thread
Pony VUG #4: Luke Cheeseman: Simple Value-Dependent Types In Pony (vimeo.com)
L 9 pts 0 comments by SeanTAllen Jul 21, 2016 programmingvideo Programming (General) thread
Luke Cheeseman discusses his work on adding simple value-dependent types to Pony. Luke walks us through how introducing value-dependent types and compile-time expressions into Pony to provides developers access to a wider variety of efficient, flexible containers. Join the group at pony.groups.io...
sshuttle: transparent proxy server that works over ssh as a poor man's VPN (github.com)
L 10 pts 0 comments by unbalancedparentheses Aug 3, 2016 networkingsecurity Data / Databases / InfrastructureSecurity / Privacy thread
Linear types make performance more predictable (blog.tweag.io)
L 38 pts 2 comments by puffnfresh Mar 13, 2017 haskell Programming Languages / CS Theory thread
Tag suggestion: performance/optimisation
L 24 pts 10 comments by mikejsavage May 26, 2017 metaperformance Data / Databases / Infrastructure thread
It would be nice to have a tag for performance and optimisation related posts, because at the moment it's occasionally quite difficult to tag them well. Sometimes the C/C++/assembly tags fit, but that's not really what the posts are about. Some examples from the first page of my submission histor...
Facts about Electron Performance (from the Postage for PostgreSQL project) (github.com)
L 38 pts 29 comments by justintocci May 31, 2017 performanceprogramming Programming (General)Data / Databases / Infrastructure thread
Linux Performance (updated) (brendangregg.com)
L 14 pts 0 comments by fkr Jun 7, 2017 devopslinuxperformance Systems / Low-Level / OSData / Databases / Infrastructure thread
Performance Improvements in .NET Core (blogs.msdn.microsoft.com)
L 4 pts 0 comments by calvin Jun 8, 2017 dotnetperformance Programming (General)Data / Databases / Infrastructure thread
Rust Performance Pitfalls (llogiq.github.io)
L 23 pts 0 comments by aleph Jun 8, 2017 performancerust Systems / Low-Level / OSData / Databases / Infrastructure thread
Improving Linux System Performance with I/O Scheduler Tuning (blog.codeship.com)
L 6 pts 0 comments by pushcx Jun 15, 2017 linuxperformance Systems / Low-Level / OSData / Databases / Infrastructure thread
Choo, architecture & performance (medium.com)
L 2 pts 3 comments by yoshuawuyts Jun 18, 2017 browsersjavascriptperformanceweb Web DevelopmentData / Databases / Infrastructure thread