Bogdan Popa

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.

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

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

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.

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...

docs.racket-lang.org/koyo/index.h... (disclaimer: I am the author)

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...

RacketCon 2025: Call for Presentations racket.discourse.group/t/racketcon-...

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...

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...

hell yeah guard statements for Rhombus

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...

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

Rhombus is ready for early adopters.
Learn more and get it now at rhombus-lang.org

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 - 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.

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

Writing My Own Dithering Algorithm in Racket My journey implementing a new dithering algorithm in the Racket programming language.

Writing a dithering algorithm in Racket

amanvir.com/blog/writing...

#lisp #scheme #racket

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)

Show HN: I Made an iOS Podcast Player with Racket (@defn.io)

Main Link | Discussion

iOS Media Center Progress Jank defn.io/2025/01/26/i...

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.

New blog post:

Technology is never a substitute for consent

lapcatsoftware.com/articles/202...

🎙️ Episode 6: ƑẍɄʑʑ҉⟆Ƒu𝔷𝔷⧫ᶳΩ𝓕𝕦𝘇𝘇֍⧩
tlbh.it/006_fuzz.html

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...

"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...

defn.io/2024/11/24/s...

‎Podcatcher: Podcast Player ‎Podcatcher is a powerful podcast player with a simple user experience. It is completely free. * Discover and subscribe to any podcast, or add a custom URL. * Optionally, get notified when new episod...

apps.apple.com/us/app/podca...

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...

“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

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...

CloudFlare using Racket + Rosette to formally verify DNS config.

blog.cloudflare.com/topaz-policy...

#racket #lisp #dns #formalverification