Video

Use the right tool for the job. Most startups have switched to Go for backend. Very small number of companies actually use rust for that. Anybody can easily dive into go and pick up the idioms in sometime. Zig doesnt replace that and it doesnt compare with Rust's maturity.

It would be great to see you interviewing Casey Muratori. Casey holds a lot of knowledge about game development and low level code. I suppose a portion of your audience would enjoy lisening to him. I really enjoy the way you interview people. You’ve got real coding experience and you inspire your guests to talk about their technical solutions. It has depth in it. Casey is advertising his new course with cool stuff about low level language and CPU architecture. He keeps going to « young » interviewers that can’t extract the depth like you do.

Sick video Kris

Are there any articles or example code written about these "reduction trees"? Nothing shows up on my searches. Cheers!

This project, PyO3, is the life-changing one. I was really surprised, that even async Rust functions work too. Wonderful job, David!

pyo3 is awesome :) proc_macros really are a boilerplate killer

Combine python dependency concerns with rust borrow checker and async? Heaven.

Kris your guests are great! maybe would you consider someone doing software for space industry? I can recommend you Tomasz Czajka from SpaceX or other polish folks from iceye or kplabs space

Could you do an interview with the creator of the C3 language? It is a C alternative that fits in a similar spot to Odin and Zig.

Bookmark 31:44

I’ve been a Spotify listener for awhile now; this is an excellent episode of an excellent show.

Haskell, lisp and alike are good for hobby. But how many real world products are built with them? 0.000001% of the products built with java at best.

Fantastic podcast! Joran can talk for days on end about his baby, it must be quite inspiring to be on his engineering team. Developer voices ought to be an order of magnitude more popular, this was great

This channel deserves a lot more subscribers.

Will we be getting a python + zig interop episode next?

I honestly think at this point "how is it better than C?" question should be forbidden when talking about new languages. It's really not that hard to find something better than a dead horse in 2024. Yes, we know that errno is bad, we know that null terminated strings are bad, we know that C macros are bad. No new language competes against C, it competes against all other languages that compete against C. Tell me how this new language is better than zig, odin and rust.

Another great episode! Getting Charlie Marsh would be an amazing interview and follow up to this!

My 2 cents. Another compelling use case for PyO3 is when you have a Rust library implementing some complex logic that you need to share with various levels of your stack. PyO3 allows you to wrap an already complete, full featured, tested Rust library with a Python API with minimal effort.

I've always feared that someday, someone would pronounce "numpy" like that

Absolutely terrific interview but it makes me thinking... excluding DS and researchers... maybe, just maybe... we should stop asking half of the C, C++ and Rust community to write the heavy lifting code, so the other half can keep using Python?

The man, the legend himself, thanks for the great work. PyO3 introduced Rust to me some years ago, and I will be forever grateful for such a smooth experience.

Really love the new detailed chapter markers. 👍

PyO3 is exciting, as it Mojo. I've used cpp and python ctypes to remove python in hotspots of programs before, I wouldn't say it was painful but the learning curve was there and works well once it works. Low friction interop between Python and performant compiled languages offers something superior to a Python4. Imagine being able to call, cpp, rust, go, zig, mojo all from python as first class functionality...

Best programming language of all time. (collide like a super nova)

Chris seemed to be genuinely happy to share everything he did, phenomenal interview.

What the actual f, when the guy was talking about segment trees/fold maps I did not understand literally anything. Judging by the reaction of the host, I don't think he understood much either. At around 13:20. Lots of hand gestures, trapezoids, ropes, CRDT's -- I guess the guest expects all viewers to be writing high performance text editors on their spare time, but I doubt it's the case..

Omg, I love Gleam! Kris, can we please have a update with Louis!!! It's such a cool language that brought me into the BEAM ecosystem, and it's come so far and the community around it is awesome!

First of all, love the channel! I was looking for content like this and thank the celestial rewrite rules that I found it. Second, I have a basic question about functional logic programming to anyone who has the answer. In functional programming, our basic abstraction and means of computation is function application. We know how that can be done as there is plenty of literature on mapping the work of Church and Curry to the world of building functional compilers and interpreters (or just look up how apply+eval works in Lisps :) ). But in the world of functional logic programming, instead of N-ary functions, we have N+1-ary relations, and say I define the relational version of the map function (in a miniKanren-like syntax, modified a bit to decreate "jargon" for legibility): (define-relation map° [f xs ys] (disjunction (conjunction (== xs empty-list) (== ys empty-list)) (conjunction (exist [x xs' y ys'] (cons° x xs' xs) (apply° f [x] y) (cons° y ys' ys) (map° f xs' ys'))))) Looks like a straightforward translation of something like the naive Haskell version of map. But the key thing here is apply°, the relational equivalent of function application. My big problem is that I cannot imagine how to implement apply°. Any implementation I try to come up with, I just cannot find a proper algebra for treating f as the proper logic variable that can be passed around like this (hence the "higher order" phrase I keep using) and would work properly with unification in its environment and would also lead to values evaluated like a regular function would (again, tying back to unification). In addition to this, I don't even know if apply° should be implemented at this level, or at the constraint level (but that doesn't seem constructive on the face of it, as arbitrary function application very much does not seem like a finite domain). In a similar vein, how is an anonymous relation defined and implemented? I wonder how Verse implements this and if anyone can point me to literature where I might find the solution to this. I must admit I feel a bit like a fool, but my computer science background is quite limited in this area.

A very good podcast. I like the host, the guest and the subject.

As a programmer (not in low level systems), I can’t express how grateful I am for gifted people like Loris doing what they do for the world.

This is pretty interesting, but i would never want to work at a company micromanaging to the extent he seems excited for, no way in hell.

Huge convo on rewriting old code and how important it is to figure out the core behaviour of whatever your tryna revive

One of my favorite tools. The payload agnosticism and default nearest delivery are my two favorite aspects

Awesome interview! Looking at inko, I do think Yorick is missing a big part about syntax which is that approachable syntax does drive engagement and helps the userbase grow.

first i have learned about zig. great presentation. i am feeling positive about this project's future! he is a smart dude.

This guy can’t answer any questions properly.

Chris can you open up a ko-fi account so I don't have to send money to patreon corp?

Didn't expect this for sure. I watch Jeremy's casts for longer than yours.

what happens when nats hard down. Whole solution build on it is down too? Some apps just cannot get whole hard down, your SLA will not allow it. so you need to build solution without shared resources like nats and rather building silos. Then you need to diverge to that http stuff, webhooks, grpc. To the other hand I see NATS ok inside silo.

10mins in ... He still hasnt even tried to answer the basic question. Help !! Swiss army penknife ?

why are there no from scratch tutorial to advanced on duckdb anywhere?

Congrats to monetizing! Well earned, I'm grateful for the transparency and brevity. Very, very classy method, as const 😘 model CZcamsr, that's how it's done.

Interesting topic! Supr as always. Happy to support you on Patreon!

There goes my weekend…

excellent show, as always!

Kris, you are hands down, the best interviewer I’ve seen for programming related topics. Your questions and genuinely thoughtful and I love how much room you give the interviewee to answer the questions while you take it in. Wonderful stuff