skysight-inc/HackerNews huggingface dataset:
After the model is supposedly fully downloaded (about 4GB) I get:

Could not load the model because Error: ArtifactIndexedDBCache failed to fetch: https://huggingface.co/mlc-ai/Llama-3-8B-Instruct-q4f16_1-ML...

Also on Mistral 7B again after supposedly full download:

Could not load the model because Error: ArtifactIndexedDBCache failed to fetch: https://huggingface.co/mlc-ai/Mistral-7B-Instruct-v0.2-q4f16...

Maybe memory? But if so it would be good to say so.I'm on a 32GB system btw.
I find it hard to believe Google didn't make these things happen on purpose, for countless times I saw someone I recommended Firefox to switched back to Chrome, I asked why and they just simply answered with "because something doesn't work on Firefox"
No it's not a click bait headline. Birds that eat carcasses have been in steep decline in many places because of very specific human generated pollutants in the dead animals (in India's case a pain reliever, in California it was lead, etc).
You didn’t so much “ask”, though, right? You attempted to impeach an argument by appealing to a lack of citations.
Allegedly, if you watch the whole opera, then you'll understand the context, and everything will be better. I didn't find that to be the case. I think what would help me the most would be if it were in a language I could understand. Is it against some rule to do opera in English?

But don't do it just for me. I still might not like it anyway. I don't know if it's a fundamental part of opera, but I find the heavy vibrato off-putting also.
It was basically an all-purpose vector computing monster focused on SIMD. You could use it for physics simulations, animations, tesselation, etc. Basically everything you'd use a compute shader for nowadays.

That's why emulators need AVX512 support to match the PS3. It was incredibly powerful.

Obviously, in that era's single-threaded world no engine could make use of that functionality and few knew how to program for it. It was ahead of its time, by quite a while.
This is one of those places where in some languages - Spanish, of course, and I would assume Portuguese - "americano" (or equivalent) basically means "Western Hemisphere". But in others, like English, "America" means the United States of America, just like "Mexico" means the United Mexican States. If you're using English, "North American", "Central American", and "South American" cover most of the situations you're talking about. "American" without further qualification in English means the USA. And it is justifiable: there is exactly one country on the planet with "America" in its name.
I think you’re getting offended on behalf of a cohort of people that do not exist. Let them speak for themselves if they do.
You sacrifice a segment then go like a mad thing for the one you need to win. And you curse if a dog walker gets in the way, sort of encouraging antisocial behaviour. But if you can get past that stage it’s pretty rewarding to ignore segments and go for longer records (eg 20km, 50km etc).
Isn't this how most vector search backends work, cosine similarity sorting against whatever the vector embeddings returned? How is this different?
Did Your Company Just Go Through a Reorg?
I don’t get “final rate is usually lower”. Why is it lower, and by how much? And since it’s “usually”, what about the unusual case? Equal to the sticker price, or higher? But since you use “<” neither should happen? I would expect an exact price tag for a “no-nonsense” pricing scheme. Right now it’s just confusing.
I like https://www.statshunters.com/
My sibling comments are the terrible sort of ‘instead of applying your own logic, blindly and sometimes incorrectly pattern match against a checklist of ‘best practices’’ internet lectures.
Image processing exploits almost always exist at the decompression stage. Once you’re processing a bitmap of pixels, there is a whole lot less that can go wrong.
Having decompression happen at the client has an obvious performance impact. Ignoring that though, given that it implicitly involves changing the server-side API, it’s not “trusting the client”. It very clearly offloads a bunch of risk. The underlying premise is that raw image data is harder to shove an exploit in.
People are so quick to lecture others before thinking twice.
Because it's immensely hard. Moreso to do it cost-efficiently. Check the Moravec paradox[1].

[1] https://en.m.wikipedia.org/wiki/Moravec%27s_paradox
I've gone and changed the stack again
Kinda easy to guess, there’s really only one possibility and answer: people felt a certain way after reading and voted accordingly. The idea that anyone votes based on the content of what’s been said is false. For example, you’re not gonna upvote a true statement of a statistical fact if you think there’s a terrible reason for it. You’re gonna downvote because you feel bad about what you perceive as the reason regardless
From my outsider perspective it's by being by far the most important country on the continent in terms of size, influence, economy and so on. Also, it's (afaik? cannot think of a counter-example) the only country which has America in its name and usually people talk about countries, not continents.
They don’t really mention the ongoing developer experience impact (even if it is outweighed by the popularity of TypeScript) of losing Skew’s niceties, they just talk about the one-off transpilation of them when migrating the codebase. For example, the fact that it’s easy to end up with files that need to be imported in the right order in TypeScript, or things will break; or the fact that destructuring is slow and so should not be used (when performance is at all important). I know from using TypeScript for years that there are dozens of these gotchas (some inherited from JavaScript, some not), requiring an extensive style guide at the very least, especially if you have a lot of engineers.

I wonder if some engineers were sad to see Skew go.
The Right Way to Lead the Introverts on Your Team (2022)
Wikipedia:

It has been claimed that it is possible to conceive of a crude, deliverable, pure fusion weapon, using only present-day, unclassified technology. The weapon design[2] weighs approximately 3 tonnes, and might have a total yield of approximately 3 tonnes of TNT. The proposed design uses a large explosively pumped flux compression generator to produce the high power density required to ignite the fusion fuel. From the point of view of explosive damage, such a weapon would have no clear advantages over a conventional explosive, but the massive neutron flux could deliver a lethal dose of radiation to humans within a 500-meter radius (most of those fatalities would occur over a period of months, rather than immediately).

[2]: https://scienceandglobalsecurity.org/archive/sgs07jones.pdf

https://en.wikipedia.org/wiki/Pure_fusion_weapon#Progress

Weapons aside, using EPFCG's as a scrapyard substitute for large capacitor banks in fusion power experiments would also be an interesting story:

https://en.wikipedia.org/wiki/Shiva_Star

https://en.wikipedia.org/wiki/Z_Pulsed_Power_Facility
In my country we're not allowed to roam the countryside with a rifle or a bow and arrow to hunt our own, and if we were I wouldn't enjoy it. So yeah if I want to eat meat I guess it is.

I applaud your conviction, but I've grown up eating meat, and I'm not in a minority.
An alternative is to keep the lab assignment but grade them on a final exam. Then it is in their interest to do the lab assignment by themselves rather than with an LLM.
The entire field of ASCII art indicates that your first sentence is dead wrong.
The AAT has a pretty good video on aluminising with a lot of exposition, https://www.youtube.com/watch?v=fztRqJerfOk

VRO's process is considerably more sophisticated, as they do the silicon nitride protective coating. I believe the specific approach on VRO is similar to the one pioneered for gemini: https://www.gemini.edu/files/docman/websplash/websplash2004-...

Fancier protected metal (and dialectic enhanced) coatings have been common in smaller reflectors... but it's quite a big difference doing a fancy sputter coating on a 150mm object vs a 8m one! :P
This is so sad, loss of a good pilot. I only saw Dick fly once, a group of us had flown our LongEz’s and VariEz’s down to Mojave for his brother, Burt Rutan’s birthday.

Dick took out his LongEz, and I realized he had more piloting skills in his little finger than I’d ever have. That plane did things at 100 feet that I wouldn’t be comfortable doing at 5000 feet.

People know him as 1 of the two who flew voyager, and the article on touches on a tiny fraction of the adventures he had in his life. Seemed like a life well lived.
I think products like this have to evolve into pay by the hour otherwise you find alternatives that have it.
You should never be serving content from S3 directly anyway. Always setup a cloudfront distribution for your buckets and allow origin access identity (OAI) access to the bucket.
So.. I’m wrong because the people disagree. An appeal *ad populum* if you will.
The desert is fine. That’s like a couple of idiotic farms worth of water for a much larger benefit.
How does it compare to GGML? That I'd what they must be comparing and yet I don't see any comparison made
> public sector workers

A group for whom even FDR, the great co-opter of unions, had to pretend to be opposed to unionization.

Seriously, civil service protections are there for you and don't apply to private-sector employees. But you claim the right to strike against your fellow citizens and deprive them of government services? This isn't Andrew Carnegie; it's your fellow citizens.
Honestly I don't have much faith that as a species we can treat our animals much more humanely, considering how we treat each other.

My apologies if you took offense personally, it wasn't intended.
Do you ever think about the many more folks who worked on stuff that really was completely useless and nobody remembers? "Whenever I hear people talking about how the lottery is a waste of money with net negative expected returns, I think about the person I saw on TV who did win."

Cloud compute might be a good use case. But the overhead would have to come down dramatically for it to ever beat simply doing the compute in-house and incurring the overhead of managing a physical rack. Which is (and always has been, and likely always will be) an extremely viable option for anyone who is seriously interested in data access control.
Yes it was so divisive in the late 18th century in what became the U.S. that the founding father punted the issue so that the 13 states would ratify the new constitution. The issue was swept under the rug until that rabble rouser Abe Lincoln got elected, and all the slave states seceded between the time he got elected and inaugurated, sone 80 years after the signing of the declaration of independence.

Feel free to downvote because I’m not gonna accept your revisionist history.
I can think of 100 circumstances off the top of my head where this “cost saving” wouldn’t be net worth it. It very well may be sometimes, too. But your comment is very absolute, and very obviously intentionally so, so you could use this lecturing tone.
Thank you for this. Definitely interested in Janáček but I’d forgotten about him. I liked some of the Moravian Folk Songs, particularly the one named The Bench (the numbering seems to be confused JW V/2 No. 3 on some recordings?)
We just celebrated 10 years since the last coal power plant was closed in Ontario. Good riddance.
Option instead of nil is amazing. Imo, the biggest flaw in Go's design is having nils instead of optionals.

I don't have a strong opinion on Result and Pattern matching - it seems nice, but I don't know if it adds much to the language. It is nice, but it may not be worth the complexity.

The error handling with ? is a no for me. I'd rather have something more like the go-errors/errors package in the standard library instead. This has been proposed before, and it was rejected for a good reason: it makes it too easy to be lazy and just bubble up errors instead of properly handling them.
Unveiling secrets of the ESP32 part 2: reverse engineering RX
> Are there any resources you recommend for effective note-taking?

personally, the best resource for me is GPT-4. It's my second brain, a rubber duck, living notes that benefit from being over-written especially since they recently added memories. I write as much as I can on paper and pencil, I look it over and I "chat" with GPT-4, keeping different chat conversations for different topics and later I can ask it things like
"it's been a while, summarize everything from the beginning and give me suggestions for where to continue" and things like that.
Maybe ones similar to the patterns on our moon made by craters
I would be surprised if there is a lack of regulation. To give you an example from my country, the government has trademarks that identify government agencies. That includes the Canada workmark (with the flag over the final "a") and the flag to the left of the words "Government of Canada / Government du Canada". As trademarks, their use is protected. Yet words like Canada or Canadian don't convey any association with the government or even the country.
It helps that a demonym for “person who lives in any part of the Americas” is something we almost never want to use. If “American” only meant that, we’d practically never use it.

So in American English, at least, using it the way we do causes no real trouble.
Now y’all gone too far. That’s no longer a terminal, that’s an Apple II GS
Is this what you do? Go through a website ignoring 99% of it, ignoring all the members including current politicians, technologists, reaearchers, bureaucrats of major institutions, and searching for the one thing that might — if presented in a weird light and without context - dishonstly paint the entire organization and its members as a bunch of quacks to be disregarded?

You really think the Government Blockchain Association is primarily concerned with space and UFOs? If not, why highlight it? One word: strawman! A dishonest way to argue. I know HN members are biased against blockchains but I am always surprised more and more by the methods employed in argument. For a long time I thought HN members would avoid such tactics merely because they disagreed with something.
Ask HN: Any long term vapers here? Need advice
There is so much information and mis information about vaping that I just wanted to know from the source I trust about the harmful effects of it.

So far all I got is it's supposed to be 95% less harmful than smoking but what does that really mean? Is it safe or bad in general?

So wonderful if there are any long term vapers here and what are your experiences wrt to your health.
https://en.wikipedia.org/wiki/Dick_Rutan
The agony and ecstasy of Costco (2023)
Link spam for https://news.ycombinator.com/item?id=40152908
Politics is the art of the possible. Given what post-slavery America looked like for the former slaves (not much different), the question becomes: do you care so much about slavery, which is an ancient institution, that you give up the idea of forming a united front?

Was it good? No, it was a bad idea. But that's something we say comfortably from our homes in a large, powerful country. In 1787... this was a remote and weak place. If you wanted the slave-dependent colonies to join, you had to either buy their slaves from them or allow it to continue. And there wasn't enough money to buy them.
Which is weird because I have yet to find something that truly doesn’t work. What are these folks doing that they have to switch back. I’m guessing it’s they just don’t like how Firefox does things.
There is a way to do this same compression by utilizing the raw probability distributions that the LLM produces as output. Fabrice Bellard has some experiments with doing this with transformers: https://bellard.org/nncp/

The idea is that if you can produce an accurate probably distribution over the next bit/byte/token, then you can compress things with an entropy compressor (huffman encoding, range encoding, asymmetric numeral systems, etc). This comment is too small of a space to explain fully how they work, but it suffices to say that pretty much every good compression algorithm models probability distributions in some way.
Perhaps. But if someone cares that much about data access control, they can very easily manage a rack in house (they probably already do), and do the compute on that. Paying someone else to do orders of magnitude more work than strictly needed when you have private enough data to justify just buying a server (again, you already have one) is a very hard sell. It could maybe, possibly be justified if the workload is highly burstable, but... even then, it's hard to come up with numbers that make sense.
https://developers.raycast.com/utilities/react-hooks/useexec

useExec, useFetch and useSql these hooks follow the stale-while-revalidate principle, which handles fetching, refetching and caching. In combination with Raycasts loading indicators, this allows developers to work directly with the remote data without having to worry about loading/error states.
This link speaks to a different point with regard to effectiveness, not apparent enjoyment. (And to be fair to the barn cats, they did pretty well keeping not only rats and mice down, but also snakes and scorpions)
Crypto is a Ponzi scheme.
If you want a small stepping stone toward Versus, you can add Rust debug_assert for preconditions and postconditions; the Rust compiler strips these out of production builds by default.

Example from the Versus tutorial with verification:

fn octuple(x1: i8) -> (x8: i8)
requires
-16 <= x1,
x1 < 16,
ensures
x8 == 8 * x1,
{
let x2 = x1 + x1;
let x4 = x2 + x2;
x4 + x4
}

Example using debug_assert with runtime checks:

fn octuple(x1: i8) -> i8 {
debug_assert(-16 <= x1);
debug_assert(x1 < 16);
let x2 = x1 + x1;
let x4 = x2 + x2;
let x8 = x4 + x4;
debug_assert(x8 == 8 * x1);
x8
}
If you were building a system with the same architecture, you’d have the same security considerations. Nobody is telling you to use pre-signed URLs, even if you’re using AWS. This is an apples and oranges comparison. A seasoned technologist such as yourself should be able to see past the word “cloud”, understand the architectural differences and the engineering trade offs being made. It’s evident from your comments that you seem to wear this ignorance as a point of pride. I’m no tech hipster and I can still see that this isn’t the good look that you think it is.
Not a core competence so vendor solution is used.

That's financialisation. That's maximising value. Right?
So you're just making your own image format with no compression?

A 1080p image with 8 bits per channel would be 6 MB. Real mobile-friendly...
What is the point of your story? You click on ads and search for things targeted to billionaires and... get more ads targeted to billionaires.
YouTube is great for watching Opera, although you need the subscription to not be distracted by ads. But, after buying that one entry ticket: state sponsored arts are constantly putting up super high quality new recordings of Operas on YouTube. It’s got subtitles so it’s easy to follow along. Yes the video is high quality watch-a-play-being-performed, not a real movie experience. But it’s great for understanding the whole work.

Otello & Don Giovanni

https://youtu.be/qcuaN3jN29Q?si=KQAoKDKHVeDCSxmk

https://youtu.be/8wEMzWH52FA?si=S80Dc_ssXbCBXUtI
For a tool to be of "practical use, significance, or relevance" requires that the work it produces also is of "practical use, significance, or relevance". Blockchains are not.

And the best way to verify a compiled binary is correctly compiled is to do the compilation. That's a trivial amount of work. Constructing a ZKP of the same is certainly more cost intensive.
I think the apt analogy here isn't "old men yelling at clouds" but the historical way that one certain previous generation become more adept than those before or after at working with a certain then-new technology -- thus becoming a uniquely skilled generation in that technology, moreso than their elders or their youngers, never to be repeated again.

I'm not talking about millenials/gen X with computers -- I'm talking about silent gen/(boomers/greatest gen?) with cars.

In both cases, a new technology dominated the world, but was new and brittle at first. The kids who saw it in their youth were fascinated, but because of its brittleness they had to become at least minor experts in at least minor troubleshooting and mainteanance (like tuning a carburetor or defragging a hard disk) just to access the coolness.

I mean, it really was a pain to be a car owner in 1960. A lot like being a computer owner in 1995. If you wanted to enjoy one, you were going to need to change a spark plug or registry value once in a while. And you had to be ready to recover from an engine overheating or a blue screen of death, because these were not rare events.

Then the future generations increasingly lost touch with those skills because the technology got smoothed out as it developed further.

So I think it's quite plausible that future generations will permanently have less interest in serious skills with computers since the same thing has happened with cars. There is a way smaller perecentage of people my age (millenial) who are "into" cars or have moderate familiarity with car repair than people in their 70s. So it seems plausible the same pattern could continue to play out with computers, rather than a "old man yells at cloud" illusion
Cell phones announce unique device ID to all nearby radio towers, even without a SIM - and I wouldn't trust a modern phone without a replaceable battery to stay silent when turned off. Never bring your phone if you need to cover your tracks.
Airline pilots had an engineer at the time before GPS was available, asking a 2-crew system to handle VOR-to-VOR or (non-FMS) IRS navigation as well as their regular navigation load isn't really feasible.

That said, most airliners still have a backup IRS, and can still fly a regular flight plan with IRS and no-GPS, it's just 10 seconds extra setup time at the start of flight.

(trying to go back to IRS-only transatlantic/pacific flights might be a problem due to drift, but GPS still works outside of the small area Russia is jamming anyway, so we're not at that point yet)
> Last time I tried that trick, they put me on a brief hold and then came back to the phone with "OK, sir, your service is canceled as of today.

I canceled Spectrum to jump to a fiber provider. I turned in my equip to a shop and said I was moving out of the country to avoid the retention ordeal.

3 weeks later the plastic cards started coming, every day. Two days ago a Spectrum rep showed up at my house and asked why I quit their service. I explained I needed 1Gb/s upload which ended that part of the conversation.

He next offered me free mobile service which I declined. I closed the door before he could pull out a mix tape.
Yeah, that might have been his point.

That being said, as far as I know the FAA standards aren't really military standards.

Doing some quick searching shows this which seems relevant:

https://aviation.stackexchange.com/questions/12401/how-much-...

So just because something meets a particular level of FAA compliance doesn't really speak to whether they'd work properly on the example "fighter jet" (potentially needing much higher performance).

Sounds like the guy was trying to do a populist pulpit style smoke-and-mirrors kind of thing?

Though if you can follow up and get the details of what type of fighter jet, and what type of bushings he meant (good luck with that! ;>) maybe that guy will turn out to be the first politician in history that's not completely full of crap. :D
What incentive would a GPU provider have to spend time figuring out what result to send for some custom application?
Environmental regs mean a mountain of paperwork, bureaucracy, and delays. Because terrible forest management policies. And dramatically higher costs.

Despite it being true.