stefan brunthaler

Add a "don't scroll with load new" option · Issue #976 · bluesky-social/social-app · GitHub I like to pick up where i left off if I left app for a few hours. What I don't like is that the load new just auto scrolls to top, which then leaves me having to read in reverse until I "catch up" ...

Bluesky still doesn't support to continue from where I left off. Whilst checking for alternative clients, I found github.com/bluesky-soci... (only two years in the making)

I think there is space for updating Landin's classic: The next 700 smart contract languages.
(In particular highlighting security problems that inevitably occur since deeper knowledge of proglangs hasn't proliferated as much as it should.)

-Lazarus Group ran a watering hole + zero-day combo attack
-Targets included at least six South Korean tech companies
-The zero-day was in CrossEx, a browser security tool

securelist.com/operation-sy...

Socket Acquires Coana to Bring Reachability Analysis to Ever... Socket is bringing best-in-class reachability analysis into the platform — cutting false positives, accelerating triage, and cementing our place as th...

Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...

Robert Dennard, DRAM Pioneer, Dies at 91 IEEE also remembers the lives and legacies of other members

I totally missed that Dr. Dennard passed last year. I use his DRAM chips all the time! #dram #rip spectrum.ieee.org/in-memoriam-...

How I implement SSA form How I implement SSA form. GitHub Gist: instantly share code, notes, and snippets.

For everyone not on Mastodon:

Fil Pizlo wrote a highly recommend post on his approach to SSA construction:

gist.github.com/pizlonator/c...

What is the latest estimate for global datacenter energy consumption? The last estimates from 2023 estimated that 2022 consumption of ~460 teraWh would go to 1.1 pWh by 2026, but I think we have accelerated past that? Does anyone have better numbers? Is 1.1 pWh still reasonable?

Wise choice. The original term Cohen used in 93 is program evolution. Great paper, similarly vocabulary unfit for 47 and his Musk-eteer, I'm afraid...

Even worse, we built a compiler that enables large-scale D. 😱!

Wow, pretty sure my research in software diversity would also fall into this neo Marxist/DEI search & replace strategy...

YouTube video by ScreenFlanders Köln 75 International trailer

A film all about Keith Jarrett's legendary 1975 Köln concert? Ja mann!
youtu.be/j83Ps9SmpF8?...

Or is it a *me* thing? What do I need to do to make this work? Self patch a la revanced?

Haven't really followed up on bsky recently, stuck with Mastodon, which has a small, but active PL crowd, highly recommended. The diversity of Twitter was what attracted me in the first place and bsky fills this need nicely. But damn, their client still goes to the most recent post upon loading 🤦‍♂️

O1, R1, etc. are so good that we evaluate them on “PhD-level” benchmarks. But, these benchmarks are so hard that most people can’t even understand what they are testing. We’ve built a benchmark with problems that are hard to solve but easy to verify: for both humans and models.

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February!
Submit your abstracts!
socalpls.github.io

@ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social
Reposts appreciated!

Every 25 minutes of this is video from **1981** is worth watching. Wow. This is what they took away from us.
HT @gregorkiczales.bsky.social

I like that Bahnhof and Schule are relevant!

"The best cryptography in the world will not guard against buggy code." (1994) from Steve Bellovin's retirement talk www.cs.columbia.edu/~smb/blog/20...

Congratulations to this year's second #ACSAC2024 distinguished paper award winners: André Rösti, Stijn Volckaert, Michael Franz, Alexios Voulimeneas 👏👏👏 The talk "I’ll Be There for You! Perpetual Availability in the A8 MVX System" is Thursday in the "System Security" session!

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages, by Nicolas van Kempen, Hyuk-Je Kwon, Dung Tuan Nguyen, and Emery Berger, at the University of Massachusetts Amherst

"It's Not Easy Being Green: On the Energy Efficiency of Programming Languages" Nicolas van Kempen, Hyuk-Je Kwon, Dung Tuan Nguyen, Emery D. Berger Does the choice of programming language affect energy consumption? Previous highly visible studies have established associations between certain programming languages and energy consumption. A causal misinterpretation of this work has led academics and industry leaders to use or support certain languages based on their claimed impact on energy consumption. This paper tackles this causal question directly. It first corrects and improves the measurement methodology used by prior work. It then develops a detailed causal model capturing the complex relationship between programming language choice and energy consumption. This model identifies and incorporates several critical but previously overlooked factors that affect energy usage. These factors, such as distinguishing programming languages from their implementations, the impact of the application implementations themselves, the number of active cores, and memory activity, can significantly skew energy consumption measurements if not accounted for. We show -- via empirical experiments, improved methodology, and careful examination of anomalies -- that when these factors are controlled for, notable discrepancies in prior work vanish. Our analysis suggests that the choice of programming language implementation has no significant impact on energy consumption beyond execution time.

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
arxiv.org/abs/2410.05460 @nicovank.bsky.social

Registration for PLISS (Programming Language Implementation Summer School) 2025 is now open! If you're interested in programming languages, this is the place to be -- great speakers and a conducive location! pliss.org/2025/

Hopefully this is going to usher in a new era in business school thinking. After Boeing, Intel, multiple car manufacturers, and god knows what else, detailed analyses of business cases and decisions should uncover enormous management failures...

For the hackers among us: o1 can do @halvarflake.bsky.social 's crackaddr-mini without any problems , which no other model can do. It's going to revolutionize the AIxCC program and automated vulnerability finding in general.

TIL: dblp.org/faq/1474577....

Other question: What's inside the book? Are the contents available online? Is it all APL meets Prolog? (I'm imagining SIMD parallel logic queries, should I go and see a doctor?)

Haven't been a big DB guy (stayed with compilers ;), how is the Kanellakis book?

It seems to me that the EU lacking a single market for startups, is less and less true. Granted there are bureaucratic problems (legal and tax issues), but the majority of people understand some form of English, with rates continuously improving. (Seems like an enormous opportunity, going forward.)

Not an expert in any way, but it seems like French car manufacturers are a lot less exposed to Chinese problems, esp. compared to Germany. If that turns out to be true, would be super interesting to get some background information.

Glad you found the time to write it down, given you suspected obstacles. We should have a Pulitzer prize for science articles, this one would qualify! (If only there'd be a collection of such articles somewhere...)

Beautifully written post about frequently misunderstood aspects of PLs, esp. Lisp and derivatives. Required reading, IMHO.