stefan brunthaler
@sbrunthaler.bsky.social
Language-based security is the continuation of compiler construction by other means.
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
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)
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" ...
github.com
June 13, 2025 at 2:05 PM
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.)
(In particular highlighting security problems that inevitably occur since deeper knowledge of proglangs hasn't proliferated as much as it should.)
June 13, 2025 at 1:53 PM
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.)
(In particular highlighting security problems that inevitably occur since deeper knowledge of proglangs hasn't proliferated as much as it should.)
Reposted by stefan brunthaler
-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...
-Targets included at least six South Korean tech companies
-The zero-day was in CrossEx, a browser security tool
securelist.com/operation-sy...
April 24, 2025 at 11:19 AM
-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...
-Targets included at least six South Korean tech companies
-The zero-day was in CrossEx, a browser security tool
securelist.com/operation-sy...
Reposted by stefan brunthaler
Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...
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...
socket.dev
April 23, 2025 at 12:41 PM
Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...
Reposted by stefan brunthaler
I totally missed that Dr. Dennard passed last year. I use his DRAM chips all the time! #dram #rip spectrum.ieee.org/in-memoriam-...
Robert Dennard, DRAM Pioneer, Dies at 91
IEEE also remembers the lives and legacies of other members
spectrum.ieee.org
April 17, 2025 at 2:16 PM
I totally missed that Dr. Dennard passed last year. I use his DRAM chips all the time! #dram #rip spectrum.ieee.org/in-memoriam-...
For everyone not on Mastodon:
Fil Pizlo wrote a highly recommend post on his approach to SSA construction:
gist.github.com/pizlonator/c...
Fil Pizlo wrote a highly recommend post on his approach to SSA construction:
gist.github.com/pizlonator/c...
How I implement SSA form
How I implement SSA form. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
February 14, 2025 at 7:02 PM
For everyone not on Mastodon:
Fil Pizlo wrote a highly recommend post on his approach to SSA construction:
gist.github.com/pizlonator/c...
Fil Pizlo wrote a highly recommend post on his approach to SSA construction:
gist.github.com/pizlonator/c...
Reposted by stefan brunthaler
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?
February 13, 2025 at 10:11 AM
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?
Reposted by stefan brunthaler
A film all about Keith Jarrett's legendary 1975 Köln concert? Ja mann!
youtu.be/j83Ps9SmpF8?...
youtu.be/j83Ps9SmpF8?...
Köln 75 International trailer
YouTube video by ScreenFlanders
youtu.be
February 5, 2025 at 10:45 AM
A film all about Keith Jarrett's legendary 1975 Köln concert? Ja mann!
youtu.be/j83Ps9SmpF8?...
youtu.be/j83Ps9SmpF8?...
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 🤦♂️
February 5, 2025 at 7:41 AM
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 🤦♂️
Reposted by stefan brunthaler
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.
February 4, 2025 at 2:37 AM
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.
Reposted by stefan brunthaler
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!
Submit your abstracts!
socalpls.github.io
@ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social
Reposts appreciated!
Home · SoCal PLS
socalpls.github.io
December 20, 2024 at 7:50 PM
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!
Submit your abstracts!
socalpls.github.io
@ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social
Reposts appreciated!
Reposted by stefan brunthaler
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
HT @gregorkiczales.bsky.social
Beau Sheil uses the Interlisp-D Masterscope program analyzer and the DEdit structure editor to gain insight into and modify the code of a program, a tree editor for linguistics applications.
Demo for the 1981 IJCAI conference.
www.youtube.com/watch?v=cKjF...
#interlisp #lisp #retrocomputing
Demo for the 1981 IJCAI conference.
www.youtube.com/watch?v=cKjF...
#interlisp #lisp #retrocomputing
(1981) Interlisp-D Demonstration by Beau Sheil
YouTube video by Medley (Interlisp and Common Lisp)
www.youtube.com
December 18, 2024 at 6:21 PM
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
HT @gregorkiczales.bsky.social
Reposted by stefan brunthaler
"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...
SMBlog -- 9 May 2024
www.cs.columbia.edu
December 16, 2024 at 7:53 AM
"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...
Reposted by stefan brunthaler
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!
December 11, 2024 at 6:57 PM
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!
Reposted by stefan brunthaler
It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
arxiv.org/abs/2410.05460 @nicovank.bsky.social
arxiv.org/abs/2410.05460 @nicovank.bsky.social
December 11, 2024 at 3:30 PM
It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
arxiv.org/abs/2410.05460 @nicovank.bsky.social
arxiv.org/abs/2410.05460 @nicovank.bsky.social
Reposted by stefan brunthaler
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/
December 9, 2024 at 5:10 PM
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...
With all of the multiple overlapping crisis events brewing, I wake up to multiple very smart folks at the cutting edge of this business very concerned about the future of the Intel Foundry in the face of moves by their board, after years of b-school driven bumbling that ....
December 9, 2024 at 4:03 PM
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...
Reposted by stefan brunthaler
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.
December 5, 2024 at 6:05 PM
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.
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.)
December 2, 2024 at 4:02 PM
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.
December 2, 2024 at 3:57 PM
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.
Beautifully written post about frequently misunderstood aspects of PLs, esp. Lisp and derivatives. Required reading, IMHO.
Sometimes it takes me 22 years (+ one evening) to write a blog post. Here are my thoughts on "homoiconicity" and, as an alternative, "bicameral syntax". (Warning: 4000 words.)
parentheticallyspeaking.org/articles/bic...
parentheticallyspeaking.org/articles/bic...
Bicameral, Not Homoiconic
Parenthetically Speaking: Articles by Shriram Krishnamurthi
parentheticallyspeaking.org
December 2, 2024 at 8:17 AM
Beautifully written post about frequently misunderstood aspects of PLs, esp. Lisp and derivatives. Required reading, IMHO.
Reposted by stefan brunthaler
Who's got the best "PL implementation" grad course?
November 30, 2024 at 2:30 PM
Who's got the best "PL implementation" grad course?
Not sure I'm holding this bsky thing right: Every time it starts, it shows me the newest, most recent messages, instead of the ones I missed from the last one I read. Is there a setting, am I getting old?
November 29, 2024 at 3:27 PM
Not sure I'm holding this bsky thing right: Every time it starts, it shows me the newest, most recent messages, instead of the ones I missed from the last one I read. Is there a setting, am I getting old?
Reposted by stefan brunthaler
Denver gave people experiencing homelessness $1k/month. A year later, nearly half had housing.
They also had fewer ER visits, nights spent in a hospital, and jail stays.
The report estimates that this reduction in public service use SAVED the city $589k.
www.businessinsider.com/denver-basic...
They also had fewer ER visits, nights spent in a hospital, and jail stays.
The report estimates that this reduction in public service use SAVED the city $589k.
www.businessinsider.com/denver-basic...
Denver gave people experiencing homelessness $1,000 a month. A year later, nearly half of participants said they had housing.
Participants in Denver's basic-income program reported having more-secure housing, though results were similar in the trial and control groups.
www.businessinsider.com
November 26, 2024 at 12:47 AM
Denver gave people experiencing homelessness $1k/month. A year later, nearly half had housing.
They also had fewer ER visits, nights spent in a hospital, and jail stays.
The report estimates that this reduction in public service use SAVED the city $589k.
www.businessinsider.com/denver-basic...
They also had fewer ER visits, nights spent in a hospital, and jail stays.
The report estimates that this reduction in public service use SAVED the city $589k.
www.businessinsider.com/denver-basic...