Nice, but hard to follow properly if you don’t already know #Jai:
“Four Years Of Jai” [2024], Smári McCarthy (https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/).
Via Lobsters: https://lobste.rs/s/ipvyhu/four_years_jai
Nice, but hard to follow properly if you don’t already know #Jai:
“Four Years Of Jai” [2024], Smári McCarthy (https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/).
Via Lobsters: https://lobste.rs/s/ipvyhu/four_years_jai
Neat:
“A Surprising Enum Size Optimization In The Rust Compiler”, James Fennell (https://jpfennell.com/posts/enum-type-size/).
Via Lobsters: https://lobste.rs/s/w3jjb2/surprising_enum_size_optimization_rust
Interesting, but I'm not completely sold on this idea:
"An Ode To Header Files", Josh Haberman (https://blog.reverberate.org/2025/01/27/an-ode-to-header-files.html).
A critique of #Zig by a #Rust coder:
“My Second Opinion On Zig”, Dimitri Sabadie (https://strongly-typed-thoughts.net/blog/zig-2025).
Via Lobsters: https://lobste.rs/s/pwqgmz/zig_what_i_think_after_months_using_it
On HN: https://news.ycombinator.com/item?id=42942618
On /r/Zig: https://old.reddit.com/r/Zig/comments/1ihyg6e/zig_what_i_think_after_months_of_using_it/
The #compiler for #Roc is being rewritten in #Zig (from #Rust) , prematurely IMO:
https://gist.github.com/rtfeldman/77fb430ee57b42f5f2ca973a3992532f (Richard Feldman)
On HN: https://news.ycombinator.com/item?id=42935516
On Lobsters: https://lobste.rs/s/0jknbl/roc_rewrites_compiler_zig
On /r/rust: https://old.reddit.com/r/rust/comments/1ihv12p/rewriting_roc_transitioning_the_compiler_from/
“Obvious Things C Should Do”, Walter Bright (https://www.digitalmars.com/articles/Cobvious.html).
“Why Safety Profiles Failed” [2024], Sean Baxter (https://www.circle-lang.org/draft-profiles.html).
On HN: https://news.ycombinator.com/item?id=41939967
On Lobsters: https://lobste.rs/s/lazatn/why_safety_profiles_failed
Episode 100 of the #SoftwareUnscripted #podcast was so interesting.
Richard Feldman talks to Chris Lattner about #Mojo, #Python, #Swift, #Rust, #CPlusPlus, #Roc, #LLVM, etc.
Audio: https://pod.link/1602572955/episode/cf74afbc4e0909c47764209ae1cf4694
Video: https://youtu.be/ENviIxDTmUA
Sad to be missing #pldi this week! Sending hugs to everybody over there. Hello from this freshly shorn flock
I'm at #PLDI this week and my team and I will be doing three talks: myself at EGRAPHs and Pascal at CP today, and myself again on Friday. If you're around and you're curious how tall I am or how I sound like feel free to drop by.
If you are not online and still curious about how I sound like head over to https://pldi24.sigplan.org for the Youtube streams.
All times are local Copenhagen times.
@aparna
[1] I went to the #pldi #ProgrammingLanguages conference around that time, and like almost ever conversation I had with an academic would involve mentioning the racial #racism discrimination, and oof it defo hurt the looks of indifference or annoyance that I got like I was dampening the mood. Mostly, tho not all, from white ppl, there were a few PoC at least to whom I cld vent at least...
I’m really looking forward to Copenhagen next week. It would be great to meet up with other PL folk because, for reasons, I will be missing #pldi itself.
“Go Evolves In the Wrong Direction”, Aliaksandr Valialkin (https://itnext.io/go-evolves-in-the-wrong-direction-7dfda8a1a620).
Via Lobsters: https://lobste.rs/s/ax4j9b/go_evolves_wrong_direction
“Mojo is inspired by Rust, but doesn’t aspire to be Rust” – paraphrasing Chris Lattner in this #video:
“Mojo: A Deep Dive On Ownership With Chris Lattner”, Modular (https://youtu.be/9ag0fPMmYPQ?si=aUpeql6SVXNtsC7p).
Eagerly waiting for part 2.
I’d have done something like this myself, so the dismissal on #Lobsters (https://lobste.rs/s/vs08dv/how_design_new_programming_language_from) is a bit surprising :
“How To Design A New Programming Language From Scratch” [2020], Drew DeVault (https://drewdevault.com/2020/12/25/How-to-design-a-new-programming-language.html).
This article by the creator of #Rust is a must-read for #PLDI folks to understand why it has “mutable XOR aliased” #references, a borrow-checker, and could drop #GarbageCollection to become a #SystemsProgramming language.
“Some Notes On Rust, Mutable Aliasing And Formal Verification”, Graydon Hoare (https://graydon2.dreamwidth.org/312681.html).
On HN: https://news.ycombinator.com/item?id=40375341
On Lobsters: https://lobste.rs/s/rushnh/some_notes_on_rust_mutable_aliasing
Intriguing, but a little extreme IMO:
“References Are Like Jumps”, Saoirse Shipwreckt (https://without.boats/blog/references-are-like-jumps/).
On HN: https://news.ycombinator.com/item?id=40349124
On Lobsters: https://lobste.rs/s/eslpei/references_are_like_jumps
“How Swift Achieved Dynamic Linking Where Rust Couldn't” [2019], Aria Beingessner (https://faultlore.com/blah/swift-abi/).
On HN: https://news.ycombinator.com/item?id=21488415 & https://news.ycombinator.com/item?id=34573527
On Lobsters: https://lobste.rs/s/rrrflo/how_swift_achieved_dynamic_linking_where & https://lobste.rs/s/88rsuc/how_swift_achieved_dynamic_linking_where