@krisajenkins@mastodon.social
@krisajenkins@mastodon.social avatar

krisajenkins

@krisajenkins@mastodon.social

Lifelong programmer, chaotic good. Host of the Developer Voices podcast.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

krisajenkins, to programming
@krisajenkins@mastodon.social avatar

From to and beyond, there are coders that love the actor model. But how does it work? How do you design systems in an actor-based world?

Hugh McKee joins me to talk about the best patterns and approaches he's found for breaking the problem down and building an actor-system back up.

📺 Watch on YouTube: https://youtu.be/CBUWcUuG6Ss

🎧 Listen on Spotify: https://open.spotify.com/episode/6LvibKMNLLiJA1f1bfgzYI

krisajenkins, to random
@krisajenkins@mastodon.social avatar

Imagine Python, but with an opt-in type system, native parallelism and access to CPU/GPU-level optimisations - that’s the latest language from the creator of Swift.

It’s called Mojo, and it’s our topic of the week on Developer Voices:

https://youtu.be/JRcXUuQYR90

krisajenkins, to random
@krisajenkins@mastodon.social avatar

These days, when you join a new company your first task is figuring out which of your dumb questions should be asked in which Slack channels. 🙃

krisajenkins, to random
@krisajenkins@mastodon.social avatar

Is a borrow-checker the future of memory management, is garbage collection enough, or are there other techniques the software world should be exploring? 🤔

This week Evan Ovadia joins us to look at some of the most promising ways future programs might let you take control of your RAM: 📚

https://youtu.be/UavYVf0UEoc

krisajenkins, to neovim
@krisajenkins@mastodon.social avatar

I've been having so much fun writing little extensions for that I thought I'd record a walkthrough. 👨‍💻🥳

Here's a guide to making it talk to , or any command-line tool that speaks JSON:

https://youtu.be/HXABdG3xJW4

krisajenkins, (edited )
@krisajenkins@mastodon.social avatar

@ctietze So it is edited, but that error wasn't staged.
I'm sure I could write that code in <25m, but I can't write it, and explain it, flawlessly, in one take. Most of the edits are me tripping over my tongue. 😅

As for that specific error, it wasn't planned, but something always goes awry, and think it's more interesting to leave some problems in. 🙂

krisajenkins,
@krisajenkins@mastodon.social avatar

@ctietze Oh, if you want to see me live coding without any edits, take a look here: https://youtu.be/8bPDiuJGGh0?si=B6yiZwxw4t96UiSz

I'm sure I trip over my tongue plenty in that one. 😅

krisajenkins,
@krisajenkins@mastodon.social avatar

@ctietze Thanks!

Yeah, totally. I also don’t want to give newer devs the impression that they should be getting things right first time. Most of programming is getting it wrong a hundred times until the computer can get it right a billion times. 😁

krisajenkins,
@krisajenkins@mastodon.social avatar

@ctietze I’m thinking I might do an elisp video soon, before I forget all my skills. The elisp debugger and test runner are really excellent, and worth showcasing. 🙂

krisajenkins, to programming
@krisajenkins@mastodon.social avatar

I love the ideas in , but I’ve never quite gelled with the language. So when I heard someone was porting the runtime to , my ears pricked up.

Leandro Ostera joins me this week to explain how he's borrowing BEAM's best bits. 😅

📺 https://youtu.be/IxQ586TS8Gw

krisajenkins, to random
@krisajenkins@mastodon.social avatar

At long last, Tim Berglund has joined me on Developer Voices to talk about .🍷

It's an OLAP database that achieves some astonishing numbers, but how?? What's the architecture? 🏗️

Let's grill Tim and find out... 😁

📺 https://youtu.be/EkndmJztyzU

krisajenkins, to random
@krisajenkins@mastodon.social avatar

In theory, property testing will give us much smaller, more maintainable test suites, that cover far more cases than we could ever write by hand.

But it’s often hard to see how to apply the technique in practice.

The solution? Find someone who’s already walked that hard road, and learn from them. My guest this week is Oskar Wickström, who's sharing some seriously sneaky testing tricks... 😊

📺 https://youtu.be/wHJZ0icwSkc
🎧 https://open.spotify.com/episode/4JA86FGjA5S1d8FSvrMIrO

krisajenkins,
@krisajenkins@mastodon.social avatar

@ctietze Excellent! I've been making a lot more use of property tests since speaking with Oskar. And writing a few (surprisingly simple) extra functions to give me pairs. It is , as you say, super intriguing. 👍

krisajenkins, to random
@krisajenkins@mastodon.social avatar

This week’s podcast starts with a cracking story of how our guest got started in programming, before we dive into the real main course: what tricks are databases pulling to parallelize billion-row queries and answer them in seconds?

Join me & co-creator (& DB professor) Hannes Mühleisen for a delightful journey beyond the query planner.

📺 https://youtu.be/pZV9FvdKmLc
🎧 https://open.spotify.com/episode/56ZiKPj5mxc4nt0m8cvrSO

krisajenkins, to random
@krisajenkins@mastodon.social avatar

It's surprising how we keep rediscovering so many good computing ideas from the 60s and 70s.

Cynics will say there's nothing new under the sun, but as I see it, those years had lots of dreams that were ahead of their time. And too far ahead of the hardware requirements.

It's no wonder we're now in a place where we can revisit those ideas and make practical use of them.

krisajenkins, to haskell
@krisajenkins@mastodon.social avatar

Simon Peyton Jones is smartest, nicest and most infectiously-enthusiastic people in the whole of computing. So I'm thrilled to be learning from him this week as he joins me to talk about his long history of pushing & to the state of the art; his present work for Epic Games, formalizing Functional Logic Programming with ; and his vision for the future, raising the bar for computing education right from primary schools. ❤️

📺 https://youtu.be/UBgam9XUHs0
🎧 https://open.spotify.com/episode/6SZjeryW56NfMjpgId7ZTD?si=6006e295e50c46cd

krisajenkins, to random
@krisajenkins@mastodon.social avatar

Odin is a C-like language that has the wonderful goal of bringing joy back to programming. And a few more ambitious aims as well. Can it succeed? Let's ask its creator in this week's episode of Developer Voices:

🎧 https://open.spotify.com/episode/4cHCGsZlBnzkSRCJgeIm2y?si=E8A72nqdR4uI-DctuSZVRg
💻 https://youtu.be/aKYdj0f1iQI

krisajenkins, to random
@krisajenkins@mastodon.social avatar

It seems appropriate to finish the year with something that unites the past and future, so this week’s Developer Voices heads to the Chemistry Lab to hear how Common Lisp is helping develop molecular nanotechnology. This one could really (change the (world)).

🎧 https://pod.link/developer-voices/episode/8aace882f6957ac9aa3a3ea13981f98f
💻 https://youtu.be/fytGL8vzGeQ

krisajenkins, to random
@krisajenkins@mastodon.social avatar

I have to say, Unison's documentation system is just next-level brilliant.

  • All your libraries' docs are local.
  • Everything's perfectly hyperlinked, even after refactoring.
  • Markdown-ish with extensions that totally nail literate coding.

Seriously, if you're writing a language, look at Elm for the error messages and Unison for the docs.

(And Haskell for the monads, of course. 😅)

https://www.unison-lang.org/docs/usage-topics/documentation/

krisajenkins, to haskell
@krisajenkins@mastodon.social avatar

The first rule of being a Haskell fanboy is you never skip an opportunity to drop into a conversation. 🤓😁

(Clip from this week's on : https://youtu.be/88j7EEiyqzM)

video/mp4

krisajenkins, to random
@krisajenkins@mastodon.social avatar

This week on Developer Voices we look at #Unison - a new programming language designed from the ground up for distributed computing of all kinds...

🎧 https://pod.link/developer-voices/episode/b38035889883c7f6865ec6bd7911ebd6
📺 https://youtu.be/zHzpoVgqgc4

krisajenkins, to random
@krisajenkins@mastodon.social avatar

What database do you use? 🗄️
What database should you use?
And why are there so many DB choices anyway‽

This week we're making a map & charting our way through the DB landscape, with my friend & DB Guru, Ben Stopford:

🎧: https://pod.link/developer-voices/episode/db428de26134abbc746285f046b13034
📺: https://youtu.be/9JVPq_fbXVs

krisajenkins, to random
@krisajenkins@mastodon.social avatar

Today I'm launching a new looking at the future of software by talking directly to the devs who are trying to get us there.

We kick off with London's hippest new language designer, Louis Pilfold, the creator of Gleam.

📺 https://youtu.be/RntfkL8lUY4
🎧 https://pod.link/developer-voices

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • rosin
  • thenastyranch
  • Durango
  • DreamBathrooms
  • ngwrru68w68
  • magazineikmin
  • cisconetworking
  • Youngstown
  • mdbf
  • slotface
  • osvaldo12
  • GTA5RPClips
  • kavyap
  • megavids
  • InstantRegret
  • everett
  • cubers
  • vwfavf
  • normalnudes
  • tacticalgear
  • tester
  • ethstaker
  • khanakhh
  • modclub
  • Leos
  • anitta
  • JUstTest
  • All magazines
    •