skysight-inc/HackerNews huggingface dataset:
That's just kicking the can over to an object storage API instead of managing disks.
I would say two things:

- stop thinking of yourself as slow thinker/fast thinker

- decide if you want to be able to think fast or not and either avoid situations where you have to think fast or seek such situations to practice and get better
so in a quick glance, this does not look like nginx/caddy. It is not a binary you download, install and just configure to talk to your upstream servers. Rather a set of packages which you assemble to fulfill a particular use case. You basically end up writing a "new" reverse proxy just for your use case.

Not sure how useful this would be for anyone except very large businesses or someone like cloudflare itself.
Something was said...not good...
Can also be Certificate Authority. That would have a better ring to it.
I can’t figure out how to make my favorite Korean word work; 김밥 (gimbap/kimbap).

It looks like it should be pronounced “gim bob”

I must be missing something.
There is no free plan, there is just free limit - you must add a card.
These are just cost nightmares, what I love (hate) is when said serverless gives you the any kind of bizarre errors and some solutions require you to do some arcane "saw it on stackoverflow sub-comment".

Oh and it's not like you can jump into the console to debug.

I gave up after not even vercel could figure it out and merely told me that I should replace said package.
But "basement ML" is a thing, the market of people who are interested in PC gaming but not to the point of being lifestyle gamers who throw every cent they can spare at that altar. The GPU they bought long before the pandemic is still running every game they throw at it, but they never completely stop eyeing the new stuff. Dipping their toes in ML, even if it's just getting through 80% of some stable diffusion setup tutorial, can be a very welcome excuse to upgrade their gaming. A card sold for gaming but with generously overprovisioned VRAM (ideally in the range of the lowest bin of the biggest or second-biggest chip I think) could match that market segment very well - and it would not only compete with other price points, it would actually increase the market by some buyers (those who would not upgrade without the "ML excuse").
This is a weird and nice find for me. I'm going on a tad tangent and a bit of a story. I'm from an international border state in India. I grew up studying a part of our local language[1] written in an Indian-specific script[2], but now it has reverted to the original script that has existed since 500-600AD. Surprisingly, when I visited my hometown about 10 years after I left, the first thing I noticed was that the young people could speak and converse in Korean!

Right now, reading from the comic tutorial, I can understand why -- they have similar ideas. I never learned our local script properly; perhaps, now, I can read both and try to learn. I have heard people say that our local script is super easy to learn, and almost everyone, old and young, knows it. Perhaps these similarities help the people from that region to easily tune in to Korean media and speak and understand the language.

1. https://en.wikipedia.org/wiki/Meitei_script

2. https://en.wikipedia.org/wiki/Bengali_alphabet
is it working for you??
Android App Market Stats with Apache ECharts
So first of all, prompting and re-prompting an LLM is basically forcing it to deduce rather than induce; using millions of gates to get from 1+1 to 1+2. That's what our brain does, too (uses millions of gates for dumb stuff), but we designed computers to do that using 4 bits, so it's ironic that we're now trying to write scripts to force something with 60 billion parameters to do the same thing.

I think savants usually solve problems in the most deductive way, using reasoning that leads to other reasoning. I went to an elementary school in the 80s where more than half the kids would now be labeled autistic... some got into math programs at colleges by the age of 12. I believe it's all pure reasoning, not like some magical calculator that spat out answers they didn't understand the reasons for.

[edit] If you meant: Do savants solve problems by recursively breaking problems into smaller and smaller problems, then yes. But the breaking-apart-of-problems is actually the hard problem, not the solving.
This case isn't just about emulation; the Dolphin devs hard-coded the firmware into the emulator, which is why Nintendo had any standing. See: https://www.youtube.com/watch?v=W5bfpS-WYUA
The first sentence does not connect to the second, and the second is simply false.

Also, the first is much too vague to pin down to anything precise: was switching from agriculture to factories a case of "our way of life going extinct" to those who lived through it? Was universal suffrage, universal education, and the introduction of state pensions? Was broadband?

Almost everyone who loses culture to climate change, is going to be those who already lost a lot of it to the European powers from around 1870 to 1914 (not that this makes it alright, especially as the actual harms that population will get in the absolute worst case scenario where such cultural loss occurs is the much worse fate of "being shot at by border guards when trying to migrate").

The only science that will be lost, will be in the form of secrets learned by governments that fall and which others didn't discover independently.

We still should try to stop, even slightly reverse, climate change; just not because of the arguments you're making.
Learning Arabic from Egypt's Revolution (2017)
Learn.Genetics
Last night in The Netherlands : 4 bomb explosions in one city.
Unlocking the Past: TfL releases over 400 digitized maps
when i traveled to south korea several years ago, i managed to learn the letters mostly from reading the roadsigns that were both in latin and korean.

then i patched up a typing tutor program where i replaced the images for the latin letters with korean letters based on the position they had on the keyboard for the korean input system i had installed.

after a few weeks i could type korean text by listening to someone, and having them confirm that the written text was correct.

this was very helpful when someone wanted to tell me a name or an address, especially with kids who had basic reading skills, but could not yet write themselves.

still didn't learn any korean language though. maybe a few words that i have since forgotten
But if tons of people are partly buying a Steam Deck because it is a great way to play loads of retro games from NES to Switch in the same console they are still likely to buy some games from Steam which is sitting right there.
Congrats on the mega-release to you and all the team who worked hard to get there!

I really love KDE. I'm a small time contributor to the project but every time I've been very welcomed and guided all the way through the merging of my contributions on Kate and related projects (KTextEditor, KXMLGUI, etc.), and also Dolphin Plugins.

I started using KDE after a very long time without any desktop environment at all, for years before, I did not even have a graphical file manager installed on my systems. I was pretty happy like this: everything was very efficient, no bloat was running on my system that I didn't chose to, I knew how everything worked, etc. Good times. One day I decided that I couldn't seriously continue to tell people to switch to Linux while not having a clue what it's like to use it as a muggle, so I decided to try installing a full DE and start using GUI for real (up to that point my only graphical applications were Firefox and Inkscape from time to time, even my emails were in Emacs etc). I made a bit of looking around to compare Gnome and KDE and decided that KDE was closer to what I'd like. It's now been a few years already and I love it, really. Anyway, all that to give more substance to my big thanks and congratulations :).
Not everywhere! In Poland for example having lockpicking tools is illegal and carries prison sentence unless you're licensed lockpicker.
Autossh: Monitor/restart SSH sessions – Linux man page
Maybe the complaint was against the UI of Bing, which isn't great, it's very busy and cluttered. The results are as good or better than Google at this point. It might vary depending on use cases and how proficient you are at using either search engine, but in general Bing is a very strong competitor to Google.

As for the UI, Microsoft seems to have given up an any type of UI research after the Office ribbon interface lift. I don't know how you'd improve the UI of a search engine, but Bing could stand a bit of improvement, and so could Google.
European tech companies will always be behind the US. They are giving €80,000 to developers in firms valued at $2 billion :) Look at the salary scales of OpenAI and other companies. Yo will see the difference.
There’s really no parallel whatsoever between pushing code to production and a military operation like this. It’s a terrible analogy.
This is exactly how jokes work. Put them the other way around and you're left with a bland true statement. The point is to emphasize how bad "how to read this manual" manuals are, not actually to categorize manuals.
Show HN: Accelerate ColBERT with tree-based index
I think you're native English and have the associated bias concerning how it works in practice?

Since kids first learn their native language ( write, read and speak) in school and only years after then ( mostly), learn foreign languages.

When they learned to do it in their native language, they hear English spoken on tv with eg. Dutch subtitles and pick it up. Sometimes before they have English lessons.

Most kids, as such, know a fair amount of English before they have it ( = English) in school.

The Dutch subtitles isn't always a requirement though. Kids will pick it up in some shows, eg. Pokemon would be a good example if English spoken.
For a company of Mistral's age, the term founder is quite fluid - people may not have been at the very start (Musk joined Tesla 7 months after it was incorporated)

Others say there were 6 founders, for example:

> Three of Mistral’s six founders, and its technical brains—Mr Mensch, Timothée Lacroix and Guillaume Lample ....

https://www.economist.com/business/2024/02/26/meet-the-frenc...
https://archive.ph/2GPNo
I don't know anything about the subject but it's worth noting that the article Wikipedia cites for listing the three founders, also specifically mentions Cedric as one of three additional "non-operational" co-founders.

My interpretation from the article cited on Cedric's Wiki page and published 6-7 months after launch is that he joined after and hence isn't one of the three original founders, maybe:

> O explains he was drawn to Mistral a few months ago first and foremost because of the ambition of its founders Arthur Mensch, Timothée Lacroix and Guillaume Lample, Meta and Deepmind alumni.

Not saying you're wrong. But "he's not listed on Wikipedia" is a bit weak? Consider just adding him and the others if you figure out who joined when.
I didn't know people would be interested in this, I've always kept it a bit of a secret because I thought it was kinda weird and my wife razzes me like crazy for now intense I am about it. Guess I need a blog...
Ask HN: Is there a whisper-like speech-to-text that detects the speaker?
I found some commercial (expensive) offerings doing this but there doesn't seem to be an open source way to categorise the output of whisper into different speakers/sources?

Thinking of this for podcast analysis purposes.
They call it 1.58-bit in the paper. (1.58 is roughly the base 2 logarithm of 3.)
> You're just allowed to be silly, have fun and be in the moment.

That's still allowed outside of improv!

> my ability to socialize, memorise things and general mood has improved exponentially

But that does sound like a good outcome of your improv experience, definitely.
The filing (1) claims they are a Bing Search and Ads reseller that invests almost nothing into their actual search engine, and instead repays investors with every new funding round.

(1) From page 137: https://regmedia.co.uk/2024/02/26/us_v_google.pdf
>In 2022 Nintendo starting taking down Youtube videos showing Steam Decks running Switch games: https://www.resetera.com/threads/nintendo-started-blocking-v...

What are they supposed to do? Leave videos about piracy of their own IP untouched?

It baffles me how people believe they have a fundamental right to pirate Nintendo software without consequences.
This future seems very unlikely. Nintendo has published like 1 phone game? They are very much a fan of their garden.

It course I would love to see this. I think Nintendo makes some very good games but have no interest in having specific physical hardware do end up not playing them.
Pretty sure they don't have a compulsion to change things for no reason
> There is no mystery to declining birthrate - it correlates universally to economic development at state level

Observably true.

> which in turn is dependent on increasing women labour force participation. Economic development does not happen without women entering the market economy

I think you have your causation reversed there. Economic development allows women to enter the market economy. It does not require it.
i would still call it a virtue; he's a very honest guy
You are awesome, man! Keep it going and all the best of luck!
Valve can't step up because they would lose.
I imagine that for MS pushing Bing to Apple could be beneficial even for free:). This would force Apple to use their own search engine instead of working with Google, thus hurting both Google and Apple.
So it's natural that the deal didn't happen, I am sure people who make decisions in Apple are very smart and experienced ones.
Its really annoying how Nintendo keep on thinking that western law is equal to Japanese law.

Afaik, in Japan you do have absurd copyright law to the point where Nintendo can sue anything and anyone doing emulator or hobby project.
I'm also seeing almost exclusively random scam ads with AI generated images at the moment (on the mobile client, thankfully the ads don't make it through uBlock Origin in the desktop web client). Never thought I would reminisce the good old times when actual companies advertised on twitter ;)
Let's say you have two options: (a) costs X, lasts for Y (b) costs X*3 but lasts for Y*5 - then you still get more value for money with option (b). The tricky thing is of course that it's hard to tell how long something will last, but generally if something is very cheap, it's unlikely to be of high enough quality.
My 6 year old has been watching 20 minutes of cartoons every night for the past two years. This is the only exposure to the English language that she has ever had.

She has learned to understand what is said in the cartoons. Of course she misses some things, but it's surprising how much she gets.

Like, when I ask her "what did Bluey just say?", she can explain it.

Children's brains are awesome.

But actually, grown-ups can also pick up quite a lot if they actually immerse themselves.
Depends on the context. I'm slower than I used to be (aging I suppose), but, uh:

1) Prep/rehearsal

2) Delay ("I'll have that for you on [later]")

3) Snark ("If it doesn't matter let's just flip for it")

4) Silence, then spend the next 8 weeks mentally rehearsing and regretting and beating myself up

If it's literally just "quick wit", sometimes I have it, sometimes I don't, my wife always destroys me and I can only acknowledge greatness.

For myself, outside of prep/rehearsal, I generally only have "quick answers" if it's a situation where I either have a heuristic I trust ("Budget for that department needs to be 20% of top line revenue in most situations"), or a value that makes the decision for me ("We can 10x our profits if we poison these 17 children, should we do it?" has a quick "No").
Some Reflections on Writing Unix Daemons
Chokepoints – China's Self-Identified Strategic Technology Import Dependencies
>The big cost about Nix/Guix that puts people off is that it eliminates a human-readable filesystem. The traditional layout is gone or empty, replaced by a tonne of folders under `/nix/` called stuff like `240-572-9837wfgjh234098672-_bash` and you have to just... trust that your path and so on will work and stuff will just get found somehow.

Not really trust. Nix and Guix are not magic.

You can still use ldd to figure out what (now exact!) library anything is gonna use. Guix and Nix use the rpath feature.

And your profile directory in Guix is a normal directory called $HOME/.guix-profile . Currently, it has "bin" and "share" and "sbin" and "libexec" and "lib" and so on in there. That is what the end user uses. Entries in those do link to /gnu/store/xyz/bin/xyz (using regular symlinks), yes.

>Instead of a flat directory tree with hashes, a consistent algorithm that categorises apps and puts them in a tree:

One hash represents all the dependencies of that package, too.

One directory name in Guix's /gnu/store encodes both the direct sources and all the dependencies, all the way up to a bootstrap root (the latter of about 250 Bytes of binary). If any of the dependencies of bash changes, the hash will change, too. That also means that you will have multiple /gnu/store/*-bash-5.1.16 in there in a normal system.

But in your proposed case, you'd have to introduce some magical things which figure out and STORE the dependencies somehow differently in the background. Guix doesn't do that. It stores that in the file system, the end (as in directly in the file system, not as in "the system database blob is in file /foo"). No magical extra store.

That said, it would be possible to only change the guix profile layout to be what you suggest, and then still have symlinks to /gnu/store/<hash>-xyz in there. Probably like 5 h of work, and end user programs most likely will work on the first try. Patches welcome.

See guix/profiles.scm for what creates the profile. %user-profile-directory is $HOME/.guix-profile . profile-derivation is the function you want to change.

You can also use guix on top of whatever other Linux distribution and try it out like that. The package manager (which makes the profiles) also supports containers--so you can safely try out whether your change works.
Wholeheartedly agree, I did not know books like this even exist, and enjoyed both (Doom as well) of them thoroughly. Too bad he’s never going to write the Quake/i586 book.
I mostly agree, but wanted to nit on this point:

> hell even big operations like a heart transplant or C-section are rarely done "in the moment."

Agree on the plannability, but not on the predictability. Once you are on that table, and especially if you are under anesthesia, there are an untold number of ways that procedure can quickly turn into a secondary emergency procedure. It's a miracle of modern medicine that such invasive procedures are perceived as being trivial.
Isn't this obvious? Use the cameras on the front and back of the device. It's a trivial problem with Apple's sophisticated image description models.
> the relationship with modulo doesn't need to hold for negative numbers.

It especially needs to hold, given how often overlooked negative numbers are when reasoning about programs.
Pentagon AI office must 'cannibalize' to keep operating, Martell says
I had the same issue with the G2. I've always noticed some skipping with rollerballs, but none were as bad as the G2. It was astonishingly hard to write with.

The Energels and Sarasas are the best pens I've found: affordable, nice to use, reliable, and refills fit a variety of pen bodies. If there's skipping, wiping off the tip of the pen to remove any grime resolves it.

In case it's helpful: I place my hand under the text I'm writing, aka "underwriting" and use light to medium pressure.
>The thrust of the filing is that Google invested a lot to make its search service excellent, while rivals never succeeded in attempts to match it – so Google is not a ruthless monopolist, but a restless innovator. Even the presence of Google search in Android and Chrome, the filing argues, did not preclude competition.

Or others gave up on innovating because Google is a ruthless monopolist and would kill it either way. Happened to Edge.
Well 김밥 is a weird word in Korea even amoung Koreans. Gim bob is closer to how I hear people from Daejeon or Daegu say it. In Seoul it's closer to Gimbap, and those who also speak English usually pronounce it Kimbap but I'm not sure if that's for my sake or how they actually say it.
I'm glad you make a point to flush the chain/let things retry. I often hear about people adding drops.. to just then forget about them

I saw millions and started to feel my heart race a little
Related:

Cloudflare has replaced Nginx with in-house, Rust-written Pingora - https://news.ycombinator.com/item?id=32864119 - Sept 2022 (141 comments)

Pingora, the proxy that connects Cloudflare to the Internet - https://news.ycombinator.com/item?id=32836661 - Sept 2022 (123 comments)
Also, Romero recently released his memoir “Doom Guy”, has anybody here read it? Wondering if it’s any good.
A bit of a boring reply but I think AIs have already solved this. AIs might not be able to handle lack of documentation but I think they solve the "How to read this manual" part. Anecdote: I've spent about 20 minutes trying to figure out how can I turn off a monitor with xrandr but still keep it's desktop contents in the same place and struggled to find anything useful, every single search result was about turning off the monitor conveniently missing the important part about keeping the contents there (I realize this is in part a DE/WM issue as well, I'm simplifying for the sake of this message). In any case, I've asked chatgpt and immediately suggesting setting brightness to 0 or using Xvfb to create a virtual buffer both solutions being satisfactory for what I needed.
Cloudflare work on some cool stuff! It's a shame they don't hire for software engineer positions in Australia.
Sundar is the CEO during peace time, not the CEO for war time. Google lags further behind its magnificent seven peers.
Think correlation, not causation.

Programs that can get away at all with not having a manual aren't going to be the most complicated ones.

Kinda like how algorithms with O(N³) complexity have a reputation for being the most likely to screw you in production. It's not because O(N³) is worse than O(exp N), it's because O(exp N) will be noticed in testing whereas O(N³) is likely to have okay performance in testing and blow up with real-life inputs.
Ad Server?

Isn't an ad just a HTML snippet (<a>/<img>) tag?
Nice, adding these to my list. Here's a list that I put together, it has active GitHub projects for LLM UIs, ordered by stars:

- https://github.com/nomic-ai/gpt4all

- https://github.com/imartinez/privateGPT

- https://github.com/oobabooga/text-generation-webui

- https://github.com/FlowiseAI/Flowise

- https://github.com/lobehub/lobe-chat

- https://github.com/PromtEngineer/localGPT

- https://github.com/h2oai/h2ogpt

- https://github.com/huggingface/chat-ui

- https://github.com/SillyTavern/SillyTavern

- https://github.com/ollama-webui/ollama-webui

- https://github.com/Chainlit/chainlit

- https://github.com/LostRuins/koboldcpp

- https://github.com/ParisNeo/lollms-webui/
This person seems to be a Rust contributor, so if this isn't a jab against Rust, I'm not sure what their point is.
mentioned in the comments on the post, which merit reading in this case

i haven't read the rationale, but presumably the committee did this because it's what virtually all cpus do (because it's what fortran does), so it's the only thing that can be implemented efficiently on virtually any cpu with a division instruction, and so virtually all c implementations did it, and standardizing the behavior of virtually all c implementations is better than leaving it implementation-defined or standardizing a behavior that conflicts with virtually all existing implementations and can't be implemented efficiently on most high-end hardware