##plt
LightNews LightNews
lobste.rs.web.brid.gy
Mitigating the Billion Dollar Mistake
This article is continuation to: Was it really a Billion Dollar Mistake?. Comments
www.gingerbill.org
January 12, 2026 at 12:17 AM
theholosarts.bsky.social
📚Past Life Therapy: Manual and Certification for Therapists.
From the basics of reincarnation to advanced regressive hypnosis techniques, this book guides you step by step on a transformative journey.
#Reading #BooksWorthReading #Therapy #PLT
amazon.com/dp/B0CWSLPQFV
Past Life Therapy: Manual and Certification for Therapists
Past Life Therapy: Manual and Certification for Therapists - Kindle edition by Estrada, Isis, Arts Project, Holos. Religion & Spirituality Kindle eBooks @ Amazon.com.
amazon.com
January 11, 2026 at 4:57 PM
theholosarts.bsky.social
'Discover Your Past Lives: A Journey of Self-Knowledge' by Dr. Isis Estrada.
Dive into regression techniques, meditation, and past life healing to overcome blocks, identify patterns, and awaken innate gifts.
#PLT #PLR #PastLivesTherapy #Reincarnation
www.amazon.com/dp/B0CHL1CF16
Discover your Past Lives: A Journey of Self-Knowledge
Discover your Past Lives: A Journey of Self-Knowledge [Estrada, Isis, Arts Project, Holos] on Amazon.com. *FREE* shipping on qualifying offers. Discover your Past Lives: A Journey of Self-Knowledge
www.amazon.com
January 11, 2026 at 4:54 PM
lobste.rs.web.brid.gy
A Unique Performance Optimization for a 3D Geometry Language
Comments
cprimozic.net
January 11, 2026 at 2:23 PM
theholosarts.bsky.social
📚Past Life Therapy: Manual and Certification for Therapists.
From the basics of reincarnation to advanced regressive hypnosis techniques, this book guides you step by step on a transformative journey.
#Reading #BooksWorthReading #Therapy #PLT
www.amazon.com/-/es/Isis-Es...
Past Life Therapy: Manual and Certification for Therapists
Past Life Therapy: Manual and Certification for Therapists [Estrada, Isis, Estrada, Isis, Arts Project, Holos] on Amazon.com. *FREE* shipping on qualifying offers. Past Life Therapy: Manual and Certification for Therapists
www.amazon.com
January 8, 2026 at 10:59 PM
lobste.rs.web.brid.gy
Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations
Comments
blog.janestreet.com
January 8, 2026 at 9:52 AM
jbzfn.bsky.social
📊 The Cost of a Closure in C, The Rest

#c #plt #programming
thephd.dev/the-cost-of-...
The Cost of a Closure in C, The Rest
The last article checked the landscape of various C and C extension implementations of Closures for their performance capabilities. But, there were a few tweaks and extra things we could do to check…
thephd.dev
January 7, 2026 at 11:01 PM
jbzfn.bsky.social
⚡ C3 | An evolution, not a revolution

#c3 #c #plt #programming
c3-lang.org
C3
C3 is a programming language that builds on the syntax and semantics of the C language, with the goal of evolving it while still retaining familiarity for C programmers.
c3-lang.org
January 7, 2026 at 9:00 PM
jbzfn.bsky.social
⚡ Why I switched away from Zig to C3 // lowbytefox

#c3 #ziglang #plt #programming
lowbytefox.dev/blog/from-zi...
Why I switched away from Zig to C3
LowByteFox's Personal Website
lowbytefox.dev
January 7, 2026 at 7:00 PM
jbzfn.bsky.social
Extensibility: The "100% Lisp" Fallacy // Kana

#lisp #plt #programming
kyo.iroiro.party/en/posts/100...
Extensibility: The "100% Lisp" Fallacy
So, I've seen some articles promoting Emacs-like editors written in Lisp languages, and one of the most common arguments seems to be: "it's written in This Lisp and also scriptable in This Lisp, and…
kyo.iroiro.party
January 7, 2026 at 5:02 PM
lobste.rs.web.brid.gy
Functors, Applicatives, and Monads: The Scary Words You Already Understand
Comments
cekrem.github.io
January 6, 2026 at 4:33 AM
bluesky.awakari.com
Thompson tells how he developed the Go language at Google. - YouTube https://www. youtube.com/watch?v=NTrAISNdf70 # golang # plt

Interest | Match | Feed
Origin
indieweb.social
January 5, 2026 at 2:28 AM
lobste.rs.web.brid.gy
Was it really a Billion Dollar Mistake?
Comments
www.gingerbill.org
January 3, 2026 at 5:15 AM
lobste.rs.web.brid.gy
Designing type-safe sync/async mode support in TypeScript
Comments
hackers.pub
January 2, 2026 at 1:56 PM
lobste.rs.web.brid.gy
Reasons to Love the Field of Programming Languages
Comments
danilafe.com
January 2, 2026 at 6:16 AM
symbo1ics.bsky.social
OH ames | im collecting examples of That Error Message from production compilers

gist.github.com/plt-amy/2e79...
#plt #typetheory
you know what? fuck you *escapes your skolem*
you know what? fuck you *escapes your skolem*. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
January 1, 2026 at 7:33 PM
lobste.rs.web.brid.gy
LispMe: An Implementation of Scheme for the Palm Pilot
Comments
citeseerx.ist.psu.edu
December 31, 2025 at 8:28 PM
lobste.rs.web.brid.gy
Formally speaking, "Transpiler" is a useless word
Comments
people.csail.mit.edu
December 30, 2025 at 11:41 PM
jbzfn.bsky.social
👉 From Zero to QED: An informal introduction to formality in Lean 4

#lean4 #plt #formal
sdiehl.github.io/zero-to-qed/
From Zero to QED: An informal introduction to formality in Lean 4
An informal introduction to formality in Lean 4
sdiehl.github.io
December 30, 2025 at 2:00 PM
lobste.rs.web.brid.gy
Nature Programming Language
Comments
nature-lang.org
December 23, 2025 at 4:33 AM
jbzfn.bsky.social
👾 Romforth: Ultra Portable, Small, Baremetal Forth for various processors

#romforth #forth #forthlang #plt
GitHub - romforth/romforth: Ultra Portable, Small, Baremetal Forth for various processors
Ultra Portable, Small, Baremetal Forth for various processors - romforth/romforth
github.com
December 22, 2025 at 8:01 AM
lobste.rs.web.brid.gy
Inverse parentheses
Comments
kellett.im
December 22, 2025 at 4:23 AM
holosarts.bsky.social
'Discover Your Past Lives: A Journey of Self-Knowledge' by Dr. Isis Estrada.
Dive into regression techniques, meditation, and past life healing to overcome blocks, identify patterns, and awaken innate gifts.
#PLT #PLR #PastLivesTherapy #Reincarnation
www.amazon.com/dp/B0CHL1CF16
Discover your Past Lives: A Journey of Self-Knowledge
Discover your Past Lives: A Journey of Self-Knowledge [Estrada, Isis, Arts Project, Holos] on Amazon.com. *FREE* shipping on qualifying offers. Discover your Past Lives: A Journey of Self-Knowledge
www.amazon.com
December 20, 2025 at 11:48 PM
lobste.rs.web.brid.gy
Granule, a statically-typed linear functional language with graded modal types
Comments
github.com
December 21, 2025 at 5:50 AM
majoranaoedipus.mathstodon.xyz.ap.brid.gy
*Control structures*
by Xavier Leroy
Collège de France, chair of software sciences, 2023-2024
https://xavierleroy.org/CdF/2023-2024/

#plt #tcs
COLLEGE DE FRANCE Control structures Introduction and course outline Xavier Leroy 2024-01-25 College de France, chair of software sciences xavier.leroy@college-de-france.fr Course outline 25/01 The birth of control structures: from “goto” to structured programming. + Assembly, FORTRAN, Algol, and descendants + The movement for structured programming + Expressiveness of structured control 01/02 Non-local control: from subroutines to functions and coroutines + Subroutines, procedures, functions: for structure and for reuse + Non-local goto vs. exceptions + Iterators, generator, coroutines, cooperative threads 08/02 Declarative programming: getting rid of control? + Expression languages + Dataflow languages. + Functional languages. + Logic languages. 15/02 Continuations and control operators: building blocks for control structures + Continuations as a semantic tool. + Programming in continuation-passing style. + Control operators: using continuations in direct style. 22/02 The practice of effects: from exceptions to effect handlers. + Exceptions, restartable exceptions, continuation capture. + Effect handlers in OCaml 5. + Examples of uses: coroutines, cooperative threads. 29/02 The theory of effects: from monads to algebraic effects + Monads: a theory of effect propagation. + Free monads and interaction trees. + Algebraic effects: a theory of effect generation. + Effect handlers: in the semantics, in the language. 07/03 Static typing of effects + Type safety for advanced control structures. + Type and effect systems. 14/03 Program logics for control and effects + Hoare logics for classic control structures. + Separation logics for effect handlers. Slide titled “Specifying a reduction strategy using operational semantics.” The slide explains that a reduction strategy is specified by (1) a set of head reductions e→εe′ and (2) a set of reduction contexts C. In the center, an inference rule is shown: e→εe′C[e]→C[e′] indicating that if an expression e head-reduces to e′, then placing it inside any reduction context C yields a full reduction from C[e] to C[e′]. At the bottom, a diagram visualizes this idea: On the left, a large triangle labeled C contains a smaller triangle labeled e. On the right, the same context C contains e′. A red arrow labeled “reduction” goes from the left composite C[e] to the right composite C[e′]. A blue arrow labeled “head reduction” goes from e to e′ inside the context. Slide number 24 appears in the bottom-right corner.
December 19, 2025 at 3:23 AM