HNHacker News
TopNewBestAskShowJobs

SoKamil

924 karma · joined May 3, 2023

submissionscomments
SoKamil··on Flow: Actor-based language for C++, used by FoundationDB
FoundationDB is awesome testing wise as they have deterministic simulation testing [1] that can simulate distributed and operating system failures.

> We wanted FoundationDB to survive failures of machines, networks, disks, clocks, racks, data centers, file systems, etc., so we created a simulation framework closely tied to Flow. By replacing physical interfaces with shims, replacing the main epoll-based run loop with a time-based simulation, and running multiple logical processes as concurrent Flow Actors, Simulation is able to conduct a deterministic simulation of an entire FoundationDB cluster within a single-thread! Even better, we are able to execute this simulation in a deterministic way, enabling us to reproduce problems and add instrumentation ex post facto. This incredible capability enabled us to build FoundationDB exclusively in simulation for the first 18 months and ensure exceptional fault tolerance long before it sent its first real network packet. For a database with as strong a contract as the FoundationDB, testing is crucial, and over the years we have run the equivalent of a trillion CPU-hours of simulated stress testing.

[1]https://pierrezemb.fr/posts/notes-about-foundationdb/#simula...

SoKamil··on Toyota unintended acceleration and the big bowl of "spaghetti" code (2013)
Write a Bit Flip simulator and report your observations ;)
SoKamil··on The C++ standard for the F-35 Fighter Jet [video]
And what is the unintended thing that happens when you have unused variable?
SoKamil··on Nook Browser
> What most sticks out to me is the "Managers" directory. I've seen similar patterns before, even at my current place of work, but they seem to correlate with less experienced implementations

What is wrong with such structure? How would you structure this code? Genuinely asking

SoKamil··on Cloudflare was down
Looking at their market cap it’s 71.5B idea
SoKamil··on Netflix kills casting from its mobile app to most modern TVs
What is your local app of choice? Do you sync between devices?
SoKamil··on Google unkills JPEG XL?
> any substantial (non-degenerative)

Why this quality poses security issues?

SoKamil··on Migrating Dillo from GitHub
GitHub frontend is mostly still their own [1] Web Components based library. They use Turbo to do client side reloading. They have small islands of React based views like Projects view or reworked Pull Request review. The thing is, even if you disable JavaScript, sites still load sloow. Try it yourself. Frontend code doesn’t seem to be the bottleneck.

[1] https://github.blog/engineering/architecture-optimization/ho...

SoKamil··on SQLite as an Application File Format
I remember when I was a child I used to open WinRAR and try to open random files in games and programs to find some „hidden” assets.
SoKamil··on Crypto investors face tax crackdown as 70% non-compliant
> Doyle says many crypto investors mistakenly think they can sell some Bitcoin to buy some Etherium, and that making that a switch like that did not trigger an obligation to pay tax.

Okay, but what if you use stablecoin in between?

SoKamil··on Penpot: The Open-Source Figma
> very crash prone

> And a huge memory hog

On the server side or the frontend side?

SoKamil··on Migrating the main Zig repository from GitHub to Codeberg
> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, which I believe are at least in part due to GitHub aggressively pushing the “file an issue with Copilot” feature in everyone’s face.

Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Any non-mainstream platform is not as compelling to get social credits.

SoKamil··on A lightweight code editor with Vim mode, Git integration, and more
> HOW DOES ATHAS COMPARE TO OTHER EDITORS?

> Athas is an opinionated but highly customizable code editor, aiming to be lighter on resources

From Github:

> built with React, TypeScript, and Tauri

With all due honesty, this is not lightweight at all compared to other editors.

SoKamil··on The EU made Apple adopt new Wi-Fi standards, and now Android can support AirDrop
Telegram implemented such feature.

https://core.telegram.org/api/end-to-end/group-calls

SoKamil··on Unifying our mobile and desktop domains
m.wikipedia.org was a feature, not a bug. The interface is good on desktop. For some time, before Wikipedia did a desktop site rework, this was my go-to frontend.
SoKamil··on Trillions spent and big software projects are still failing
> It very much is constrained by real world limitations. It runs on the hardware that itself is limited

And yet we scale the shit out of it, shifting limitations further and further. On that scale different problems emerge and there is no single person or even single team that could comprehend this complexity in isolation. You start to encounter problems that have never been solved before.

SoKamil··on Microsoft makes Zork open-source
> It could either be very tastefully done or complete slop.

It really depends on the creator. A slop is a side effect of the fact that the entry barrier has been much lowered. Previously you at least had to put some effort into learning the craft before showing that to the world.

SoKamil··on Building more with GPT-5.1-Codex-Max
> Natively trained

What does it even mean?

SoKamil··on WBlock: A New Ad-Blocker for Safari
Ad blocking on Safari is partially broken before iOS 18.6, hence the requirement of iOS version on uBlock Origin Lite.

https://matisyahu.blog/2025/07/31/and-it-is-raining-again/

SoKamil··on WBlock: A New Ad-Blocker for Safari
This comparison is outdated.
SoKamil··on I have released a 69.0MB version of Windows 7 x86
There is Recycle Bin and Folder icon. What a waste of space!
SoKamil··on Hello-World iOS App in Assembly
You still have whole Objective-C runtime and CoreAnimation, UIKit abstraction under the hood.
SoKamil··on Tell HN: Azure outage
Is there a theorem that models this behavior? Capital feels like a mass that attracts more mass the larger it becomes, like gravity.
SoKamil··on uBlock Origin Lite in Apple App Store
Unfortunately uBlock Origin on Orion is a bit flaky. Also, the phone heats up a bit, but that might be due to Orion itself.
SoKamil··on Key IOCs for Pegasus and Predator Spyware Removed with iOS 26 Update
Apple still releases security patches to recent versions of iOS, especially critical ones.
SoKamil··on Disable AI in Firefox
The amount of money and research put into Chromium is nuts and it's borderline impossible to compete.
SoKamil··on Look, Another AI Browser
>any browser on iOS uses the safari engine under the hood?

Literally every browser on iOS. Up until iOS 17.4 you were not even allowed to have alternative browser engine. And that still holds true outside EU.

https://developer.apple.com/support/alternative-browser-engi...

SoKamil··on Apple M5 chip
The old System Preferences search was lightning fast compared to current SwiftUI System Settings on macOS.
SoKamil··on The great software quality collapse or, how we normalized catastrophe
LLMs like to repeat same pattern over and over again. This is my text flag.
SoKamil··on Gemini 2.5 Computer Use model
How are you going to deal with reCAPTCHA and ad impressions? Sounds like a conflict of interest.
← PreviousPage 4 of 7Next →