ivankra
ivankra on Hacker News
Apple is a huge company with strong silo culture. I only interviewed with them, but it feels to me like different orgs are run almost like entirely different companies. If his work didn't concern Mac, it's quite unlikely he'd have any special insider knowledge about it.
YMMV but Hoka Bondi is the most comfortable pair of sneakers I've ever had in my life. I'm not going back to Nike. Haven't heard/seen much of them until this year too though.
I'd love to try Asahi some day, but it only supports older hardware up to M3 for now and feature support is rather fragmented:
https://asahilinux.org/docs/platform/feature-support/m3/. As it's a small and slow moving project, it'd also unfortunately mean living with all the bugs and quirks for a long time if you choose it.
What you could do instead now is just set up your favorite Linux distro in an arm64 VM and run it with UTM (a popular qemu wrapper). Works nearly flawlessly! I connect it to an external monitor and keyboard and can't believe it's not a Linux box most of the day. They even got virtualized Vulkan (almost) working now. Switching between VMs and host is trivial and you have proper virgl acceleration in VMs without fighting a lot of nonsense like I had in the past with virt-manager on Linux hardware.
Here's a more detailed experience report (though a bit dated) from another user:
https://news.ycombinator.com/item?id=42541508
https://blog.disintegrator.dev/posts/dev-virtual-machine/
You know you can just use Linux on it. I work from a Linux VM in UTM as my main desktop whole day, with Mac OS just being a VM hypervisor for me, it's pretty good!
640k ought to be enough for anybody
+1 for outliners. Logseq was the first note-taking app that really got me to a daily logging habit that stuck, great for friction-less capture of random thoughts and notes, medical and what not. Flat wiki links and backlinks take some getting used to, but absolutely amazing for discovery and organization of notes.
Sadly true. Even if your provider takes privacy seriously, chances are the other side is using US big tech who'd happily give away their copy of your data to any sufficiently credentialed authority.
I stopped reading their privacy policy at "Fastmail is an Australian company" - Australia is a five eyes jurisdiction. That said, I'm a happy customer of almost a decade with them, but my email correspondence is pretty boring and not politically sensitive.
If you liked 3B1B and prefer intuition/applications-heavy view, then definitely Strang over Axler. Check out especially his newer textbook "Linear Algebra and Learning from Data".
Axler is more of a pure math textbook - if you want to dive more into proofs and abstractions.
This is more about lp(a) type of cholesterol which is largely driven by genetics, and barely responds to lifestyle/diet.
lp(a) is not part of routine blood tests - you probably didn't measure it unless you specifically asked for it.
No, that's been mainly due to RLVR.
Pretty sure they did it to themselves with terrible policies and moderation. AI was merely the final nail in the coffin.
Interesting to compare with MathOverflow which has distinctly different policies (only research-level questions) and professional community: https://data.stackexchange.com/mathoverflow/query/1953768/st... - also falling lately, but by a factor of 2-3x from peak rather than 1000x.
> German economy does comparitively well within the EU.
That's well in the past. It's at the bottom in the EU by GDP growth now, and little hope for a come back.
They just ghost you if you aren't chosen, good luck proving anything.
I had no problems subscribing to stuff through wise or revolut cards. Both are prepaid as far as I'm concerned - they won't let me spend above my account's balance.
Posted by
ivankra on Tuesday May 05, 2026 @01:28PM
from the gavi.org dept.
> Do you realise that China is a downgrade in life quality wise?
For whom?? Maybe for the filthy rich, but certainly not the average citizen. You earn way more money in the US, but for life quality (unless dollars is all that matters to you) between them even I'd pick China. Come visit it once, don't get fooled by online echo chambers.
Trend following - everyone's jumping. And bad economy.
Happening already. My new claude max account got instabanned after just a few messages asking it to debug some stuff for me, that they felt like a TOS violation. Nothing remotely controversial. The main model didn't even complain, some dumber background censorship model flagged it.
Lucky you. My new claude max account simply got instabanned for this. All I asked it was to build node and V8 "to investigate some node crashes" (the part I think it overindexed on) and look into a few diffs. And then bam, "An internal investigation of suspicious signals associated with your account indicates a violation of our Usage Policy. As a result, we have revoked your access to Claude"
They are even worse than Google, which at least doesn't ban your whole account if you search the wrong thing.
Founder & CEO at stealth startup
Don't we all stand on the shoulders of giants?
Nothing new. Classic joke goes like
$100/hr standard rate
$150/hr if you watch
$175/hr if you help
$250/hr if you tell me how to do my job
You can prompt an LLM to generate tests from the spec and I'd bet it would easily get most of the way there, especially if you give it a reference implementation to test against. I did just that, though on a small scale - just for feature tests. The last few percent would be the real challenge, you probably don't want it to just imitate another implementation's bugs.
More like 8th. These pass nearly all Temporal tests already: v8, spidermonkey, libjs, boa, escargot, kiesel, jint. Almost there: graaljs, yavashark.
They really did manage to benchmaxx test262 and beat everyone at it. In my testing:
99.5 jsse
99.1 v8
99.0 spidermonkey
98.1 libjs
97.4 escargot
97.3 jint
96.4 boa
95.0 graaljs
93.2 kiesel
92.1 jsc
Posted by
ivankra on Monday March 30, 2026 @12:08AM
from the p.ocmatos.com dept.