HNHacker News
TopNewBestAskShowJobs

kachnuv_ocasek

2,189 karma · joined November 25, 2010

A Ptáčeḳ
submissionscomments
kachnuv_ocasek··on I'm Rewriting IBM SPSS Statistics in 100% Safe Rust, Alone
But why?
kachnuv_ocasek··on Astra can read and write weights to improve Qwen
> A human can do the same by looking at the weights of an MLP trained on mnist

Excuse me?

kachnuv_ocasek··on Eight Bits of Trust: eMudhra's CA keys cracked in milliseconds
Alex? You're alive after all?
kachnuv_ocasek··on SIGSALY: Churchill's top secret hotline to the president
* US president
kachnuv_ocasek··on 11 year old unsoundness bugs found in Rust borrow checker
Yes, until you introduce inconsistent axioms. Then you can prove anything.
kachnuv_ocasek··on Hackers activate automatic defrosting in supermarket fridges across Europe
> Supermarkets very efficiently drive down the cost of food

heh, the Czech supermarket cartel would like to speak to you.

kachnuv_ocasek··on OpenAI "rogue" agent activities found on Wikimedia projects
So, can we get rid of those "I'm not a robot" widgets at last, as it's been proven beyond any doubt that they don't provide the expected benefits?
kachnuv_ocasek··on Several vulnerabilities have been discovered in the Linux kernel
That's slightly less than the number of CVEs issued in 2003 in total (1,527).

For context, there are 48,152 CVEs from 2025 and 73,356 in 2026 so far.

kachnuv_ocasek··on How Singapore's government-run dating service works
It's almost as though "economic freedom" (whatever that means) and the government schmutzing in citizens' personal affairs are completely unrelated things!
kachnuv_ocasek··on Book of Shapes – Collection of minimal, generative and customizable SVG-patterns
Beautiful. Reminds me of the amazing visual art of Adam Fuhrer[1].

[1]: https://adamfuhrer.com/

kachnuv_ocasek··on Footguns with Postgres "at time zone 'UTC'"
And of by one errors
kachnuv_ocasek··on GitHub has not removed malicious imitation software after 3 weeks
Hacker News saves the day once again!
kachnuv_ocasek··on Muse – Meta’s personal AI agent
ChatGPT is commonly referred to as Chappie (チャッピー) in Japan.
kachnuv_ocasek··on Switzerland's Federal Government Is Replacing Microsoft on 3k Computers
I don't think you appreciate what a hack job Windows really is. It's just that it's quite visible in the Linux world, but more obscured in the case of proprietary software.
kachnuv_ocasek··on Solving the Jane Street reverse engineering challenge
Can you share more about the connection between MCMC and SAT/SMT? That's a crossover I never thought I'd see.
kachnuv_ocasek··on Fastpotify
I just listen to NTS most of the time.
kachnuv_ocasek··on RAG Is Simpler Than You Think
And you can't fundraise on some old "information retrieval".
kachnuv_ocasek··on Palomar: A registry of Lean verified mathematics
I don't think these two possibilities are entirely exclusive. He could be using GH as a synonym for Git, but it's also the case the Palomar only works for GH repositories
kachnuv_ocasek··on Deutsche Bank becomes first foreign yuan clearing bank in Europe
It's as much "human nature" as being a slave was once the nature of some (chosen) peoples.
kachnuv_ocasek··on Deutsche Bank becomes first foreign yuan clearing bank in Europe
I, for one, would appreciate if we could just move on past these incessantly destructive power struggles as humanity.
kachnuv_ocasek··on Qwen3.8 Max now ranked as the best overall model by agentic index
GLM 5.2
kachnuv_ocasek··on Pareto Front
Just copy-paste that description to Claude and have it create the spreadsheet.
kachnuv_ocasek··on Wind and solar overtake fossil fuels in Germany for the first time
Thankfully, synchronous condensers, flywheels and other fossil-free technologies exist.
kachnuv_ocasek··on Wind and solar overtake fossil fuels in Germany for the first time
Perhaps the "uncompetitiveness" (is it with us in the room right now?) is self-inflicted due to lack of ambition and innovations.
kachnuv_ocasek··on DDoS against Norwegian government IT infrastructure – status
Bets on which AI lab it is this time?
kachnuv_ocasek··on Carolina Cloud pays SOFR on unused prepaid credits
I'd guess that's a part of the TOS.
kachnuv_ocasek··on AI revenues are growing fast, but not fast enough
What's the play for software engineers that lands them in a better place but doesn't leave money on the table for the capitalists?
kachnuv_ocasek··on We have proof automation now
Haskell does not have dependent types.
kachnuv_ocasek··on Show HN: Brolly, a plain-text weather forecast site
How do you turn on the text-only mode? I've tried Accept: text/plain but I always get HTML.
kachnuv_ocasek··on Sealed tomb filled with paintings and inscriptions discovered in Egypt
Not just one! https://cs.wikipedia.org/wiki/Schreberovy_zahr%C3%A1dky
Page 1 of 11Next →