HNHacker News
TopNewBestAskShowJobs

raspasov

1,411 karma · joined October 5, 2011

Current work:

Working on a database query engine to answer the hardest questions in milliseconds.

github.com/saberstack/zsxf

Incremental view maintenance.

Clojure, ClojureScript

Contact:

Telegram (same username as HN) Email raspasov@gmail.com

submissionscomments
raspasov··on AWS multiple services outage in us-east-1
02:34 Pacific: Things seem to be recovering.
raspasov··on Apple M5 chip
Probably building a spotlight index or something of that sort.
raspasov··on Rating 26 years of Java changes
I think your intuition is correct: you probably don’t.

That’s also very likely changing. Lookup “project Valhalla”. It’s still a work in progress but the high level goal is to have immutable values that “code like a class, work like an int”.

PS When I say “changing”: it’s being added. Java tries hard to maintain backward compatibility for most things (which is great).

raspasov··on Liquid Glass Is Cracked, and Usability Suffers in iOS 26
iOS 7 “UIApocalypse” all over again.

Liquid Glass has a few bugs to iron out but as a whole is quite good.

raspasov··on Say Goodbye
>> Don’t say things that might cause you trouble like “wish we could have kept you”

If I actually think that, I wouldn't shy away from saying it.

raspasov··on DeepMind and OpenAI win gold at ICPC
Humans have been shown to solve problems and discover things that "no human has" up to that point. So I wouldn't even call it "superintelligent". But it would definitely be truly useful at that point!

The marketing speak of some companies goes into effectively fantastical territory. Some claims that are made effectively imply P = NP, which is like bad TV-series-level science fiction, but some people fall for it.

raspasov··on Track which Electron apps slow down macOS 26 Tahoe
What caveats specifically?

I understand the problems of measuring cross-platform performance but anecdotally even on things that it's not specifically optimized for, for example running a Java Virtual Machine with 10s of GBs of memory, it's really fast, efficient and competitive to most non-Mac/ARM setups.

raspasov··on ProofOfThought: LLM-based reasoning using Z3 theorem proving
What is "novel results"? A random UUID generator also gives "novel result", every time.

Even if we're to humor the "novel" part, have they actually come up with anything truly novel? New physics? New proofs of hard math problems that didn't exist before?

raspasov··on Track which Electron apps slow down macOS 26 Tahoe
It is the fastest laptop CPU in the world right now, by a decent stretch.

128GB PC laptops are not very cheap either, if you want a decent one, like a ThinkPad.

Here’s a 7000 USD ThinkPad P16 Gen 2 workstation:

https://www.lenovo.com/us/en/p/laptops/thinkpad/thinkpadp/th...

raspasov··on Track which Electron apps slow down macOS 26 Tahoe
Apple does have a 128GB laptop with M4 Max.
raspasov··on Track which Electron apps slow down macOS 26 Tahoe
Are you implying that in order to turn a profit you need to install the Zoom app? Or that they are collection data to turn a profit.
raspasov··on Rescuer at Fatal Tesla Cybertruck Crash Says Car Doors Wouldn't Open
macOS is a UNIX (a certified one even!) so it really doesn’t care what or how you’re running a program. You can put anything anywhere manually on disk and run it. If some of those languages require any “global singletons”, that’s probably their fault even though I doubt that’s the case.

“It’s not exactly the same as Linux” is not a valid complaint for me, in case that’s the root cause of concern. Yes it’s not, and never tried to be. If “near full” isolation is the goal, Docker-style containers are always an option. Then it’s basically the same as Linux.

Also, Python is notoriously finicky with the slight differences between versions. I mostly use the JVM nowadays and that’s a breeze to run any version on the same macOS using a tool like jenv (which is available for Linux, macOS, etc). I believe Python has some of those tools also to make isolated “environments”.

PS In terms of block ads: I literally just “solved this”. I used to run the likes of AdGuard which works decently but I never felt too good about it because it’s a bit opaque about how it actually works. Here’s how you can get your own DNS-based adblock on Mac for free, in just a few minutes:

1. Install dnsmasq https://en.wikipedia.org/wiki/Dnsmasq

2. Get a dnsmasq-compatible .conf blocklist from https://github.com/hagezi/dns-blocklists

Sample dnsmasq config:

listen-address=127.0.0.1

conf-file=/path/to/chosen_blocklist.conf

#google dns or pick your own

server=8.8.8.8

server=8.8.4.4

3. In your Network settings, set the DNS to 127.0.0.1 This will pass all DNS requests through dnsmasq first

4. Enjoy system-wide (including native apps!) ad-free experience

raspasov··on Rescuer at Fatal Tesla Cybertruck Crash Says Car Doors Wouldn't Open
What is Apple native package version control? Almost everyone that I know uses brew. And even people who swear by Linux use it, so obviously props to brew.

Apple computers now use more or less the same architecture as their phones, based on ARM. That is why you can install most iPad apps on macOS, and they typically work surprisingly well without any customization. Shared GPU and RAM are a game-changer for efficiency, speed, and battery life.

What is the distinction between computers and phones/tablets you're referring to?

PS FWIW I've used IIS all the way back in Windows XP days. It worked well enough for my needs at that point to run a basic web server from my home computer!

raspasov··on Rescuer at Fatal Tesla Cybertruck Crash Says Car Doors Wouldn't Open
Wow. If true that’s embarrassing.
raspasov··on Rescuer at Fatal Tesla Cybertruck Crash Says Car Doors Wouldn't Open
It’s true that before Apple Silicon one could make the argument that the hardware benefits of a Mac were mostly incremental vs a PC. But today that’s not true anymore. Today Apple is both form and function. I’ve personally heard many misguided people still repeating blindly that Apple is “just” fancy design without having used Apple Silicon computer.
raspasov··on Show HN: Autism Simulator
https://en.wikipedia.org/wiki/History_of_autism

Interesting to read about the origin of the term.

raspasov··on Do YC after you graduate: Early decision for students
Noted.
raspasov··on Do YC after you graduate: Early decision for students
YC doesn't take board seats.

edit: removed snarky attack

raspasov··on Do YC after you graduate: Early decision for students
I said "serious".
raspasov··on Do YC after you graduate: Early decision for students
It's all about the opportunity cost. There are always assumptions that need to be made, but it will be hard to argue that lottery tickets are better than startups. I don't think they are.

A more useful comparison would be a serious statistical analysis between startups and other occupations.

raspasov··on DeepMind and OpenAI win gold at ICPC
It’s a garage where regular cars and self-driving cars “coexist”. The self-driving cars have human minions walking 24 hours in the garage, employed by Waymo/Google, to make sure the self-driving geniuses are able to successfully park without blocking other cars or the street permanently. If a self-driving car gets stuck, a human walks up to it, unlocks it via a phone and parks it like any other car.
raspasov··on DeepMind and OpenAI win gold at ICPC
Have an AI model prove that P is not equal to NP. Then I’ll be impressed.
raspasov··on Do YC after you graduate: Early decision for students
I have a problem with the analogy “lottery ticket”. I think analogies are helpful as long as we are talking perhaps a singe order of magnitude difference between the two things.

The chance of winning most popular US lotteries is approximately 1 in 300,000,000. In comparison, the chance of IPO-ing a YC company is approximately 1 in 300. You can count how many orders of magnitude of difference that is.

raspasov··on DeepMind and OpenAI win gold at ICPC
Like what exactly? As far as I can tell, the drug discovery is fizzling out, so it's not talked about much. Toxicity, for one, is a big problem, and the AI is not going to tell you whether the new drug it just concocted is suitable for humans or not.

Small model solves an easy problem; big model solves a challenging problem. I wouldn't call those problems; they are more like invented puzzles. Perfect match for the AI marketing department to "solve".

raspasov··on Nvidia buys $5B in Intel
Apple is so glad to be out of the Intel hellhole,
raspasov··on DeepMind and OpenAI win gold at ICPC
I mean that a human is ready to jump in at any point an "exception" happens.

Example: During parking, which I witness daily in my building, it happens all the time.

1. Car gets stuck trying to park, blocking either the garage or a whole SF street 2. A human intervenes, either in person (most often) or seemingly remotely, to get the car unstuck.

raspasov··on DeepMind and OpenAI win gold at ICPC
I think "hasn't seen before" is a bit of an overstatement. Sure, the problem is new in the literal sense that it does exist verbatim elsewhere, but arguably, any competition problem is hardly novel: they are all some permutation of problems that exist and have been solved before: pathfinding, optimization, etc. I don't think anyone is pretending to break new scientific ground in 5 hours.
raspasov··on DeepMind and OpenAI win gold at ICPC
This. Dealing with the problems of a real-world legacy code base is the exact opposite of a perfectly constrained problem, verified for internal consistency probably by computers and humans, of all things, and presented neatly in a single PDF. There are dozens, if not 100s, of assumptions that humans are going to make while solving a problem (i.e., make sure you don't crash the website on your first day at work!) that an LLM is not going to. Similar to why, despite all its hype, Waymo cars are still being supervised by human drivers nearly 100% of the time and can't even park themselves regularly without stalling with no explanation.
raspasov··on Show HN: I made a generative online drum machine with ClojureScript
I think the question is for other projects: How come you've not chosen ClojureScript? ;)
raspasov··on Show HN: I made a generative online drum machine with ClojureScript
Very nice! ClojureScript rocks. Just curious, did you use any React for this, or is it vanilla HTML interop?
← PreviousPage 2 of 21Next →