Sign in

pfeodrippe.bsky.social

@pfeodrippe.bsky.social
20 followers 35 following 12 posts
PostsRepliesMedia
Reposted by @pfeodrippe.bsky.social
Gabriela Moreira @bugarela.com · 16/04/2026
I'm happy to announce that @quint-lang.org is becoming its own company with me as its CEO. I have an incredible team joining me in this new journey as we spin out of Informal Systems into Quint Co.
2142
Reposted by @pfeodrippe.bsky.social
Quint @quint-lang.org · 16/04/2026
Quint started as a question: how do we actually trust the systems we're building? Today it becomes its own company, with @bugarela.com as CEO.
2102
Reposted by @pfeodrippe.bsky.social
Jeaye Wilkerson @jeaye.com · 02/05/2025
Wake up, babe, there's a new jank post out showcasing some badass seamless C++ interop. #clojure + #cpp == jank jank-lang.org/blog/2025-05...
jank-lang.org
Starting on seamless C++ interop in jank
jank is the first Lisp to be able to seamlessly reach into C++. Check it out!
1299
pfeodrippe.bsky.social @pfeodrippe.bsky.social · 02/05/2025
This « Fifth branch » series in the Tradeoffs podcast is amazing open.spotify.com/episode/4bXx...
open.spotify.com
The Fifth Branch: Keeping People Safe
Tradeoffs · Episode
010
pfeodrippe.bsky.social @pfeodrippe.bsky.social · 12/04/2025
Using supercollider to have some directional sound (via overtone and powered by the ATK lib + some low-pass filtering to create "distance"). Composition is still ugly, but I'm reasonably happy with the "3d sound".
000
Reposted by @pfeodrippe.bsky.social
Jeaye Wilkerson @jeaye.com · 28/03/2025
The culmination of the last 3 months of work is revealed. Can jank beat #clojure's error messages? jank-lang.org/blog/2025-03...
jank-lang.org
Can jank beat Clojure's error reporting?
Ooohh, you're in a for a treat! Learn all about the tricks of error reporting in compilers and see some incredibly fancy error output from jank.
0185
Reposted by @pfeodrippe.bsky.social
Rami Ismail (رامي) @ramiismail.com · 24/03/2025
It's been a while since I've done this, and the world is bleak - so we can all use a little art & creativity. What is everyone creating nowadays? Games, art, music, video, writing, anything - whether it is early, almost done, or just shipped. Feel free to include trailers, images, links - whatever.
5812010775
Reposted by @pfeodrippe.bsky.social
kat cosgrove @kat.lol · 19/03/2025
I'm looking for my next thing, and I need to move fast. I have several years of experience in developer relations from startups to the enterprise, and I'm particularly skilled at distilling complex topics into something easily understood by newbies and non-technical folks alike, on stage or off. 1/3
6344206
pfeodrippe.bsky.social @pfeodrippe.bsky.social · 13/02/2025
I'm now able to run a JVM (with the Clojure REPL) inside Blender, and this enables fancy pointer sharing as you can see in the video (some people call it unsafe). Let's see how far we can go towards using Blender as a game editor \o #gamedev #blender #clojure
261