skysight-inc/HackerNews huggingface dataset:
Use after close is, of course, tons of fun. But the guaranteed order also means open and accept require a per-process lock.
They're pushing the full-fat GSP firmware (all 60-odd megabytes of it) to linux-firmware soon, and allowing nouveau to call into it for reclocking support, so hopefully things will be less terrible for 20xx users and up.
Google: Destroyer of Brands

Contrasted with the rather excellent care that Amazon has taken with Ring!

Android and YouTube are rather successful however. But what has Google done for me lately!? LOL
Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)
If nicotine gum makes you dizzy, then it's the dosage. 2mg is the smallest amount I have seen in gum. Over that, especially for the first time, is too much. It's like drinking a very large cup of coffee (100mg+ caffeine) if you have never had coffee before. You could feel sick.
I’m his worked for me as well. Otherwise it would just do a Google search for “what’s this song” which was very frustrating. At least the song came up, even though it was in Spanish which I didn’t know whether it was used to train the models/input they use before trying.
The “evidence” for this is pretty simple for anyone who has lived and learned different languages. It's the reason learning ancient Greek was for a long time a necessary step for European's elites, since the Roman Empire - the language was deemed to be a better medium of thought. For instance, there are multiple declinations of the word "love", with, for each, a subtle flavour, that is difficult to replicate precisely in English, and even harder in other languages :
https://en.wikipedia.org/wiki/Greek_words_for_love

A language that insists a lot on the logical aspect of the sentence, such as French, will lead the speaker to think more logically. A language that makes it easy to create new words, such as German, will help the speaker to create new concepts.

A speaker of a language where time is represented linearly (say, Indo-Europeans), will think differently about it, compared to someone who speaks a language where the concept of time is much more relativistic. There is a plethora of literature regarding “African time” and why westerners have a hard time to understand African's view of punctuality because of this.

The same goes with personality, it's common that people have different personality depending on the language they speak! I'm personally much more polite in English, as the use of conditionals is much easier than in my native language (French). Some languages are also meant to be spoken differently depending on the sex of the speaker - Japanese comes to mind.

Does that mean that some things can't be translated? Not necessarily, but there's always something lost in translation, along with friction. No language is also “Turing complete”, and there's not a pure 100% overlap between every language. For instance, Estonian has no native word for art because of its peasant origins, and had to borrow the German "kunst"!

There's also a “bandwidth” aspect - some languages are slower to convey information, while others are faster. French is one of the fastest, and if you know French top-engineers, you know that they tend to speak FAST on top of this! ;-)

As such, if your mother tongue is a good language to do science (French) in, and you're discussing with a fellow native speaker, it's preferable to speak in it rather than in English. It's also much more comfortable, and the cultural proximity allows for a better work atmosphere and relationships. Which probably leads to better-performing teams as well.
Super awesome project!
Parameter sets, are basically contexts, in which exists some repr.

Fortunately, we reach point, when near everybody could have his own copy of large subset of terrestrial knowledge (wikipedia).

So I think, in nearest future we will see massively used, at least wikipedia based vector repr, and some org like Mozilla, could make standard context.

But for AGI, we need more, we need 3d representation of world (at least geography and houses/buildings, not all exact, but some adequate); we need non-restricted knowledge base of pictures (video), sounds, and for best results, tactile representations of large enough subset of world objects; and we need some anthropocentric representation of moves of live objects, like humans, trees, some animals.
This does not actually show posts made on bsky. Those would link to bsky.app.

However, there is currently no easy way to read bsky posts without an account. Although this is now a priority for bsky devs.
Great! But try to use regional demonyms instead of nonexistent countries (at the time). i.e. "Iberians" instead of "Spanish"
Well Boeing is unable to launch anything nor deliver on their end of Commercial Crew, so maybe they need a good excuse to not have to do anything for a while.
Yeah, I know that. I was only arguing semantics. :)
resuming? Has humanity stopped since 1957?
For sure, I agree with your points, which is why I write Rust these days instead of OCaml. Sometimes you really just want to get stuff done, while also being faster in execution speed of both the machine and the human.
Amazon Making Its Own Linux-Based OS to Replace Android
Currently I am using Fedora but I am looking at OpenSUSE.

I like Tumbleweed because it is rolling release but also like Fedora for its community.

I hope OpenSUSE will be more popular over time because it is q really good distro.
Ok...? Why would you start debating MDMA legality when someone's sharing their story?

Also, all the studies you linked are about using it in therapy vs using it at a rave?
Did it work?!
Yeah, that was one of the parts I have no chance of solving. I assume back in the day and/or for Americans this would have been just as commonly used as ha or a, which I still vaguely remembered the definitions of.

Can someone comment on the relative difficulty of the algebra and geometry/trig problems? I am far more confident in my algebra and found those problems fairly approachable, as in, I know how to tackle them, even if I am too lazy to actually do them. The geometry and trig problems are beyond my current knowledge, but I haven't used those skills in years at this point.

I am also fascinated by the contrast between some skills being essentially irrelevant (Latin and Greek) and others being nearly the same (algebra and arithmetic) after a good century. I guess the mathematicians win this round of "relevance over time" :)
Impact of physicality on network structure
Reminds me of "rzk: an experimental proof assistant for synthetic ∞-categories" (https://rzk-lang.github.io/rzk/v0.6.4/reference/introduction...) and the ∞-categories paper (https://arxiv.org/abs/1705.07442)
> The X-37B operates in GEO

So far it hasn't. Out of the six missions so far [1], the highest one only reached altitude 404 km [2]:

[1] https://en.wikipedia.org/wiki/Boeing_X-37#Operational_histor...

[2] https://en.wikipedia.org/wiki/USA-299

Edit: or maybe 444 km [3]:

[3] https://en.wikipedia.org/wiki/USA-212#Altitude_and_ground_tr...
I've tried a variety of linucies, but I keep coming back to Fedora.

It frequently works the best "out of the box". It typically has the newest stuff. Googleability isn't quite as good as Ubuntu, but it's rare that I find answers that just fundamentally don't apply to Fedora.

I've beeen running a home server on Fedora, and in-place-upgrading since like version 28, and never has the OS been my problem.

I recently swapped my daily driver to Fedora from Windows. My biggest complaint is nvidia's drivers, but that's not unique to Fedora.
How can an entire formula 1 team just miss this?
Second, less-predictable execution path. Additional cognitive load in evaluating effects across both paths. Additional opportunity for bugs. Doesn't necessarily mean that exceptions make all software which uses them unsafe, but does tend to mean that exceptions significantly complicate the task of proving safety for any nontrivial program.
How would you even find 20 people willing to install and test your random app for at least two weeks? This requirement is insane.
In OCaml most people are writing signatures to which their modules conform (usually in separate mli files). The problem is that checking the signature happens after all the type inference so you can’t use it to disambiguate constructors for function arguments/results, and they can’t be used much to guide users who make type errors in their functions. I think it was a good idea that rust put the types in arguments to non-anonymous function.
The US average injury rate is 2.7.

"industry average" is meaningless. The aerospace industry consists of 90%+ office workers, very unlike SpaceX.
Zen4 is 4-wide[0].

I understand Zen2 (and thus 3) are also 4-wide.

I do not know about Intel's designs.

Has Apple officially published these details about M3?

0. https://en.wikichip.org/wiki/amd/microarchitectures/zen_4
ID.me supports hardware 2FA, including Yubikey.
I don't think the safety aspects are a much stronger argument. Managed languages like Java and C# are safe. The garbage collector isn't going to let you ++ your way into remote code execution and most corporate software engineering isn't heavily concurrent. I think a stronger argument would be to advocate for a more functional language on the same runtime, like Scala or F#.
House price is meaningless. It’s home equity that matters. Someone with a million dollar house likely owns a good chunk on it.
As a browser, it seems pretty good. I mostly use it as a backup browser, for when Firefox has issues. Most likely due to ad blocking and noscript extensions, but even disabling that stuff in the tab I've had issues with some sites that worked with Edge. I don't have Chrome installed. I've seriously considered switching to Edge entirely. I find myself sometimes opening it just to use the ChatGPT feature, which is really useful for searching. But I'm vaguely uneasy about being more integrated with the Microsoft ecosystem, even if it would make my life easier in various ways. And I think the Firefox web browser is worth supporting. I suspect that 'Microsoft's aggressive attempts' to get people to use it has created more use than it has lost. If they keep it up, we might see Chrome share shrink as more people realize they are installing Chrome from habit rather than because they prefer it. But Google control Android, and some integrations with phones are going to be hard to beat.
You think they're smart because they've conned people to enjoy others almost wrecking?
That's true, but at least in my experience, it is rarely a problem. Because if you're at a point in your program where you don't want to bubble up, you can just pattern match against the exceptions just as you would a Result type, which F# also has.

I don't know Rust, but after searching, it seems that it has a panic facility which seems even more escaping than an exception. Happy to be corrected there.
It’s inconceivable to me that idiot journalist is asking the question of whether threads is dominating when it’s not even available to Europeans.

It’s beyond asinine and suggests some serious hubris.
> and First

>> Isn't that arch?

Arch will have the packages first and I do love Arch, but it's not exactly a holistic, curated distro like Fedora.
> The person has had their credit rating damaged

This is called libel. This person is a victim of a crime the credit reporting agency committed.
... Did you look at the graph? It effectively starts around 88k... Aka the bottom 10% earn less then 100k + it's the base salary... Bonuses come on top and are usually significant, starting from 7k according to Glassdoor

And we are including müllers it services here
How would they have typeset this, especially the more complex equations? I'm guessing LaTeX didn't have great support on 1899 typewriters or printing presses.
I just realized you wrote “de-anonymization”. We don’t do that, but we do a risk analysis that simulates an attack, making some pessimistic assumptions about what data an attacker may have for linkage, to estimate how risky data is to share, essentially as a benchmark. TLDR; more unique combinations of quasi-identifiers make data more susceptible to a linkage attack. We also pitch our system as a risk analysis only tool, though no one is using it for that currently. If you’re interested in methods, I’d recommend El Emam’s book, “Guide to the De-Identification of Personal Health Information”, which covers a lot in detail. Our attack simulation is based on his work.
Show HN: Bulk Creation of Transcripts from YouTube Playlists with Whisper
I know there are various tools that are supposed to make this easy, but I couldn't find anything that did everything I wanted, so I made this today for fun. The web-based offerings all take forever and seem flaky, and you need to process one video at a time, with no control over the transcription settings. In contrast, my script lets you convert a whole playlist in bulk with full control over everything.

It's truly easy to use-- you can clone the repo, install to a venv, and be generating a folder full of high quality transcript text files in under 5 minutes. All you need to do is supply the URL to a YouTube playlist or to an individual video file and this tool does the rest automatically. It uses faster-whisper with a high beam_size, so it's a bit slower than you might expect, but this does result in higher accuracy. The best way to use this is to take an existing playlist, or create a new one on YouTube, start this script up, and come back the next morning with all your finished transcripts. It attempts to "upgrade" the output of whisper by taking all the transcript segments, gluing them together, and then splitting them back into sentences (it uses Spacy for this, or a simpler regex-based function). You end up with a single text file with the full transcript all ready to go for each video in the playlist, with a sensible file name based on the title of the video.

If you have CUDA installed, it will try to use it, but as with all things CUDA, it's annoyingly fragile and picky, so don't be surprised if you get a CUDA error even if you know for a fact CUDA is installed on your system. If you're looking for reliability, disable CUDA. But if you need to transcribe a LOT of transcripts, it does go much, much faster on a GPU.

Even if you don't have a GPU, if you have a powerful machine with a lot of RAM and cores, this script will fully saturate them and can download and process multiple videos at the same time. The default settings are pretty good for that situation. But if you have a slower machine, you might want to use a smaller Whisper model (like `base.en` or even `tiny.en`) and dial down the beam_size to 2.
Ask another human for source and they'll tell you.
This is also my current worry. If you know the concepts (Not the workflow) about the problem you’re solving, I find it easy to get answer, and in the meantime you’ll collect some new knowledge in the process. even when asking someone, they will often point out the knowledge you lack while providing the answers.

Getting straight answers will be detrimental in the long term, I fear. It feels like living in a box, and watching the world on a screen and the person answering my questions is mixing lies and truths.
One of the authors of this was Robert Dewar. He was a computing genius and an awesome person. Another story about him is here:
https://dwheeler.com/essays/make-it-simple-dewar.html
I mean I was more making reference to not knowing it’s sometimes cold in high deserts in winter given they have massive teams and every car is millions.
I'm a Raiders fan in a coldish place/different state and didn't know it gets cold there either

Edit: would have assumed LA/SD climate but desert
> I want to know what this thing is so bad.

Its a small space plane used for materials and operations testing..

> Also wonder what are the odds that space force has put people into space and brought them back at this point,

Literally zero.

> and what is the timeframe they envision for doing such things if not.

Not sure why Space Force would be interested in that. Not anytime soon.
Ask HN: Indie hackers, I can solve an important problem for you
I have a question for indie developers. When developing a new product/project, it is no longer valid in today's world to develop the product in stealth mode without getting any feedback and without testing the market. Because your 2 biggest problems are: you have limited time/effort and no money (poor people, unfortunately)

Iteration is the key: How fast the product goes to market and starts collecting feedback is now very important. And even more important than that: MAKING FEEDBACK MEANINGFUL

Now I've come to my question, if I develop an infrastructure that allows you to collect feedback about your project/product and regularly reports these feedbacks in detail to you, telling you what you lack, what your pros are, what you need to do next, would you use it? How much money would you pay for such a thing?
> So put your EV charger on the same circuit as the dryer. Then as long as you don't need to charge the EV at the same time you are running the dryer as far as your house wiring is concerned it is like you are running an extra two loads of clothes through the dryer every day.

I asked an electrician about this once and got lectured. Apparently per regulations a dryer needs to be on a dedicated circuit, and tapping into that line is a big no-no. Nor do you want to have to depend on a breaker as a fail-safe at this amount of current. Instead he ran a separate 50 amp line to my garage terminating in a single outlet, that I can do whatever I want with, EV or welder or whatever.
No, sunk cost is just a fallacy. If you've already put $90 into something with a 50% chance of returning $100 if you invest another $10, with all other things being equal, it's a bad idea to spend that $10 if there's a cheaper $9 option that also has a 50% chance or returning $100.

> For example, if you spent 5 minutes trying to loosen a tight bolt, it's possible that the bolt has been loosened somewhat and you could fully loosen it in a few more minutes, so giving up is suboptimal.

This is exactly the sunk cost fallacy, though. Wishful thinking: "it's possible that the bolt has been loosened somewhat"

If "it's possible," then it's not a sunk cost fallacy, it's the best option. The sunk cost fallacy is when you prefer a tight bolt that you've put a lot of effort into to a looser bolt that you haven't put any effort into.
Ask HN: Best AI Communities?
I mostly read HN, but there are a lot of small AI projects that never show up on the radar here.

I'd like to meet other people working on interesting things. (Folks thinking about what the future looks like 6+ months out.)

I lurk on a few AI subreddits that are a bit meme-y. X has interesting content but can be low signal to noise.

Have you found, or are you a part of, any good AI communities? (Discords, IRC channels, etc.) thanks!
This article seems to argue that sunk costs are not so much a fallacy beccause they often come with real ongoing costs that make them hard to ignore.
This just begs the question. The reason we harp on sunk costs is for exactly this fact. If they were easy to ignore, no one would harp on them. You never hear about the "don't play dice with strangers in an alley" fallacy because that is a fairly easy trap to avoid.
> I have been wishing for a photoshop-like GUI frontend for GIMP for 20 years. It's not even that far off. That sounds ungrateful, and it's not meant to be - I know this is just how it is, amazing stuff under the hood and janky interfaces

They used to have a Windows build that was like this called "Gimpshop":

https://en.wikipedia.org/wiki/GIMPshop
I think that just shows how terribly non programmer friendly open source development is, designers and the like do not touch places like github, the whole model needs a redo to make it easier for non programmers to participate in open source development
I have heard these reports too but I haven’t noticed any differences in behavior by driver version. All the bugs I mention are the same ones before and after the latest beta that everyone said improved things. I imagine they fixed some particularly visible problem although I haven’t seen it. Maybe most people are on laptops and their laptop chip got some fix for an issue impacting those users? Not sure but that’s one obvious difference that might separate me. The other is that my CPU is the 13900k without an Intel GPU and I imagine most people opt for iGPU integrated (I didn’t see the point of it when running a desktop and I had enough of bad experience with Intel+Nvidia on the laptop side of things for the past 2 years with that configuration that I decided my sanity was better this way).
In the late 19th century hot metal typesetting was common.
Feds could also do it using Passport card and DoD does it with CAC cards so Federal government knows how to do this.
I use Quarto with .qmd files. I use the plugin for VS Code but you can also do the rendering straight through the command line. Absolutely love it, didn't need to configure much, it just worked out of the box.
What the paper claims it is saying: you can get the Lorentz transformations without requiring an invariant speed.

What the paper is actually saying: assuming there isn’t a privileged reference frame, you can show that either the Galilean transformations hold (i.e. simultaneity is invariant, suggesting instantaneous propagation of forces, a special case of Lorentz transformations where c is infinity) or Lorentz transformations hold (i.e. a single invariant speed in all reference frames, suggesting propagation of forces at that speed).

Empirically, we know from measuring the speed of light that we live in the latter world. But we can’t prove that a priori as the title suggests.
Sure but that means it is reliant on earth for replacement parts for the habitation modules/structures so not self sufficient.
I love Gnome, Fedora's been along for the ride but it's been an excellent distribution in my book. Glad I decided against Elementary (it was right before that project imploded).
There's gguf versions (for llama.cpp) at https://huggingface.co/TheBloke/Yarn-Mistral-7B-128k-GGUF

Llama.cpp is good for running on macs and for partial gpu offloading on non-macs.

There's also a table of memory usage depending on which file you use.
Not sure the availability of twitter in Europe is indicative of their compliance with EU privacy laws.
Tesla pricing over the last 12 years, some within the same model is the most citable.
https://news.ycombinator.com/item?id=29834753
I was shocked to learn that last year about the level of detail they had.

1. All your mortgage, credit inquiries and bank account names

2. All your previous addesses and perevious employers

3. Your MONTHLY salary and combined comp per yer going back to 20XX when I came to the US.

4. Dates of employment per employer, bonus, overtime, RSU comp

Does Experian and Transunion have that too, and can we block that as well?
Nvidia's Great Wall of GPUs: China's Hoarding Spree
> Edit: wtf, don't trust tools like http://ipa-reader.xyz that is near the top of search results. The default american voice pronounces /y/ like the "o" in "who". What's the point of IPA reader if you're going to pronounce an A like a B when your language doesn't have the A sound?! Accent is fine but don't change the sound to a different IPA character altogether...

I'm guessing the goal is to reproduce an accent, but if the natural language doesn't have the IPA in its phonology, then it's going to be mapped to the nearest representation. English doesn't distinguish between /y/ and /u/, so a native English speaker being asked to reproduce a /y/ sound (especially in running speech where you're not thinking about how to pronounce the sound in particular) is likely to end up with something near /u/ anyways.
I'm not sure if it may work in other sites, but people here will be angry and will remember 3 years later when you launch your product and hit the "hide" button and ignore your post.