HNHacker News
TopNewBestAskShowJobs

yablak

977 karma · joined January 27, 2015

https://twitter.com/yablak
submissionscomments
yablak··on Formally Verifying Peephole Optimisations in Lean
iiic the model assumes no flow control, only select.
yablak··on AI Slop Report: The Global Rise of Low-Quality AI Videos
Happy user of kagi for several years. This is the opposite of my experience. Your comment strikes me as dishonest.
yablak··on GotaTun – Mullvad's WireGuard Implementation in Rust
Hope tailscale adopts this
yablak··on String theory inspires a brilliant, baffling new math proof
I thought that what constitutes a measurement is well understood; it's just the entanglement between the experiment and the observer, and the process is called decoherence - and the collapse itself is a probabilistic process as a result.

AFAIK an EoT is not required to design experiments to determine if it's a real physical phenomenon vs. a mathematical trick; people are trying to think up those experiments now (at least for hidden variable models of QM).

yablak··on String theory inspires a brilliant, baffling new math proof
What's the "quantum measurement problem"? And why is it a problem? I get the wave function collapses when you measure bit. But which part of this do you want to resolve in a testable way?
yablak··on Kagi Bloopers – Search Results Gone Wrong
It literally gives you google results (+ additional search providers, usually not in top results)... without the added spam. It's therefore superior to "peak google results".

What are you talking about LLM services? default search behavior does not use any LLMs (except any Google might use to reorder their top 10 results internally).

yablak··on Ask HN: Where to begin with "modern" Emacs?
You can set up the terminal+tmux to forward all the important keys to console emacs. I like iterm2 for its extreme configurability. Others say kitty terminal with the kitty term emacs library is great. I never got that working with tmux.
yablak··on Protobuffers Are Wrong (2018)
"you're the worst serialization/config format I've ever heard of"
yablak··on U.S. guided-missile cruiser crosses Panama Canal, warships deployed to Venezuela
Afghanistan will do that to you
yablak··on A tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
Microcontrollers?
yablak··on One universal antiviral to rule them all?
Sounds like the first few scenes of every Zombie movie and TV show ever...
yablak··on The cost of interrupted work (2023)
Join a startup. If they don't do pair programming, quit.
yablak··on Happy 100000th birthday, Debian
Ingrid Daubechies threw a big party on her 64th birthday and invited all her old students and collaborators; we even had a conference around it.
yablak··on Claude Code IDE integration for Emacs
Share your dotemacs/gptel config? I'm not in love with emacs eider integration. Wondering how to put direct editing/control to the model. Still very cludgy with gptel though I've been using it for months
yablak··on Denver rent is back to 2022 prices after 20k new units hit the market
And by not limit you mean fund. And I agree.
yablak··on Emacs: The macOS Bug
Works fine for me. Is it your terminal configuration that needs tweaking?
yablak··on Hulk Hogan Has Died
This is the guy Thiel used as a vehicle to kill Gawker. What a jerk.

https://www.vox.com/2016/5/25/11779910/peter-thiel-gawker-hu...

yablak··on Killing the Mauna Loa observatory over irrefutable evidence of increasing CO2
You underestimate Russia's spambots.
yablak··on We have made the decision to not continue paying for BBB accreditation
No, you can get an IDP online. Linked from the state department:

https://www.aataidp.com/

It's easier than going to an AAA office. Slightly more expensive but worth it. They mail it to you quite quickly.

yablak··on OpenICE: Open-Source US Immigration Detention Dashboard
I'd like to see this breakdown of ICE employees themselves. If they're "public servants", is this data also public?
yablak··on Where are the right-wing scientists? Everyone's on the left like me
Wonder what the distribution is like among BYU profs/postdocs... And how respected their work is within their fields?
yablak··on Content Independence Day: no AI crawl without compensation
Details here: https://blog.cloudflare.com/introducing-pay-per-crawl/
yablak··on Fakespot shuts down today after 9 years of detecting fake product reviews
Pretty sure that metric can be gamed
yablak··on US Supreme Court Upholds Texas Porn ID Law
Next step is to outlaw VPNs
yablak··on Harper – an open-source alternative to Grammarly
Any chance to make the obsidian plugin work in mobile/Android?
yablak··on X's Sales Pitch: Give Us Your Ad Business or We'll Sue
In Soviet Muskland, you do not send overdue accounts to collections. Collections sends overdue accounts to you.
yablak··on The Gentle Singularity
USAID is not just charity. It is a projection of soft power that keeps many countries and world citizens looking up to the USA. It reduces likelihood of terrorist attacks on US citizens.
yablak··on In the past year my illustration business has dropped more half
Etsy
yablak··on I failed a take-home assignment from Kagi Search
that's what the OP wanted.
yablak··on Show HN: Formalizing Principia Mathematica using Lean
Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it
← PreviousPage 2 of 7Next →