Reposted by Bogdan Popa
New post: "Async and finaliser deadlocks", based on an accidental poke from a recent episode of the excellent @oxide.computer podcast tratt.net/laurie/blog/...
November 12, 2025 at 11:28 AM
New post: "Async and finaliser deadlocks", based on an accidental poke from a recent episode of the excellent @oxide.computer podcast tratt.net/laurie/blog/...
Reposted by Bogdan Popa
My team at Apple is currently hiring for a role that focuses on compiler tools and infrastructure. If you’re interested in this opportunity, please take a look at the job posting here: jobs.apple.com/en-us/detail... #llvm #swiftlang
Compiler Tools Engineer - Jobs - Careers at Apple
Apply for a Compiler Tools Engineer job at Apple. Read about the role and find out if it’s right for you.
jobs.apple.com
July 23, 2025 at 5:59 PM
My team at Apple is currently hiring for a role that focuses on compiler tools and infrastructure. If you’re interested in this opportunity, please take a look at the job posting here: jobs.apple.com/en-us/detail... #llvm #swiftlang
Reposted by Bogdan Popa
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
www.plai.org
www.plai.org
Programming Languages: Application and Interpretation
Site for the PLAI book
www.plai.org
July 14, 2025 at 5:20 AM
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy!
www.plai.org
www.plai.org
Reposted by Bogdan Popa
macOS 26 Tahoe swaps out quirky, characterful app icons in the Dock for uniform iOS-style squircles.
I wrote a quick guide for users and developers on how to bring back the personality and charm of custom icon shapes in macOS:
simonbs.dev/posts/how-t...
I wrote a quick guide for users and developers on how to bring back the personality and charm of custom icon shapes in macOS:
simonbs.dev/posts/how-t...
How To Bring Back Oddly Shaped App Icons in macOS 26 Tahoe
Learn how to restore oddly shaped app icons in macOS 26, whether you're a user or a developer.
simonbs.dev
June 11, 2025 at 10:13 AM
macOS 26 Tahoe swaps out quirky, characterful app icons in the Dock for uniform iOS-style squircles.
I wrote a quick guide for users and developers on how to bring back the personality and charm of custom icon shapes in macOS:
simonbs.dev/posts/how-t...
I wrote a quick guide for users and developers on how to bring back the personality and charm of custom icon shapes in macOS:
simonbs.dev/posts/how-t...
RacketCon 2025: Call for Presentations racket.discourse.group/t/racketcon-...
RacketCon 2025: Call for Presentations
The RacketCon organizing committee is proud to announce the 2025 edition of RacketCon! The fifteenth RacketCon will take place at UMass Boston in Boston, Massachusetts, USA on October 4-5, 2025. R...
racket.discourse.group
May 4, 2025 at 4:42 AM
RacketCon 2025: Call for Presentations racket.discourse.group/t/racketcon-...
Reposted by Bogdan Popa
Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa...
conf.researchr.org/home/icfp-sp...
conf.researchr.org/home/icfp-sp...
FUNARCH 2025 - ICFP/SPLASH 2025
The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large
“Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...
conf.researchr.org
March 21, 2025 at 6:53 PM
Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa...
conf.researchr.org/home/icfp-sp...
conf.researchr.org/home/icfp-sp...
Reposted by Bogdan Popa
hell yeah guard statements for Rhombus
Add `guard` and `guard.let` by jackfirth · Pull Request #637 · racket/rhombus
This pull request adds guard statements (as seen in Swift and Rust) in the form of two new control flow utility macros, guard and guard.let. They're definition sequence macros that give straigh...
github.com
March 21, 2025 at 5:41 AM
hell yeah guard statements for Rhombus
Reposted by Bogdan Popa
The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category!
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
FUNARCH 2025 - ICFP/SPLASH 2025
The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large
“Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...
conf.researchr.org
March 19, 2025 at 9:18 PM
The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category!
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
Reposted by Bogdan Popa
Rhombus is ready for early adopters.
Learn more and get it now at rhombus-lang.org
Learn more and get it now at rhombus-lang.org
March 17, 2025 at 5:00 PM
Rhombus is ready for early adopters.
Learn more and get it now at rhombus-lang.org
Learn more and get it now at rhombus-lang.org
Reposted by Bogdan Popa
Racket - the Language-Oriented Programming Language - version 8.16 is now available for download.
Racket has an innovative modular syntax system and the installer includes incremental compiler, IDE, web server and GUI toolkit.
This release has expanded support for immutable and mutable treelists.
Racket has an innovative modular syntax system and the installer includes incremental compiler, IDE, web server and GUI toolkit.
This release has expanded support for immutable and mutable treelists.
Racket v8.16 is now available
We are pleased to announce Racket v8.16 is now available from https://download.racket-lang.org/. As of this release: Racket has expanded support for immutable and mutable treelists: A variety of…
racket.discourse.group
March 4, 2025 at 12:28 AM
Racket - the Language-Oriented Programming Language - version 8.16 is now available for download.
Racket has an innovative modular syntax system and the installer includes incremental compiler, IDE, web server and GUI toolkit.
This release has expanded support for immutable and mutable treelists.
Racket has an innovative modular syntax system and the installer includes incremental compiler, IDE, web server and GUI toolkit.
This release has expanded support for immutable and mutable treelists.
Reposted by Bogdan Popa
the programming language philosophy of providing very few features and libraries works well for Go specifically because based on the few design decisions its creators did make, I fully agree they can't be trusted to make any more
February 15, 2025 at 8:36 AM
the programming language philosophy of providing very few features and libraries works well for Go specifically because based on the few design decisions its creators did make, I fully agree they can't be trusted to make any more
Reposted by Bogdan Popa
Am I crazy or does simply running a Watch app in the iOS simulator next to its app counterpart break filesystem access for the iOS app? (Xcode 16.1; iOS 18.1)
February 9, 2025 at 12:47 PM
Am I crazy or does simply running a Watch app in the iOS simulator next to its app counterpart break filesystem access for the iOS app? (Xcode 16.1; iOS 18.1)
Reposted by Bogdan Popa
January 27, 2025 at 5:38 PM
iOS Media Center Progress Jank defn.io/2025/01/26/i...
iOS Media Center Progress Jank — defn.io
defn.io
January 26, 2025 at 2:19 PM
iOS Media Center Progress Jank defn.io/2025/01/26/i...
Reposted by Bogdan Popa
OCaml 5.3 has been released: discuss.ocaml.org/t/ocaml-5-3-...
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
January 9, 2025 at 2:32 AM
OCaml 5.3 has been released: discuss.ocaml.org/t/ocaml-5-3-...
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
Reposted by Bogdan Popa
Reposted by Bogdan Popa
🎙️ Episode 6: ƑẍɄʑʑ҉⟆Ƒu𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩
tlbh.it/006_fuzz.html
tlbh.it/006_fuzz.html
TLB hit 💥 Episode 6: ƑẍɄʑʑ҉⟆Ƒu𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩ Podcast Notes
tlbh.it
December 15, 2024 at 1:47 AM
🎙️ Episode 6: ƑẍɄʑʑ҉⟆Ƒu𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩
tlbh.it/006_fuzz.html
tlbh.it/006_fuzz.html
Reposted by Bogdan Popa
Ok, it's time for another one of these "Swift concurrency step-by-step" posts.
It explores working with types that are not Sendable. All based around reading a model from some data store.
www.massicotte.org/step-by-step...
It explores working with types that are not Sendable. All based around reading a model from some data store.
www.massicotte.org/step-by-step...
Concurrency Step-by-Step: Reading from Storage
Not too long ago, I was re-reading an “introductory” post I wrote. Honestly, I could barely make it though. I guess a big part of that is that my own defintion of “introduction” when it comes to concu...
www.massicotte.org
November 30, 2024 at 12:25 PM
Ok, it's time for another one of these "Swift concurrency step-by-step" posts.
It explores working with types that are not Sendable. All based around reading a model from some data store.
www.massicotte.org/step-by-step...
It explores working with types that are not Sendable. All based around reading a model from some data store.
www.massicotte.org/step-by-step...
Reposted by Bogdan Popa
"Scheme on WebAssembly: It is happening!" by @wingolog.org is up on youtube! it's a good watch if you're into #scheme and/or #wasm! www.youtube.com/watch?v=d2t4...
www.youtube.com
November 26, 2024 at 1:45 AM
"Scheme on WebAssembly: It is happening!" by @wingolog.org is up on youtube! it's a good watch if you're into #scheme and/or #wasm! www.youtube.com/watch?v=d2t4...
Platform-Specific Resources in SwiftPM — defn.io
defn.io
November 24, 2024 at 7:29 AM
Reposted by Bogdan Popa
“First class Prompt Engineering with llm lang! (This is a bad idea.)” by William Bowman at the (fourteenth RacketCon) is now available at https://buff.ly/4hUUDhK
#RacketCon
#RacketCon
William Bowman: First class Prompt Engineering with llm lang! (This is a bad idea.)
https://github.com/wilbowma/llm-lang"As we all know, generative AI and LLMs have replaced software engineering entirely, so all existing programming language...
buff.ly
November 19, 2024 at 11:00 AM
“First class Prompt Engineering with llm lang! (This is a bad idea.)” by William Bowman at the (fourteenth RacketCon) is now available at https://buff.ly/4hUUDhK
#RacketCon
#RacketCon
Reposted by Bogdan Popa
CloudFlare using Racket + Rosette to formally verify DNS config.
blog.cloudflare.com/topaz-policy...
#racket #lisp #dns #formalverification
blog.cloudflare.com/topaz-policy...
#racket #lisp #dns #formalverification
How we prevent conflicts in authoritative DNS configuration using formal verification
We describe how Cloudflare uses a custom Lisp-like programming language and formal verifier (written in Racket and Rosette) to prevent logical contradictions in our authoritative DNS nameserver’s beha...
blog.cloudflare.com
November 18, 2024 at 11:07 PM
CloudFlare using Racket + Rosette to formally verify DNS config.
blog.cloudflare.com/topaz-policy...
#racket #lisp #dns #formalverification
blog.cloudflare.com/topaz-policy...
#racket #lisp #dns #formalverification