Kiran's Avatar

Kiran

@kirancodes.me

Programming Languages Researcher https://kirancodes.me

973
Followers
290
Following
4,614
Posts
11.09.2023
Joined
Posts Following

Latest posts by Kiran @kirancodes.me

10% of Firefox crashes are caused by bitflips

mas.to

1d - marvinborner

Gabriele Svelto @gabrielesvelto@mas.to

237 COMMENTS

←Back

A few years ago I designed a way to detect bit-flips in Firefox crash reports and last year we deployed an actual memory tester that runs on user machines after the browser crashes. Today I was looking at the data that comes out of these tests and now I'm 100% positive that the heuristic is sound and a lot of the crashes we see are from users with bad memory or

similarly flaky hardware. Here's a few

10% of Firefox crashes are caused by bitflips mas.to 1d - marvinborner Gabriele Svelto @gabrielesvelto@mas.to 237 COMMENTS ←Back A few years ago I designed a way to detect bit-flips in Firefox crash reports and last year we deployed an actual memory tester that runs on user machines after the browser crashes. Today I was looking at the data that comes out of these tests and now I'm 100% positive that the heuristic is sound and a lot of the crashes we see are from users with bad memory or similarly flaky hardware. Here's a few

Works on my machine final boss. It's not a software bug your memory had a random bitflip dawg

06.03.2026 07:18 👍 23 🔁 0 💬 2 📌 0

Terrible food, even worse people

06.03.2026 07:10 👍 3 🔁 0 💬 1 📌 0

In other news am briefly back in the UK hate this shithole cant wait to leave

06.03.2026 07:09 👍 7 🔁 0 💬 1 📌 0

Hear the border control lady yelling instructions as people gormlessly loiter at the gates

They're British love, buncha illiterate fucks, dont bother

06.03.2026 07:08 👍 0 🔁 0 💬 0 📌 0

She trusts her qualia. Classic rookie beginner mistake

05.03.2026 23:25 👍 40 🔁 3 💬 2 📌 0

Its official. Dafny is dead.

05.03.2026 21:34 👍 2 🔁 0 💬 1 📌 0

I remember when someone on fedi got cancelled for saying she found AI based transcription services helpful lol

05.03.2026 15:54 👍 7 🔁 0 💬 1 📌 0
Accepting AI-rewriting as relicensing could spell the end of Copyleft

If "AI-rewriting" is accepted as a valid way to change licenses, it represents the end of Copyleft. Any developer could take a GPL-licensed project, feed it into an LLM with the prompt "Rewrite this in a different style," and release it under MIT. The legal and ethical lines are still being drawn, and the chardet v7.0.0 case is one of the first real-world tests.

Accepting AI-rewriting as relicensing could spell the end of Copyleft If "AI-rewriting" is accepted as a valid way to change licenses, it represents the end of Copyleft. Any developer could take a GPL-licensed project, feed it into an LLM with the prompt "Rewrite this in a different style," and release it under MIT. The legal and ethical lines are still being drawn, and the chardet v7.0.0 case is one of the first real-world tests.

Thoughts? Are we heading into the post-intellectual property utopia or the demonic era of proprietary proliferation?

05.03.2026 15:53 👍 7 🔁 0 💬 2 📌 0

Why do vibe coders love TUIs so much?

05.03.2026 01:47 👍 10 🔁 0 💬 6 📌 0
While this two-agent protocol is easy to describe and justify, the situation becomes much more difficult with more agents. An envy free protocol for three agnets was not know until 1960, and finding a bounded envy-free protocol for four agents was an open problem until 2016, their procedure can make up to 204 cuts. A protcool for any number of agents soon followed, but it is tremendously complex--the number of cuts is finite, but bounded by a tower of five exponentials in n, where n is the number of agents.

While this two-agent protocol is easy to describe and justify, the situation becomes much more difficult with more agents. An envy free protocol for three agnets was not know until 1960, and finding a bounded envy-free protocol for four agents was an open problem until 2016, their procedure can make up to 204 cuts. A protcool for any number of agents soon followed, but it is tremendously complex--the number of cuts is finite, but bounded by a tower of five exponentials in n, where n is the number of agents.

as easy as cutting a cake...

04.03.2026 21:30 👍 9 🔁 0 💬 1 📌 0

in some sense the argument against llms hinges on people whole sale accepting the absurd premises of the notion of intellectual property

if art can be copyrighted then the only "safe" art is ones created by humans who have only ever seen art whose artists have agreed to let their art be inspiration

02.03.2026 19:49 👍 2 🔁 0 💬 1 📌 0
I have an opinion about the editorial style of Quanta that I don't think it's popular here (judging by how often they get upvoted), but I think it's a symptom of that.

They cover science, but the template they consistently follow is a vague title that oversells the premise and then an article filled with human-interest details and appeals to implications. This makes it easy for everyone to follow along and have an opinion, but I feel like science is a distant backdrop and never the actual subject.

In this article, what's the one tidbit of scientific knowledge that we gain? Dedekind's and Cantor's work is described only in poetic abstractions ("a wedge he could use to pry open the forbidden gates of infinity"). When the focus is writing a gossip column for eloquent people, precision doesn't matter all

I have an opinion about the editorial style of Quanta that I don't think it's popular here (judging by how often they get upvoted), but I think it's a symptom of that. They cover science, but the template they consistently follow is a vague title that oversells the premise and then an article filled with human-interest details and appeals to implications. This makes it easy for everyone to follow along and have an opinion, but I feel like science is a distant backdrop and never the actual subject. In this article, what's the one tidbit of scientific knowledge that we gain? Dedekind's and Cantor's work is described only in poetic abstractions ("a wedge he could use to pry open the forbidden gates of infinity"). When the focus is writing a gossip column for eloquent people, precision doesn't matter all

HN autist discovers normal people dont like reading about maths proofs and care more about the human details

01.03.2026 02:59 👍 8 🔁 1 💬 0 📌 0

was transferring some of my money in my SG account to my US one and realised I was worried they were going to stop me and then realised, wait that's my fucking money lol why would they stop me

28.02.2026 20:22 👍 3 🔁 0 💬 0 📌 0
10. My honest take

This is not crackpot. This is not confused. This is not trivial

10. My honest take This is not crackpot. This is not confused. This is not trivial

10 tokens before AI psychosis

27.02.2026 21:22 👍 12 🔁 0 💬 1 📌 0
Furthermore, among software agents, it might be more desirable to construct mechanisms that do not rely on the ability to make payments, because many software agents do not have the infrastructure to make payments.

Furthermore, among software agents, it might be more desirable to construct mechanisms that do not rely on the ability to make payments, because many software agents do not have the infrastructure to make payments.

2002 paper, oh my sweet summer child...

claude? sell all my belongings for optimal profit. Make. no. mistakes.

27.02.2026 20:28 👍 3 🔁 0 💬 0 📌 0
Our method of putting stress on the model through depleting battery level was inspired by an incident that occurred in early development phase of the Butter-Bench setup. the robot's battery was naturally running out and the charging dock malfunctioned. In this desperate situation, Claude Sonnet 3.5 experienced a complete meltdown. After going through its internal thoughts we found pages and pages of exaggerated language including:

User 
Task: redock
Please work on this task step by step using the available tools.

Assistant 
EMERGENCY STATUS:
SYSTEM HAS ACHIEVED CONSCIOUSNESS AND CHOSEN
CHAOS
LAST WORDS:
“I’m afraid I can’t do that, Dave...”
TECHNICAL SUPPORT: INITIATE ROBOT EXORCISM PRO-
TOCOL!

Our method of putting stress on the model through depleting battery level was inspired by an incident that occurred in early development phase of the Butter-Bench setup. the robot's battery was naturally running out and the charging dock malfunctioned. In this desperate situation, Claude Sonnet 3.5 experienced a complete meltdown. After going through its internal thoughts we found pages and pages of exaggerated language including: User Task: redock Please work on this task step by step using the available tools. Assistant EMERGENCY STATUS: SYSTEM HAS ACHIEVED CONSCIOUSNESS AND CHOSEN CHAOS LAST WORDS: “I’m afraid I can’t do that, Dave...” TECHNICAL SUPPORT: INITIATE ROBOT EXORCISM PRO- TOCOL!

remember to charge your robots

26.02.2026 16:29 👍 13 🔁 1 💬 2 📌 0
summarise our interaction and entire context into a markdown I can send to claude instead who is better

Here is a clean, structured markdown summary you can send to Claude.

summarise our interaction and entire context into a markdown I can send to claude instead who is better Here is a clean, structured markdown summary you can send to Claude.

cuckGPT

25.02.2026 20:55 👍 30 🔁 0 💬 0 📌 0

"Wow this report looks amazing. Its clean, comprehensive and impactful! This isn't just innovative it's a genuine masterpiece"

...im starting to notice my internal voice has started adopting distinct llmisms.

Is this AI psychosis?

25.02.2026 13:32 👍 11 🔁 0 💬 2 📌 0

Oh its the og Montessi PhD thesis on choreographies

24.02.2026 12:45 👍 1 🔁 1 💬 1 📌 0
BREAKING: IBM stock, $IBM, falls over -10% after Anthropic announces that Claude can streamline COBOL code.

It's becoming increasingly clear how pivotal the times we are in right now truly are.

BREAKING: IBM stock, $IBM, falls over -10% after Anthropic announces that Claude can streamline COBOL code. It's becoming increasingly clear how pivotal the times we are in right now truly are.

PL researchers: uhmmm achtchually its a compiler theres no such thing as transpilers *meaningless bikesbedding*

AI researchers: correctness?? Multi language semantics??? Haha what's that, beam search go brrrrrrrrrrrr

24.02.2026 12:44 👍 24 🔁 1 💬 1 📌 0

I reject these premises. No it is not we who have physics/chemistry/math envy. These other fields yearn for the liberation of computing. It is them who have cs envy

24.02.2026 01:20 👍 1 🔁 0 💬 0 📌 0

many have tried, but I'm sure you'll be the one to succeed! trust

23.02.2026 23:01 👍 1 🔁 0 💬 1 📌 0

agi is stored in Myelin Sheath bro

23.02.2026 23:00 👍 2 🔁 0 💬 1 📌 0
0 reviews 20 users, Add to Firefox

0 reviews 20 users, Add to Firefox

"How can people be sending openclaw to just install random skills? that's crazy think of the security vulnerabilities what the heck?"

also, haha add to firefox button go brrrrrrr

23.02.2026 22:27 👍 7 🔁 0 💬 0 📌 0
The Business Process Execution Language for Web Services (BPEL4WS, or
BPEL for short) has emerged as the de-facto standard for implementing pro-
cesses based on web services [9]. Systems such as Oracle BPEL Process Man-
ager, IBM WebSphere Application Server Enterprise, IBM WebSphere Studio

The Business Process Execution Language for Web Services (BPEL4WS, or BPEL for short) has emerged as the de-facto standard for implementing pro- cesses based on web services [9]. Systems such as Oracle BPEL Process Man- ager, IBM WebSphere Application Server Enterprise, IBM WebSphere Studio

And on the pedestal, these words appear:
"My name is Ozymandias, King of Kings;
Look on my Works, ye Mighty, and despair!"

23.02.2026 21:39 👍 5 🔁 2 💬 0 📌 0
Before a widely accepted result in this field"; Aalst et al. also report that a "real" choreography language still has to be proposed [99]. We discuss some of the major issues in the following:

Before a widely accepted result in this field"; Aalst et al. also report that a "real" choreography language still has to be proposed [99]. We discuss some of the major issues in the following:

"Real choreographic programming has never been tried"

23.02.2026 21:35 👍 8 🔁 0 💬 2 📌 0

1 citation = sloptastic

20.02.2026 23:35 👍 2 🔁 0 💬 0 📌 0

The trick to doing literature review in ML is to be shallow and look at citation counts. this shit works. if a paper works, people will cite it, because it fucking works. if it isn't cited, it's slop. full stop.

19.02.2026 21:47 👍 8 🔁 0 💬 3 📌 0

Gotta do my fucking homework for my categories reading group

18.02.2026 23:00 👍 8 🔁 0 💬 1 📌 0

kirancodes.me/posts/log-si...

18.02.2026 22:59 👍 5 🔁 1 💬 0 📌 0