skysight-inc/HackerNews huggingface dataset:
"Silicate chemistry is second nature to us geochemists, so it's easy to forget that the average person probably only knows the formulas for olivine and one or two feldspars."
Switching on Strings in Zig
My wife earned that as a postdoc at Stanford, but as a PhD in Oxford earned £14k per year. $55k as a PhD is really really good.
Neuromorphic Computing Is Ready for the Big Time
A lot of people think that. Just a tiiiiny problem: the hijackers didn't think that. They were jihadis.
Give me a counter example.
this AI agent has been trained on 100s of successful YC applications, along with insights from YC’s official website and other web sources.

It's a great tool to refine your startup idea - even if you’re not applying to YC. Try it out and share it with your founder friends!
Hitler cared about the outcome a lot. That's why he killed so many people. So your analysis has a pretty big flaw there.
What do you find objectionable about that statement? I don't consume any social media. This is the closest thing. I assume you must at least use Twitter or some other right wing propaganda outlet to think DOGE is about efficiency.

Most government spending is military. DOGE has targeted things like: Meals on Wheels, the Department of Education, National Institute of Health. The evidence I see suggests DOGE wants to implement Project 2025 with Elon's personal touch. An opportunity he paid for with his 270$ his campaign contribution.
You prefer ThreadX?
Insufficient patent office jobs?

The money stifles. There's not enough money for everyone who wants a Very Large Array of their own. People don't have money to sit around thinking all day. There needs to be some system of deciding priority. The profit incentive is the only reason any science dependent on HPC and GPUs is possible. If you want more science, you need more economic growth.
So what is he saying the second ammendment is for?
The kernel is full of (a-)holes (both the code and the project), because the a-holes drive away the people who would help fix the holes.

Yes, it works, but there's a very real opportunity cost paid every day, month, release. It works until it doesn't. (Marcan crashed and burned out. But sure it works. And ... after all, since there's no real alternative we just pretend that it works. So as I was saying, it works! It's alive!)

Of course it's not easy to set boundaries, but the whole "patches are welcome" sets up false hope and masks the real incompetence in managing the kernel. (And of course is the focal point of the broader, very human tragedy of the Linux and FOSS ecosystem. insert obiligatory xkcd 2347 link here)
What a snowflakey thing to say.
So it’s more about having the music than owning the music.
https://news.ycombinator.com/item?id=43047395
> But that is what I am talking about! Maybe you get something, maybe not!

You wrote that in the European Union (nothing to do with Norway) you don’t get ANY (your uppercase) money if you don’t work « like 30 years » at the « very same » country. If you don’t stand by what your wrote so much better because it was false.
> This was weirdly exciting and depressing at the same time :)

And, depending on how far north you go, should be taken seriously. In Iceland, out of my exchange students cohort of ~10, once the winter hit, one had to escape home and two were hospitalised after too much drinking. It can be a really tough experience, especially when you don't have close friends/family to contact and lose track of time.
Funding developer salaries.
For something dead the numbers still go up a lot:

https://www.zippia.com/advice/how-many-people-use-the-intern...

also the amount of content etc. For all sorts of tastes. I was just watching a comparison test of Craftsman wrenches from 100 years ago, 50 years ago and today. You just didn't have that sort of important content in the early days. https://youtu.be/VTSGAyyLzvo
I don’t really see what “continuous profiling and optimisation” has to do with your code change here. 68% of your cpu time is spent computing SHA256? That’ll pop out as a hotspot using any competent profiling tool. It doesn’t matter what tool you use, or what approach. It just matters that you look, at all.

I’m not saying your special profiling tools are bad. But I can’t tell what’s special about them when they’re simply doing something you could do using literally any profiler.
That already happened, just over a year ago, we have Copilot keys now.

I guess it invokes the AI rather than controling it, maybe there'll be another key soon.
So it can rust now? That's impressive!

Last time I tried it had no way of valid rust code beyond hello-world level, constantly producing code that failed the borrow checker.
Contrasting the Cline and Cursor approaches to the developer-AI relationship
I think you are not understanding how difficult it is for people with types of phobias about germs and illness.

Imagine being obsessive compulsive about cleanliness and germs, then the pandemic comes along. You would never recover from that experience psychologically.

It would be worse than if someone with ophidiophobia woke up one day and snakes were randomly falling from the sky.

The worst of all though is an infection with no symptoms. Like an invisible prison the germ freak can never escape from.

What is bizarre is we pretend there aren't at least hundreds of thousands of people in the country with these type of phobias.
Yes? And train wagon brake operators.

Social upheaval sucks for those involved.
No, that's about where we are. Today's LLM coding is basically automated Stack Overflow copy/paste - not too bad for anything simple and mainstream, but unable to reason about code from first principles, and fond of making up random shit that looks good but doesn't work.
Exactly, and sometimes I don't want to save a file just for indentation to happen as a side-effect, especially if I can do `C-x H TAB` to correctly re-indent the entire thing.

That's particularly more helpful when some formatters will actually rewrite your code to either break lines up or squish things back into a one-liner.
Ones that have been watched closely because of high mortality in birds? Spread globally? And jumped species to different mammals?

Dismissing H5N1 out of hand is like saying we shouldn't be concerned if Ebola Reston showed up worldwide, in multiple species, because it's not known to infect humans.

H5N1 already has a lot of characteristics that would make it very concerning if it also became human to human transmissible. Ergo, we should take it seriously.
European Parliament urges lawmakers to use encrypted messages after China hacks
Stupidity of mine
> Now I am freeloader and get NOTHING!!!

https://dictionary.cambridge.org/dictionary/english/freeload...

a person who uses money, food, a room in a house, etc. given by other people, but who gives nothing to them in exchange
The People for the New American Century or the off script timezone goof by the BBC?

Or maybe the Gelatin art crew?
One might need document/context fine-tuning. It's not beyond possibility that a prayer of text is about Charles ll1 (el-el-one) someone's pet language model or something. Sometimes you want correction of "obvious" mistakes (like with predictive text) other times you really did write keming [with an M].
Slavery in the United States from Beginning to End
For Google, definitely flash-2.0; It's a way better model.
GPT-4o is kinda dated now. o1 is the one I'd pick for OpenAI. It's basically their "main" model now.

I'm not that familiar with Claude for vision. I don't think Anthropic focusses on that. But the 3.5 family of models is way better. If 3.5 Sonnet supports vision that's what I'd use
> These slides are a bit ugly, unsophisticated, and bland.

Woosh.

They irony of asking for shiny, bubbly interactive slides that would add absolutely nothing to the point being conveyed, when that is exactly part of the argument being made.
https://en.wikipedia.org/wiki/Tree_shaking
Although, not in Python of course! :)
Elevating Human Expertise in the Age of AI
> that changes other things that I don't want, like currency.

Oh god Google is so bad at this. They don't even let me change the currency in many cases when looking at hotels (yes on the website; not in the Google Maps app)
If you're wondering how they prompt the models:

"Perform OCR on this image. Return only the text found in the image as a single continuous string without any newlines, additional text, or commentary. Separate words with single spaces. For any truncated, partially visible, or occluded text, include only the visible portions without attempting to complete or guess the full text. If no text is present, return empty double quotes."

Found in: https://github.com/video-db/ocr-benchmark/blob/main/prompts....
>.< This feels like having COVID arguments again.

We both understand that pandemics don't happen under controlled, fully observable situations, yes?

And therefore must be studied and predicted based on incomplete information?

And this has been the case since the dawn of epidemiology?
> sensory cells, like heat or touch

Like light sensitive cells these would need a similar 1 - 4 +++, so the point would really be the same.
In fact it covers it 100%. Examples:

Manslaughter is when you kill someone without conviction and/or delusion. You can hit someone without the conviction that you need to kill them and they fall really badly and die.

Murder. You can hit someone in self defense where you have no conviction that the person must be killed (because for example they say you had sex with their wife, but you in fact know you didn't, it's a misunderstanding), and you don't have any delusion (you know the attacker is delusional in fact). And then you defend yourself and he dies because he hit his head badly on the way down.
Many people in tech circles also think this. People in tech are no smarter or no more resistant to grift and propaganda. See this entire comment section.
I mean, no, because the straightforwards reading of his first email doesn't match with the facts. He said "no rust code in kernel/DMA" when the patch did not add any rust code to kernel/DMA.

The fact that the patch wraps kernel/DMA is why he was CC'd in the first place, but that doesn't give him authority to unilaterally reject it any more than he would have the authority to reject an Nvidia driver for using DMA.

What would happen in that case (and is likely to also happen in this one) is that CH's objection will be completely ignored, because it's absurd. Maintaining the DMA subsystem doesn't give you veto rights against every driver or subsystem that needs to use it.
Nice to know not everyone has koolaid in their veins.
When I click on SQL Workspace, I get an error:

> Failed to load database
Can't find variable: WebAssembly
The classic Latin alphabet had 23 letters. The letters J, U and W have been added during the middle ages. They were originally just variants of the Latin letters I and V.

The origin of "u" is as the lowercase form of "V". Latin had used "V" both for the vowel form of "u" and for the consonant form of "u", which is written in English as "w". The Latin consonant "u" has become fricative in the Romance languages, i.e. the sound written in English as "v".

Due to this change in pronunciation, for the Romance languages 2 new letters have been created, uppercase "U" and lowercase "v", pairing them with the older "V" and "u" and giving them the current pronunciation. Most other European languages have then taken this updated Latin alphabet. A similar history was for the splitting of Latin "I" into "I" and "J".

English is one of the few Indo-European languages that has preserved the original consonant "u" pronunciation in many words, instead of changing to a fricative "v" pronunciation. Because of this, "W" has been originally created for English to write this pronunciation, for which neither "u" nor "v" was appropriate. Later "W" has been taken also by other languages, where it has received different pronunciations.
And this is one reason I still don't understand the use of python in large teams!

I suppose with very good tests, you might be able to catch something like this, but it seems impossible to me how a PR reviewer might catch a "bug" like this and not just assume that it's intentional.
Anthropic has a beta endpoint for PDFs which has produced impressive results for me with long and complex PDFs (tables, charts etc).
A little secret: Apple’s Vision Framework has an absurdly fast text recognition library with accuracy that beats Tesseract. It consumes almost any image format you can think of including PDFs.

I wrote a simple CLI tool and more featured Python wrapper for it: https://github.com/fny/swiftocr
Oh, didn't know about that. That makes a lot of sense. Reminds me of how hitting cmd+c on a line in PyCharm copies the entire line if there is no selection. Because what else would make sense?
> But that is what I am talking about! Maybe you get something, maybe not! And nobody knows if Norway will be in EU in 30 years from now!

I don't know the specific case of the US and Norway, but some EU countries have extra bilateral agreements with non-EU countries. Italy for example has agreements with countries all around the world (among them the U.S.).

If you are worried that you may not get your money in 30 years, other agreements give the person going back to his home country the right to get back the money that he gave to the pension fund (this include the U.S.).

Now, this depends on the country, but I wouldn't discount the destination without checking first.
> The executive branch can't defund or "stop spending money on" anything. Nixon decided he just wouldn't spend money on programs he didn't like, and congress very rapidly passed a law that said that the president couldn't do it, because the "power of the purse" rests solely with congress.

That's all great in theory: in actual reality those laws are just words on paper, Congress has no interest in asserting its authority, and enforcement rests with the executive.
It's a timing issue too. Your hand can be travelling to the keyboard and between that and registering in the OS the AI suggestion inserted itself inbetween.
> Yet the project marches on, with a nebulous vision of doing a really useful kernel for everyone.

The question is - how long will it march on? The lack of new developers for Linux has been a consistent topic for years now. Linus himself isn't getting younger, and the same goes for Greg KH, Ted Ts'o and other influential leads.

When the status quo scares off too many potential newcomers, eventually the project will either wither or too inexperienced people drive the project against a wall.
I thought OP was saying AI can generate the code that can then be formally verified based on your non-verifiable code, not that the AI itself is verifying it? I could be wrong, of course.
Application installation isn't a user level task. The application being ready for a user to use, and being easy to install are separate. You get your IT literate helper to install for you, then, if the program is easy for users to use you're golden.
I have reflected on a good definition of causality and would be curious if anyone has thoughts or critiques of it. I am repasting part of my essay below. (https://alexpetralia.com/2023/02/25/statistics-only-gives-co...)

--

Can we nevertheless extract causality from correlation?

I would argue that, theoretically, we cannot. Practically speaking, however, we frequently settle for “very, very convincing correlations” as indicative of causation. A correlation may be persuasively described as causation if three conditions are met:

Completeness: The association itself (R²) is 100%. When we observe X, we always observe Y.

No bias: The association between X and Y is not affected by a third, omitted variable, Z.

Temporality: X temporally precedes Y.
Perfect pitch is being able to name any individual note and to hear when they're not quite in tune. Although it's also a curse, because perceived pitch changes with age, so you have to keep learning to compensate. And domestic acoustic pianos are often tuned a semitone flat, which really messes with your head.

Advanced pitch recognition is being able to pick out the notes in a complex chord in open form.

Professional pitch recognition - as demonstrated by some conductors - is being able to list the pitches in any random set of notes played at the same time on a piano. Including notes in the lowest octave.

It's a lot easier to get to the last two if you have the first.
> Of course this helps her proposal, but not because the mere mention of DEI gets it a rubber stamp.

Of course.

> It’s part of her credentials to show that she’s taken an active role in expanding access to these advanced fields. It shows she’s part of the community and cares about the field she’s in.

No, it is not. That is not related to category theory in any way. That’s really stretching any notion of “credential”. It seems really bad to distribute grants according to such qualifications. Community organising and politics aren’t math.

> Working in a soup kitchen and being a rich white man as counter examples don’t work to prove your point because duh they aren’t related to math.

A soup kitchen for poor math enthusiasts? A head of Arian math society? Very math related.
I assume having to learn Norwegian is a small issue?
Those are called "tech enthusiasts"
With this feature they're competing with the features Cursor had for quite a while now, so I would expect a price competition there. That means close to $20 /mth. (windsurf without that feature is $15)
> ~$115M

That's $0.70 per taxpayer (assuming 166M US taxpayers).

Was it worth it?
Well, not a live one, anyway.
Show HN: A New Way to Learn Languages
Hi HN, I’m Pablo, I built this application to learn languages using podcasts:

https://www.langturbo.com (No signup required)

There are a lot of tools to learn languages, but most of them focus on beginners (understandably so, that’s where the money is) but not many exist that target intermediate or advanced learners. The ones that exist make you find content on your own and then import that into their apps, which can be tricky when you don’t know where to look.

LangTurbo has a unique curated database of podcasts by language (some even have dialect labels) that you can browse by topic, or search by keyword, so you can discover content and learn in the same place.

Having a good language learning method is important, but having the motivation to keep learning is much more important. Some tools like Duolingo try to keep you motivated with “gamification”. I don’t like that, I think it gives you a false sense of accomplishment without real improvement. The way LangTurbo tries to keep you coming back is via the content itself. My goal is that you discover some podcast that interests you enough to keep coming back to listen to new episodes, the same way you listen to podcasts in your native language. I wrote more about the method here [1]

The app also lets you learn without looking at the screen, you can listen to a podcast in the background and for each sentence you will first hear the translation in English and the native speaker after. I call it “poor man's Pimsleur mode”.

Some things I learned while building the app:

* Currently the best SRS algorithm is FSRS, the app uses this algorithm implemented in SQL (thanks to [2])

* Working with Expo (React Native) was a great experience, the app has web, iOS and Android (coming soon) clients sharing most of the codebase.

* A lot of non-English podcasts have a feed with English as the language. I had to build a “probe” to get the correct language of a podcast, based on the text and audio of the feed.

* Podcasts use “Dynamic Ad Insertion”, that means the content of the audio can change according to the request IP or the time of the request.

* Still amazed by all the things Postgres can do

Let me know what you think, happy to answer any questions.

[1] https://www.langturbo.com/blog/langturbo/getting-started

[2] https://github.com/sivers/srs
My issue isn't that it does or does not highlight an area, it is that sometimes it highlights an area that is not a building and the instructions are a bit vague as to is this is "correct" or not. One example - I see it highlighting someone's back yard with a swimming pool. It is not a building. Is this correct or not? I mean,it has identified the shape perfectly, but it is not a building. I feel like lazy people clicking through CAPTCHA is not the place to make important decisions on OpenStreetMap map level features without a lot of filtering of the results.
"A lack of vigilance and discipline" is a good diagnosis, and "write code with vigilance and discipline" is good advice.

Now, of course that does not spell a plan that you can blindly follow step by step, and that's good! It forces you to think about what this means for you and your team and to come up with strategies and processes that will fit your needs. This should not be too difficult for people in the field.

It might sound basic or obvious, but actually most commercially projects I have been involved with lacked both. It takes a firm leader to instil and maintain both.
> My overriding feeling after reading this is: displaying text is a key job of a web browser.

Displaying ads is the key job of a web browser, and they are mostly video these days.
The 800 was released in 1979 which was long before the Speccy, C64, Amstrad CPC and MSX (which I consider the other 'popular' home computers).

(ok I forgot about the Apple II (1977) I think that was mainly a 'big in USA' phenomenon)
- Error correcting codes (viterbi, reed/Solomon, ...)

- cryptography in general

- data compression

- a lot of DSP stuff is pretty magical in it's various applications - digital filtering, modulation/demodulation, recovery of weak signals in noisy environments, beam-forming etc

There's a lot of really amazing, largely mathematical, foundation work that we now tend to take for granted and without which we'd be back in the relative dark ages.
pretty sure https://taubyte.com does just this
Equity is compensation, just illiquid, risky compensation. If you're wanting to get a wage (liquid, low-risk compensation) as well, expect to trade it against equity (which will naturally happen: if you're a founder being paid a wage, you're being paid it with the VC money which you have gotten by giving them some of your equity for some small fraction of what you expect the equity to be worth if you succeed). If you believe in the company (or at least rate the chances of success as more than the VCs do), it's rational to minimise the amount you trade away in equity for short-term needs or risk-reduction.
Look, commie, every red blooded American has a right to commit financial frauds.

Meme coins, Ponzi schemes and fraudulent inflated companies are what built America. Adam Smith’s invisible hand and the second amendment are all we need, not some pasty deep state operative.
I would probably pay 100 quite happily for cursor, don't tell them .
blablabla, I know PhD from Asia, who worked in Norway for 5 years. Their take is any money they get from pension is a bonus. They may get lucky to break even, without counting 24 years of inflation!
Reminds me of Greg Egan's "Permutation City" (1994)'s "Autoverse". Highly recommended book if you like this article.
Awesome! I had a look at making something similar but stumbled into issues with looking at file updates with fnotify as it isn't supported on OSX. This is the answer to my prayers! Will definitely add some notification to use this so I get a visual/auditory signal to touch my Yubikey.

Thank you so much for making this
I think that’s a fair critique! Probably would have been better to say that the intuitive position was that smoking was unrelated to lung cancer.
When developing something I tend to have lots of programs open:

- The editor

- Several terminal windows

- Some docs

- GitHub PRs

- AWS console

- Admin tools like PgAdmin

- Teams, Slack, etc.

When screen-sharing with Zed, do I only get to share the editor?

Because (clunky as they are) video call apps let me share everything and this is table-stakes for collaboration.