skysight-inc/HackerNews huggingface dataset:
> The things formally defined and stated are proven. There can be no bugs in a library that lead to formally stated theorems being erroneously proven.

That can't actually be true in practice can it? These are things running on a computer, a machine, and not paper.

Additionally, I'm consider two types of "bugs". (1) bugs in software or hardware that the stack relies on; (2) "bugs" in the conceptual sense of a Lean construction being something different than what was meant or what people thought it was, which is effectively the same problem that regular mathematics runs into.
I thoroughly recommend everyone switch their default browser search to something else, perhaps kagi or duckduckgo. Give it a month. You can always switch back if you don't like it.
Very interesting. I really should get back into RE.

Selfish question for a project of my own: is there any way to magically gain early code execution in a process on Windows other than a shim DLL? I'm too lazy to write one to pass through the all exports (reflective shim DLL possible...?)
Not particularly anti-css, but you may be interested in concepts like size groups, properly predictable size-request-allocate cycle, width-for-height, constraint- and align-based layouts and in generally cleaning up the mess of non-orthogonally connected ideas in css. More explicitness and separation for properties. Remove bs like negative margins, make all distances multi-level, e.g. padding = max(el.paddings[]). Make bounding boxes explicit, make borders proper elements, etc. Boxing isn’t a bad model, CSS is just an awful implementation of it. Absolutely ridden with fragile incantations and absurd limitations which bring more issues and “solutions” that will break 99% of the times you touch it.
Relevant We ♥ Katamari: KuruKuru Rock https://www.youtube.com/watch?v=AKsNvLAiPc8
Here are a couple of my all time favorite business books

https://www.amazon.com/Crossing-Chasm-3rd-Disruptive-Mainstr...
https://predictablerevenue.com/
https://www.amazon.com/Challenger-Sale-Control-Customer-Conv...
https://www.amazon.com/The-Lean-Startup-Eric-Ries-audiobook/...
So does he think large, private, for-profit companies should be in charge of nuclear weapons as well?
I'm using it integrated with whatsapp so I can send voice messages to it and it run commands in my computer (like creating a social media post, getting info about a hike, etc). Also using this integration to manage whatsapp groups that I'm admin but this is just a WIP.
How would you control for idiot racists who believed they were getting a lower standard of care from certain ethnicities and ensuing psychosomatic effects?
If you build missiles, you are not responsible for deciding who to sell to. The government is responsible for deciding who you get to sell. You are just responsible for selling only to approved buyers.
You still need a GPU.

I'm nothing even close to a knowledgeable expert on this, but I've dabbled enough to have an idea how to answer this.

The special thing about why GPU's are used to train models is that their architecture is directly applicable to parallelize the kind of vector math that goes on under the hood when adjusting weights between nodes in all the layers of a neural network.

The weights files (GGUF, etc) are just data describing how the networks need to be built up to be functional. Think compressed ZIP file versus uncompressed text document.

You can run a lot of models on just a cpu, buts its gonna be slooooooow. For example, I've been tweaking on running a Mixtral8x7b model on my 2019 Intel Macbook Pro with llama.cpp. It works, but it may be running at 1-2 tokens per second at max, and that's even with the limited GPU offloading I figured out how to do.
I wish it also included latency of speech to text and text to speech APIs :)
A better comparison for numerical classifiers would be uncountable nouns.

In English, you don’t say “give me three waters”, you say “give me three glasses of water” or “three bottles of water”. You can think of the classifier words as being that, but for everything:

三杯水 three glasses of water

十头牛 ten heads of cattle

两支铅笔 two rods of pencil

一条路 a strip of road

六只猫 six animal-units of cat

五个人 five “gè” (generic units) of people
> People here seem to think so little of Chinese people.

I don’t get the feeling that HN belittles Chinese people or any particular race. What I do feel is that HN is pro freedom of speech and pro democracy. The idea that a dictatorship can advance beyond us is a scary thought. It is scary because it means maybe the freedoms we now enjoy may in fact be detrimental to humanity’s progress. This, I believe, is why you may see more anti-CCP opinions on HN.
No Gitolite requires keys.
Teenage Engineering isn't making guns, landmines, NFTs, or magic AI. Maybe I'm just not a deep thinker like you so I'm not making the connection but in my mind a company paid Teenage Engineering to design some hardware; Teenage Engineering designed the hardware. That is all there is to it. They made no promises about the functionality because that wasn't their job because it wasn't their product.
You can't memorize how to use an OP-Z.......?? That aside, what company is making an OP-Z alternative?

What company is making pocket operator alternative? What company is making an OP-1 alternative...?

Right, that's what I thought.

On your laptop point, I'm going to be doing a show this weekend, OP-Z, OP-1, 170 and 400. I don't even know HOW I would do that without TE gear, $50k worth of Eurorack?
The comment you are responding to, does not seem at all snarky to me. Just sayin'.
People are already hiring other people to take interviews for them, that's not really anything new... though at least this type of double will be able to follow them onto the job.

The problem with using chatgpt today (aside from misrepresenting yourself if you don't state that you are using it) is that it doesn't match your own tone, cadence or patter. When you switch between answering for yourself and using chatgpt 's answer, it is blindingly apparent.

I'm extremely skeptical that convincingly creating a double to fabricate an entire interview conversation will come anytime soon.
"Testing can show the presence of bugs but not the absence"
No, but it's just garbage quality "need a thing now" code anyway, and it uses Twilio so I'm not going to host it for other people for free ($$$$, and a lot of abuse potential). I've been wondering if a more polished/packaged version of this would be something someone might pay for. Out of curiosity: would you pay, say, $10/month for this service?
The macOS cracking scene is also much much weaker. It's

1. Mildly harder on a OS level

2. Less popular in countries that produce the most cracks

3. Less popular in general

4. Has an audience that is demonstrably more likely to pay for software

5. Has less strong reverse engineering software. Hopper was awful.

Also, I just wanted to say I love your work. I've learned a lot from your blog, your free trial strategies are interesting, and quite effective: https://shottr.cc/s/1vQa/SCR-20240423-re6.png
I'm not too far into learning to speak/read Japanese, but have gotten pretty good at understanding it when spoken from years of only really watching/listening to Japanese media (human pattern matching ability is crazy!). My feeling has been that similar to what others have said, that the popular learning resources seem to make the early grammar seem broader than it is by teaching each sentence 'type' as a separate rule.

Although I haven't put enough thought into the exact differences (and thus might be entirely wrong), I've felt the grammar is fairly intuitive (I presume due in part to my background of also speaking fluent Hindi).
Don't know about GPGPU, but can give you a probably correct answer: Compared to "native" APIs you trade features for compatibility. It's always going to lag behind Vulkan/DX/Metal. Are you ok with excluding platforms? Vulkan/Metal/DX. If not, then I'd give wgpu a chance. Wgpu is also higher-level than Vulkan, which is borh a pro and a con.
I switched to DuckDuckGo recently, partially because google results don't seem very good anymore, but also very much because of how hostile it is towards VPNs. I like having a VPN when I'm travelling or on a public wifi as a sensible precaution, but Google constantly forces me through irritating "prove you're human" puzzles.
Any of the options you cite are acceptable and handle high-level clients. I would also recommend CSC.
Making over ~$160k and making policy decisions
I'll steelman the opposite side; YouTube creators have no rights.

When you upload a video to YouTube, you are licensing Google to redistribute a copy of your content at their whims. The uploader agrees to give Google "a worldwide, non-exclusive, royalty-free, sublicensable and transferable license to use, reproduce, distribute, prepare derivative works of, display, and perform" your video.

The video you upload to YouTube isn't yours anymore. You can pretend it is, and play around with it like a little paper doll for all it's worth. You don't own it anymore though, and your right to judge where it is and belongs is stripped the moment you click "Upload".
Until Apple Maps got offline downloads (in iOS 17), Google Maps was way ahead for offline use, which was enough to have me use it normally as well.
perhaps he's suggesting that they seize the software, weights, and training data from every company who's engaged in this? Or maybe he's just trying to protect profits and doesn't mean a word of it...
In Brazil most of the ads I see on YT/Instagram are for scams indeed. Health scams, religious scams and financial/crypto scams, mostly.
How did they control for idiot bigots who believed they were getting a lower standard of care from certain gender and ensuing psychosomatic effects?
Self-serving, manipulative, false, and offensive.
Any patent that fails to “teach” the innovation can be challenged and will likely prevail if it’s an egregious gap. That’s the public benefit part, in writing.
For only $9420 that's a steal! I'll definitely be buying these for my Junta!

On a more serious note I really wanted to know why anybody would make something like this, so here's the reasons in the article:

Ready for Anything:
- Wildfire Control and Prevention
- Agricultural Management
- Ecological Conservation
- Snow and Ice Removal
- Entertainment and SFX

Entertainment??? Fun new way for rednecks to die just dropped!

I think I'd still prefer to see these with water cannons for emergency bushfire management here in Aus, having a robot flamethrower dog just aint right.
Compared with other factors like day of admission.

> Patients admitted on a Saturday and Sunday have a 10 per cent and 15 per cent higher risk of death than those admitted on a Wednesday.
> In the context of learning about WW2, swapping the wording seemed like an attempt to demonize the United States by linking the internment camps with the Nazi concentration camps.

Even worse (though not intentional), this minimizes what the Nazis did. Let's hope no one comes out of that class with the idea that Hitler was no worse than FDR.
Reminder that many scientific studies turn out to not be reproducible.

That is especially true for the ones with surprising/viral results!
Microplastics make their way from the gut to other organs, researchers find
I found out in an interesting way that our GM vehicle had been enrolled in this.

I was shopping around for a new homeowners policy and as part of that process, also got some quotes on auto coverage. One of the quotes that came back had a note on there that I was enrolled in that insurance company’s program where you hook up their dongle to your OBD port and, I dunno, I guess in the short term maybe get a discount but in the long term give them some excuse to cancel your policy.

Well, I was not only not a customer of that company, but I obviously hadn’t hooked up their dongle, but this GM thing had been in the news right around then so I had an idea of what might be going on. After running the gauntlet to try to access my privacy settings - sure enough, I had allegedly consented at some point to GM’s program. (I absolutely had not.)

I don’t know how on the back end this caused my car to show up as enrolled in the insurance company’s monitoring scheme, but I assume it involves so sort of white label insurance product and/or an exciting new level of integration that doesn’t even require the dongle any more!

Can’t wait to get my six months of discounted credit monitoring from the class action settlement.
I have to say it.

"You wouldn't download a nuke..."
This would definitely affect me, but I guess I should wait until it goes into effect and then someone else tests the law? I can't afford to get sued by my former employer.
A story about broken hiring processes that I’m sure many of us can relate to.
I disagree with this love of hooking my $1000 phone to my $30000 car.

Everywhere else in my house, I try to make gadgets independent of one another. I remember when a printer worked only when it was hooked to a PC to be its server. That was bad. It’s much better for my printer to hook to the network directly.

Some thermostats require a phone to program them. That’s bad. The thermostat should have full functionality as a stand-alone device. My dishwasher requires a smartphone app to work some of its features. Bad. My old dishwasher was fully controllable from the panel on front.

A car is no different. I don’t want to have to plug my phone into my car like a dongle, even wirelessly. The car should connect to the network itself and have needed applications like nav and music. Maybe car-makers suck at making this software, so maybe Apple or Google should make it for them. Or maybe carmakers should get better at it.

But no, I’m never going to think that plugging my phone into my car is any better of a kludge than is forcing me to get out my phone to work my dishwasher.
It's pretty funny to me to see an Apple user complaining about lack of interop with other ecosystems. You've chosen your walled garden; now it's time to realize you're stuck in it.

The author seems to blame everyone but Apple for this, though. Apparently it's Google's fault that his preferred podcast app isn't available on Android. What about the app developer, who has decided not to support Android? And it's the auto manufacturer's fault for deciding to go with Android Automotive as the infotainment OS. What about Apple, for refusing to license any of their OS offerings to third parties? (Let alone not having an automotive-suitable version of any of their OSes anyway.)

Instead, Apple wants auto manufacturers to implement a complex, proprietary Apple protocol to give iPhones the ability to control most aspects of the car's infotainment functions. Why would auto manufacturers want to do this? Not only would the auto manufacturer have to develop their own infotainment system (perhaps even using Android Automotive, but perhaps something else), but then they have to do all this extra work to essentially allow drivers to not use their own system. (And while I agree that most auto manufacturer software is weak or outright garbage, that point of fact isn't really relevant here.)

I don't agree with the author that some car makers are not excited about CarPlay 2 primarily because they want to own the automotive experience. It's because of all the extra work they need to do to support CarPlay 2 (probably an order of magnitude what it takes to support CarPlay 1 or Android Auto), and doing so isn't really in their interests, outside of Apple users who might refuse to consider their cars without CarPlay 2 support. But this is a chicken-and-egg problem: CP2 doesn't exist yet in any car, so customers don't know what they're potentially missing.
Not sure why you’re being downvoted, it’s true. If you want to display items (normally images) with different dimensions, while respecting their natural height/width ratios, you really have 2 options:

1) Fixed height rows: lower information density (excess white space around some of the items), but easier to scan systematically

2) Masonry layout: higher information density (no excess white space around items), but harder to scan systematically

Nobody is “right” here, it’s simply user-by-user preferences about what you prefer.
i grew up with books around me, both my dad and my granddad were collecting books, and our walls were lined with bookshelves and i loved it. though most of the books i read myself came from the library.

but as a digital nomad myself, physical books were just not practical anymore. i remember a friend of mine when he moved from europe to asia, he shipped several containers full of books. that's a move you only do once in your life (and only if your employer covers the cost). so all my books stayed in my parents home.

then i also didn't have time to read anymore until i discovered audiobooks and audio drama. i am now listening to about 3 books worth of audio per month (including audio drama and short stories) but my kids would not know.

and there is no way to fix that. the books that i would want to buy are not available locally and would need expensive international shipping, and every time we move i'd have to discard my collection because books are just to heavy to be carried in a suitcase.

i'd love to show my kids how much i enjoy reading, but i just see no way to do it. it's a conundrum that i don't know how to solve.
Is this really legal? Do they have the authority to do this? I’m not against it. I’m just shocked they are able to do it.
Yes, I felt that the style of the writing lead me to doubt whether I was reading the full story (and indeed, the way Prabhakar's work at IBM is minimized reinforced that impression).
My understanding is that most cars ship with both Android Auto and Apple CarPlay, so you (or your passengers) don't need to commit to one mobile OS only because of the car you bought.
It is bad enough that Mercedes decided to emulate Tesla. Now, fuck this, I don't want my merc dashboard to look like an IPhone. It cheapens the experience.
Porsche has a reasonably priced upgrade path for their head units even in quite old cars which add Carplay. The value is obvious to them - it maintains a high resale value on older vehicles which maintains their higher current sale value.

Something I found interesting when I was hacking my VW to add Carplay (without paying £300) was that a ton of manufacturers in the ~2016 era use the exact same head unit and OS but with a different front fascia, different button layout and a relatively advanced UI skinning system. If you can be bothered you can add e.g. Audi track G-sensors to your VW or use a different skin.
Cloud Console Cartographer – framework for condensing groupings of cloud events
> Released at Black Hat Asia on April 18, 2024, Cloud Console Cartographer is a framework for condensing groupings of cloud events (e.g. CloudTrail logs) and mapping them to the original user input actions in the management console UI for simplified analysis and explainability.

Written in PowerShell, visualizer in python3, and Apache 2 license

https://www.blackhat.com/asia-24/briefings/schedule/#cloud-c...
Then the person I responded to has nothing to worry about.
Large, private, for-profit companies were in charge of Uranium mining and refinement.
One interesting thing I observed is that many talk shows will have something akin to subtitles to things being said in order to bring the power of quickly getting the meaning from Kanji to the spoken language.

Once you understand the meaning of some Kanji, turning on subtitles feels like a superpower on understanding what is going on even for people still learning the language.
Buddy, there are literally robo taxis on the road, today, from other companies.

FSD may one day be the best, I have no idea. But Tesla do not have a massive lead in autonomous vehicles by any measure.
They're short relative to other IP (like copyright), and short relative to inventions that have long R&D and cost recovery timelines. If $NEW_DRUG takes 5 years to develop, 5 years to trial, 5 years to market, and 5 years to profit...20 years isn't all that long.

If the invention takes 3 weeks and $0, yeah, 20 years is a long time.
Right, and that was understood already. The point I'm making is that (apart from that information) they were drawing unnecessary attention to the coworkers' nationality.
that is a thing you can disable for a long time
I buy books still. Really enjoy that over looking at a screen all evening too.
> “Reality is that which, when you stop believing in it, doesn't go away.” —PKD

By Dick's definition, I don't find the notion that Xitter is a "town square" to be real.

Even in pre-Elon times, one noticed: https://www.youtube.com/watch?v=UKftOH54iNU
(Note that your list is very heavy on self-made billionaires. Vs. the "daddy left me gigabucks" crowd.)

Once you've got a few 50-room mansions, the 400' yacht, 3 private jets, 2 vintage car collections, and whatever other "meh, just a few billion?" trinkets that your tastes might crave...there still are the "always yearning to control more things" urges that helped drive you to become a billionaire to begin with. And the desire to add another dimension to your exalted social status. And your PR team regularly pestering you to give them favorable-sounding stories to push.

10-digit philanthropy, especially ostentatious and self-directed stuff, can help meet a lot of those needs.
This is not mentioned in the article, but since it has performance implications for a ton of BEAM applications, it's probably relevant: OTP 27 will also include a new builtin JSON module, and I did a quick and dirty benchmark [1] of it against Elixir's (excellent) Jason library. It seems like it'll be a pretty good performance win for BEAM applications that work with JSON.

[1] https://zeroclarkthirty.com/2024-04-21-benchmarking-erlangs-...
I think different patent lengths for different industries would do much to improve the current insanity.
This doesn't really ring true for me. I agree that when people buy cars, they are often not just buying for themselves. But the purchase decision is not usually made without input from the other drivers. Well, a purchaser will probably discuss things with their spouse, and ask if they care about particular features. But in the case of someone buying a car for their kid, it's usually "they'll get what they get, and they'll like it".
I wonder if she applies this maxim selectively, or if she would also oppose other impositions on economic liberty, such as minimum wage laws.
Ask HN: Sponsorblock Equivalent for Podcasts?
I love podcasts and listen to a wide range of them. In fact do support a few of them that I listen regularly.

However, the dark pattern advertisements have gotten worse over the past few years. There are ads that pop up during deep discussions that throws off the chain of thoughts and reduces the value of these conversations.

I'm looking for a sponsor block equivalent for Podcasts that clips out these advertisements, while still allow options for whitelisting of podcasts that have sane advertisement segments.
Whoa, I had no idea it was an actual term that’s applicable here. I thought the author was just creatively insulting the guy.
What choice do they have? It's too late to be a small, profitable car company, even if that's the best path. They told everyone they are going to own the market.
I don't think they have the same function
The easiest stepping stone will involve deploying on HuggingFace, think of it, in this case, of basically a mashup of GitHub x Heroku. You'll upload your model, they'll already have a repo for the model you fine-tuned somewhere, you'll tweak 20 lines of Python to run your version instead of theirs.

The next easiest step would be OpenAI. They offer extremely easy finetuning, more or less you'll upload a file with training data to their web app, then a few hours later it's done, and you just use your API key + a model ID for your particular fine-tuned model.