Video

"Systems programmers are high priests of a low art." -- Robert S. Barton

This is very likely the most important talk about programming languages that has been given

lots of interesting and non intuitive points here

I miss having the option for "sort:indexed" in code searches on the new search engine... It's frustrating to sift through search results from six years ago, especially when dealing with outdated code that's no longer relevant. Libraries evolve rapidly, making it crucial to prioritize current and relevant results to stay efficient...

what is the weight of snapshot of DB sharing across multiple DC and each time sharing that to be in sync doesn't it effect the efficiency of system.

Performance of devices reletive to the things software companies write only starts to increase when handware performance increases outpace software scope increases. And even then software scope increases have to have a linear relationsbip to performance cost. Yet we all know thats not how it ends up working. Increasing scope by 10% does not increase performance cost by just 10%. And thats only the case when hardware performance increases are actually utilized for peformance. Rather then energy usage reduction, or new features(like AI portions), or smaller die size, or composability. So no the premise that we are moving towards software being easier to run is not clearly happening. Seondly bandwidth is still a bottleneck. Korea, Austria, nd many other places have companies preventing the cost of bandwidth going down in those areas. Also the same applies here. Bandwidth cost has to outpace data size. Lastly latency has become more important yes, but also not really. Its been very important for a long time. Its not like its become more important. Also note that many many countries globally have reletively low access to bandwidth, performance, and latency. The premise set out at the start is drasticly more situational than how it is actually framed.

That list of algebraic properties is a really memorable phrasing. It'd be useful for education. I'll reproduce it below. Associative: grouping doesn't matter! Commutative: order doesn't matter! Idempotent: duplicates don't matter! Identity: this value doesn't matter! Zero: other values don't matter!

Sometimes notebook/live coders create programs only they can run, because there is a certain dance you have to do with the machine, which acts like a magical incantation that produces output. The reason for Haskell style types is that the compiler will help you find the missing piece that fits the hole. Due to my low working memory I love machines that think for me. With unicode, most languages already support glyphs which are weirder than cosplaying tty.

Statistics programs exist for factories and others for stuff like A B testing. See JMP for an example.

Thanks for this

You can get benefits of LLVM compilation AND utilize all the runtime hotspot information that languages that arent a static binary can. This exists in Java and the JVM languages like clojure and kotlin under the VM "Azule plateform prime". This utilizes all the information you get from seeing how the program is being used in production. And is able to combine that information with the ability to convert hot live code into optimized llvm compiled code. You mention garbage collection pauses. That same VM doesnt have pauses when garbage collecting.

Languages like clojure have tools that allow for near full mutability performance, without the risks and problems that come with mutability.

I think making an interface between Elm and graalVM would probly be an easier way to get a binary compilation method. Rather than remaking the whole language with a different compile target.

Thank you for a fascinating lecture. Does anyone know where one can find the schematic diagrams of the Voyager radio transmitter / receiver? I have seen a block diagram of the radio system but no a schematic down to component level. I would be really interested to see this. Hope someone can help.

im peruvian, I have no deal doing herr but damn, these have been one of the best series of conferences that i've watched ever. I discovered it on 2022, it was an awesome ride.

This is excellent

12:14 malloc can return null though

One thing I'd like to see is how AIMD is configured. How do you decide backoff factor in multiplicative decrease and additive factor in Additive increase?

Consciousness is a big library where all the concepts are making iterations to be the more efficient for the being they're computing for....

didn't expect a Harry Mack namedrop in a Strange Loop talk!

This is an excellent presentation. Many things seem to have evolved since, such as the Rust language, and that all fields are optional. Is there a newer version of this presentation?

Toolsets for making more toolsets, genius thinking

This is very good

Point free programming is actually less expressive, not more. Because you express less, and being more implicit. Tacit means silence as you say. More silence is less expression.

last half of this talk is a gold mine for designers of future of programming systems

Brilliant!

Hello guys, Are you sharing the links to the resources? Thanks for your support!

I see some vim like structure in the grammar

10 years old and people are just catching up with this )

Can someone define hosting?

Appreciate this talk so much. I am ready to Roc.

A great talk, thanks

Saw this talk live and was dying with laughter! 😂 I also learned a ton too

My coworkers are wondering why I am cackling so much. Thank you.

You forgot some of the most popular programming languages in your categorization - C, C++ and Java.

Ideally, every time a financial transaction occurs on the internet, a portion of the revenue should automatically go to the open source projects that the transaction depends on.

This talk is based af. There's so many factors that I hadn't realised before. Respect for speaking on such a complex topic so candidly.

Now Treesitter has given Neovim superpowers by allowing it understand ASTs

one of the coolest talks and tech out there.

One of the all time greats. Absolute legend.

"Aesthetically challenged" has to be my main takeaway from this talk.

Is thert anything that would allow for automatic code simplification?

26:44 Algorithms that are trained on the same dataset share the same quirks. This is still mind-blowing to me - it's like a secret language.

Probably the only Rust video you need

The speaker is so good!

About the headers, man pages, etc. - that's exactly how I document things on our internal wikis. Prune it down to what I know about, document "important columns", "important fields", "important parameters", with 1 example for each. Definitely.

Amazing lecture and very well taught!

This is one of the most glorious things I have seen

Not the _exact_ same hardware as the famicom.

Dear Sir , could you please tell me the precise value of the angle between the line of purples and the horizontal ? I tried to measure it on the screen of my laptop , but it is not very accurate . BTW is there also a precise equation for the curve depicting the spectral locus ?