skysight-inc/HackerNews huggingface dataset:
Does this mean that multi-threaded Chromebook applications go away? Android doesn't really do threads in the usual sense. It mostly uses a hack involving multiple processes. And the "main thread" is very special.
Because volume expansion from a reaction wouldn't be that large. Things aren't burning/etc.

Direct injection of large volumes of water (with those things in it) is more than enough to explain it. No need for reactions of any sort.

The issue is that the injection should be into far deeper sections. Something in the active injectors is leaking and therefore the injected liquids aren't making it to the bottom of the well and are flowing out the sides and into shallower permeable sections. The simplest explanation would be a bad casing (i.e. the steel sides of the well) in a major disposal well, but it's likely more convoluted than that. Either way, it's a significant problem for a lot of reasons.
"First hand knowledge" is worthless. 350 people saw https://en.wikipedia.org/wiki/American_Airlines_Flight_587#N... fall out of the sky. 50% of those people "saw an explosion" despite that plane falling out of the sky because the vertical stabilizer sheared off. At no point was there even a fire or hell, even a part of the plane being hotter than it should be.

The same thing happened when a 747 blew up after leaving JFK, with many witnesses saying "it was hit by a missile" despite radar evidence proving otherwise.

Anything you "know to be true" is simply whatever your brain cooked up to retroactively explain whatever sensory input it gets. People joke about "Will you believe me or your lying eyes" but YOUR EYES ARE LYING TO YOU 24/7! Pretty much nothing you perceive in your vision accurately represents reality. It is trivial to demonstrate optical illusions, which are merely simple examples of your brain lying to you about reality because it is lazy and incredibly stupid, and doesn't really care about consistency.

Our brains lie to us constantly, and paper over those lies with more lies, and lots of people seem to be utterly unwilling to examine that fact in earnest, and would rather reality fit some obscene TV plot than think that they might not know something that they "know"
Time travel is found in several mythologies. Some examples include the Hindu Mahabharata, the Greek tales around Chronos and Kairos, and the Irish tale of Naimh.

I know there are more, those are just the ones I thought of immediately.
> Does the call to DEPTH still work in that case?

Code using the braces can use those definitions when you want to remove the overhead, and it disables the feature. This lets you use it as a programming aid, and then remove the overhead completely when it's not necessary or for a 'release build'.

> It's simultaneously more readable and more terse than the Forth code.

Does it still look neater when you use the syntax you've defined?

> And this example doesn't stop working after a certain number of open braces.

If you really want to remove the limit you can, Forth is just explicit about memory management. This is like C vs JavaScript. I'm quite happy playing with memory management myself, but if you don't like that or think declaring a fixed size stack is hacky then I can see why Forth wouldn't be appealing.

Here is one way to remove the limit, it has drawbacks (but so do all dynamic memory approaches, they're just hidden by managed languages).

: POP HERE -1 CELLS + @ -1 CELLS ALLOT ;
: { DEPTH , ;
: } DEPTH POP 1+ <> ABORT" Unbalanced" ;

> Saying that Forth is powerful just because you can use it to write a compiler for a more powerful language is silly.

Yes but in a few lines of simple code, and the result is actually a syntax that looks nice to use.
I think these are quite interesting questions. Chromium just spent a lot of effort to get stock Chromium working as a ChromeOS client, rather than it purely being available as part of ChromeOS itself. Is that ... pointless now in the face of a rebase on Android? Seems like it will end up being a win for a narrow window of devices?
So they didn't focus actively on good error messages and fast compile times when designing a new language?
This is interesting news, of course, but I find it hard to get excited about nuclear power from fission these days. Ten or twenty years ago, sure, but not today.

As with all things, it comes down to the unstoppable power of change over time; the situation today is almost irrelevant. The unfortunate reality is that barring a breakthrough, the passage of time will not be kind to nuclear power.

Technologists forget that the main input of nuclear power is not fissile material but rather men and women. This small plant will require 1,600 skilled laborers to build; before them came a small army of designers and regulators; after will come yet more skilled employees for its operation. A comparable solar plant more than double its size, on-line today, employed seven hundred in its construction. What will happen in ten years' time? The cost of solar power and batteries will continue to fall off a cliff - and the cost of labor will rise. The far more labor-intensive nuclear sadly cannot win.
exact same moral panic as the one that happened during the advent of the internet

exams with no electronic devices allowed are not 15th-century pedagogy - it's been the norm for over a decade now, and it's the ultimate solution to virtually all cheating
Being fluid device with zero (non-Apple) spyware and sane default with UI/UX that don’t change every major release while providing ecosystem that has literally no competitors in sight, but yeah, it’s definitely walled garden that is a main differentiator. Facepalm
> Quite unusual to see Elixir among languages supported via bindings

Not due to difficulty, usually. Bindings to non-mainstream languages are unusual to see.

I never heard of a language that couldn't interface to C in one way or another; it's one of the advantages of using C over (say) C++.
A hot war between two large nuclear weapons powers?

Nukes are intended to keep peace, as in "mutual assured destruction". And they still work in this capacity :-/
Update on Sourcehut's Infrastructure Plans
If you can get that 400k FAANG job, take it, for ducks sake. Not everyone can, and for some of them the startup deal can be quite OK.

People who can get 400k job at FAANG should be smart enough to avoid shitty startups. Looks like they aren't, based on these comments.
Correct.

I'm a little surprised people don't know the ownership story on HN. Didn't it raise questions when they realized they can't delete their posts without mother-may-I'ing the mods?

HN is pretty up-front that when you post here you are providing them content for free to more-or-less consume as they please.
This makes sense if you're coming in as employee #50, but what's the difference between a founder and the first engineer?
Is Alexa really that primed to be useful? For home devices, maybe. For mobile? The Goog's seems like it would be better primed with its Android devices.

What I saw from Apple this week shows me that they've been much more focused on making the assistant useful for anything/everything someone could do on their devices. I have not see that kind of focus from anyone else.
Comment is pretty generic, I am not claiming it to be unique but I'd say there's precedent of such product retirements and lots of it and that is why it gets repeated a lot. :)
Is that expected to be superior / on par with SDXL that is much larger?
Apple laptops do not natively support UEFI either; the virtualization sw does.

Booting via UEFI on arm is also supported by alma, fedora and ubuntu server.
More a side effect from teaching materials than anything else, though.

Java still has the issue of the time Valhala is taking.
Thanks for letting me know, stable diffusion in general has difficulties with text. I am going to make few changes to improve the text accuracy.
I strongly disagree, I don't think the "soft-science fiction" and "hard-science fiction" meanings are widely used; if you use these meanings often then you'll probaby very frequently cause confusion and prompt discussions like this one. Almost everybody is using the other meanings, at least in recent years.
Why did the other submission, with good conversation, just disappear into oblivion with this one in its place? :/
I ain't talking about rote memorization, but just having knowledge in general without total reliance on machines.
Yes, for movies and TV, and as a virtual monitor occasionally. I've travelled with it quite a bit as well, and it's great on long international flights.
New bill could bail out US farmers ruined by 'forever chemical' pollution
I'm sure enforcement around it would be difficult but I'd imagine most major apps would fall in line if only because the risk of losing their notification entitlement would be too great.
> Am I way out of line to assume TSMC will be well past the capability of this fab when in finally comes on line?

Maybe, but Apple will own all of that advanced capacity. Those of us who have not bought into the Apple ecosystem will have to slum it with lesser chip processes, which this fab will help with the demand for.
> The primary goal of early education was to enable sound thinking

This would be an incredible improvement to educational systems around the world. I think back to that time there was a big scandal in Asia where kids were taking an exam and parents were like climbing up the walls to give them the answers. That's an education system way too focused on fact memorization over practical life skills.

It also reminds me of Stephen Johnson's book `Wonderland: how play made the modern world` and the importance of a little bit of fun in the learning process.
It was a downgrade from the cottage industry we had before big factories became the norm.
I strongly recommend Wages Of Destruction if you want a really deep dive into this topic. I find this period in time fascinating, and this book changed my entire perception of it.
Cliff notes existed before the internet, as did note sharing (a feature of sororities and fraternities, demonstrating by example the power of the network effect).

It is difficult to believe that they got 500 years ago right when they didn't get 50 years ago right.
HM works great for me. Let's try it elsewhere instead of blaming the algorithm!

{-# LANGUAGE OverloadedStrings #-} -- Let strings turn into any type defining IsString
{-# LANGUAGE GeneralizedNewtypeDeriving #-} -- simplify/automate defining IsString

import Data.String (IsString)

main = do

-- Each of these expressions might be a String or one of the 30 Foo types below
let address = "127.0.0.1"
let username = "steve"
let password = "1234"
let channel = "11"

let url = "http://" <> username
<> ":" <> password
<> "@" <> address
<> "/api/" <> channel
<> "/picture"

print url

newtype Foo01 = Foo01 String deriving (IsString, Show, Semigroup)
newtype Foo02 = Foo02 String deriving (IsString, Show, Semigroup)
-- ... eliding 27 other type definitions for the comment
newtype Foo30 = Foo30 String deriving (IsString, Show, Semigroup)

Do we think I've captured the combinatorics well enough?

The url expression is 9 adjoining expressions, where each expression (and pair of expressions, and triplet of expressions ...) could be 1 of at least 31 types.

$ ghc --version

The Glorious Glasgow Haskell Compilation System, version 9.0.2

$ time ghc -fforce-recomp foo.hs

[1 of 1] Compiling Main ( foo.hs, foo.o )
Linking foo ...

real 0m0.544s
user 0m0.418s
sys 0m0.118s

Feels more sluggish than usual, but bad combinatorics shouldn't just make it slightly slower.

I tried compiling the simplest possible program and that took `real 0m0.332s` so who knows what's going on with my setup...
Well yeah the thing is extremely likely a scam.
Mostly spot on, nice summary. Spouse works in a public elementary school library, and they are considering eliminating librarians altogether and reducing library time as a special activity, so maybe once every 2 weeks. It's ridiculous how we are sacrificing our children's futures to save money now.
>If you want wondering how to do it, add an elevated express roadway above Canal street. Because it has no connection to city roads in Manhattan - it would go directly in the air to the Manhattan bridge, it would not be unfeasibly complex to build.

That was actually a plan back in the late 1950s/early 1960s, along with similar elevated roads above 42nd and 125th streets.

Thankfully, NYers stopped that insanity, as it would have destroyed many vibrant neighborhoods in NYC, as it did[0] in the Bronx.

We will not destroy our city at the altar of making things more convenient for cars. Insist on driving your car everywhere? Do it somewhere else -- we don't want you here.

[0] https://pages.vassar.edu/realarchaeology/2019/11/10/the-cros...
Late at night, I work in a corner of the bedroom because my wife likes me nearby. This helps not disturb her and my toddler while they sleep.
Notability is very nice, at least before the subscription pricing. They even put iCloud sync behind the subscription, that's not using their servers or datacenters. Freeform covers a lot of my use-cases for Notability, but last I tried it wasn't as good for some things.

A specific use I had was with importing PDFs (like, say, a textbook chapter) and marking up the chapter, tossing blank pages after exercise sections and writing out my solutions/answers or directly marking the pages. IIRC, Freeform would let you import a document like a PDF but not display it (or specific pages from it) within the Freeform document itself, instead it was a linked file. I'll have to try again but haven't had much need for this recently.

EDIT: At least on iPhone, it's the same behavior. It's attached so I can open the PDF but not embedded in a way where I can directly mark it up within the larger Freeform document. I have to open the attached file to mark it up and can't just display (and then markup) selected pages.
Show HN: Jobs Scraper for Workatastartup.com
This command-line job searching tool scrapes online listings, and compares it with your resume+preferences to find matches using AI (custom prompts + OpenAI LLM)

A few months I posted it here (https://news.ycombinator.com/item?id=39621373). There have been quite a few improvements since then

And now I'm very happy and thankful to tell you, that some contributors have added workatastartup.com as a listings source for CommandJobs

So now you can also find matches among the public workatastartup.com/jobs listings

Here's the direct link to the repo: https://github.com/nicobrenner/commandjobs

PS: Job listing sources contributions are open and welcome, checkout issue #23
Back in the day, we called that "indexing" and it was fundamental to making the web in any way usable; without search engines, the whole thing was data with no ability to locate it.

I don't know precisely what changed that people decided that analysis is a bridge too far.
Because there's a good chance down the line you will need to do some sort of range query. Let's say you want to add and backill a column. Not too bad, you create a partial index where the column is null and use that for backfilling data.

But at a certain scale that starts taking too long and a bigint column would be quicker. Or you decide you need to periodically scan the table in batches for some reason. Perhaps to export the contents to a data warehouse as part of an initial snapshot.

You can skip enumerating these possibilities by having a bigint surrogate key from the get go. There's other advantages as well like better joins and temporal locality when the bigint index can be used rather than the uuid.
Their forced insertion of ads into their streaming content was it for me. There are so many shows that do not say ad supported and available with Prime, yet as soon as I'm watching something that shows me an unexpected ad break, I stop it right there. I doubt there's anyone looking that the specific metric of how many shows stopped being viewed at the ad break, but I can't imagine I'm the only one.
This would sell well just outside of the Matrix
Just another reason to abandon ARM for RISC-V...

Of course, it's also another reason to abandon windoze...
More competition is always good in a free economy, but what is causing a "Desperate" situation? Is the trajectory of SpaceX on a course where they will certainly become a monopoly, with all other space providers being locked out due to economies of scale?
It probably triggered the flamewar detector (a lot of comments, not a lot of upvotes). Not surprising given what a horrible title the other post has.
Explicit modules make build times worse, not better. Yes, this is the exact opposite of what Apple claims they do, and I am genuinely baffled by the disconnect. Usually Apple's marketing is at least directionally true even if they overstate things, but in this case the project appears to have entirely failed to deliver on what it was supposed to do but it's still being sold as if it succeeded.

On top of that, the big thing we didn't see announced this year was anything at all related to addressing the massive hit to compile times that using macros causes.
These days, most top journals require you to provide code in order to publish.

But there are zero checks made, code is very often incomplete, full of local paths specific to the HPC where things were run in, etc.
If we have to flatten it to "they chose and knew exactly what choice they were making", then there's no light to be shed. Sure. That's stupid.

Its just as stupid to insist on that being the case.

If that's not convincing to you on its merits, consider another aspect, you expressly were inviting conversation on why that wasn't the case
Android exposes very little Linux to userspace, as per official APIs.
I mean, FAANG pissing people off at scale for clicks must be like the tutorial level in the telepathy game.

Even minor telepathy plot points seem miles ahead of that: didn't Spock's half-brother take over the entire spaceship by healing everyone's trauma[1]?

1: except for Kirk (of course :)
YC / HN are in the US, not the EU.

Yes, I know, Europeans think their laws automatically apply globally, but laws are meaningless without enforcement. Hence why 99% of US companies can safely ignore GDPR unless they're operating in the EU (which HN is not).
IIRC HN has some sort of flame war heuristic and when comments outrank votes on a submission it gets deranked. Which is kin of unfortunate if it's just ordinary discussion.
> If it was so easy why aren't there more of them and more companies?

Wait, is this a serious question? The limiting factor is VC money, of course.
After some more playing around I think I’m going to use Muse for the time being. Out of everything I’ve tried it has the slickest UX. It’s missing a lot that I’d like but at least it is pleasant to use for what it is good at.
"15th centurary professors"
Not if the price is confining yourself to only loading web pages with the odd api extension.

Android does a huge amount more, especially around media and general hardware support (such as nn accelerators) which make security much harder but are also necessary for deploying modern applications.
Ah yes, critical thinking. Like your appeal to authority (conveniently a neighbor, not you, so we can't go into depth challenging) and your reference to vague 'good hard scientific reasons' without any depth.

But even is we give you a good faith benefit of the doubt, do you really need to ask why every person in the entire general public wasn't provided a personal medical scientist and an educator to break down what the medical scientist was saying? And do you really think that everyone having personal scientists and educators is being denied to individuals in order to get people to 'consoom'? Is big auto preventing everyone from having a free personal mechanic to explain all of their cars issues too? Big snack running a conspiracy to prevent everyone from having a free personal chef?
I tend to not believe that it's just that, because even Google's own phones have never run mainline kernels outside of experiments that never actually shipped to end users.
With a diffraction grating, all colors travel at the same speed, but some light waves reflected off/transmitted through the grating end up taking a longer path to reach the same point in your eye, and depending on the wavelength, that length difference causes constructive or destructive interference, amplifying some colors and suppressing others.

Colors traveling at different speeds through a medium is the usual explanation for color separation through refraction, but it doesn't really help for understanding diffraction.
> Yup anyone who reads a pre-written bedtime story to their kids is a bad parent /s

Not a bad parent, but definitely something off about it.

Or rather, my personal experience: reading bedtime stories to my daughter is a moment of connection. She loves this. I'm sometimes tired, and could use some prompts -- which I already have, the vast mental collection of books I've read and movies I've seen.

I don't want to automate this. Suppose I could have ChatGPT improvise a story within some parameters and read it out loud with my synthetized voice -- seems dystopian to me. I want to be the one reading the stories to my daughter, and making them up.

It's about bonding and connection, not about efficient storytelling!

> Even before ChatGPT, I was using davinci in the OpenAI playground to have a lot of silly fun with my daughter. Totally dumb stuff like asking it to create a menu for an alien restaurant with farts as an ingredient, but it had us rolling.

This to me sounds like a good use of software tools. Some computer time with your daughter, making the computer do fun things. Why not? It's not a replacement for bedtime stories, it's something new. I don't think this is what the article is criticizing.
Blue Origin was founded before SpaceX by a rich guy that had far more money than Elon Musk did. To cringe at SpaceX leadership is idiotic; the leadership is what made the difference between a company that has dominated the space industry (putting even every single national program around the world combined to shame) and one that has never put a single object into orbit.

Not money. Not timing. Not even the engineers, because Blue Origin had every opportunity to hire the best. It was the leadership.
Yes.

(HN comments aren't the best medium for writing mathematics. I hope this ends up reasonably readable.)

(d choose k) is the number of ways to pick k things from d.

(d choose k) k^2 is the number of ways to pick k things from d, and then colour one of them red and one of them (possibly the same one) blue.

(-1)^k (d choose k) k^2 is that (when k is even), or minus that (when k is odd).

So the identity says: Suppose we consider a set of d things, and we consider picking some of them (meaning 0 or more, though actually 0 is impossible; k is the number we pick) and colouring one of those red and one blue; then there are the same number of ways to do this picking an odd number of things as picking an even number.

Well, let's describe the process a bit differently. We take our set of d things. We colour one of them red. We colour one of them blue. Then we pick some set of the things (k in number), including the red thing and the blue thing (which may or may not also be the red thing). And the claim is that there are the same number of ways to do this with an even value of k as with an odd number.

But now this is almost trivial!

Once we've picked our red and blue things, we just have to decide which of the other things to pick. And as long as there's at least one of those, there are as many ways to pick an odd number of things as to pick an even number. (Fix one of them; we can either include it or not, and switching that changes the parity.)

So if d>2 then we're done -- for each choice of red and blue, there are the same number of "odd" and "even" ways to finish the job.

What if d<=2? Well, then the "theorem" isn't actually true.

d=1: (1 choose 0) 0^2 - (1 choose 1) 1^2 = -1.

d=2: (2 choose 0) 0^2 - (2 choose 1) 1^2 + (2 choose 2) 2^2 = 2.