skysight-inc/HackerNews huggingface dataset:
I'm not sure why you're focusing on that which was a minor aside amidst a bunch of more substantial things that you've ignored. OK, I guess I know why you're focusing on it. Anyway:

Your account of things has "evolutionism" meaning (axiomatic) disbelief in (1) time-varying physical laws and (2) nondifferentiable natural phenomena. (I'll repeat that this is not in fact what "evolutionism" means, but we'll bracket that for now.)

You have, of course, not been precise about what you mean by those terms; if it turns out that what follows makes some wrong guess then I invite you to be more precise about your meaning rather than merely complaining that I guessed wrong about things you didn't deign to make explicit. But:

Consider the notion of "wavefunction collapse" in quantum physics. This may or may not be a real thing that happens (e.g., in the Everett "many worlds" interpretation it isn't), but many physicists have treated it as a real thing and there's no particular inconsistency in doing so. This is a nondifferentiable phenomenon. Discontinuous, even. The state of the world changes abruptly from one thing to another substantially different thing.

Do you need to believe in time-varying laws, in your sense (according to which such belief can rightly be termed "creationism"), in order to accept a version of quantum physics with instantaneous wavefunction collapse? It sure doesn't look like it to me.

More broadly: "nondifferentiable" and "time-varying" are just completely separate things; so far as I can tell, there is nothing that would make one of them enforce or prevent the other. Again, maybe you're using those terms in idiosyncratic senses that have little to do with what I think they mean; in that case, maybe it turns out that there is no "nondifferentiable constant case"; but in that case, you owe us an explanation of the meanings you're giving those terms.

I guess I need to address one specific thing you might be trying to do. (I hope you aren't, because it would be nonsense.) It is, of course, true that no mathematical function can be both (1) constant and (2) nondifferentiable. But that has nothing to do with the question here, despite your use of the phrase "nondifferentiable constant case"; you have made it clear elsewhere in the discussion that when you say things like "time-varying" or "constant" you are talking about the laws, not the specific functions they describe. (And of course literally no one believes that the functions by which we describe the physical world are all constant functions.)
That’s right, answer a bullshit question with a bullshit answer. Because this is merely an exchange in a larger game.

All these people complaining that they got turned down for being “transparent” actually failed a real test: given a toy situation between people that doesn’t involve code, can you figure out what to do to accomplish your goal?

And if someone starts listing their top defects, the answer is “no.” Could be due to nerves, sure. But for a mid-career professional to not have known what to do to get past HR is a failure in problem-solving. Luckily it is solvable with the right mindset.
The problem w/ OWL is that everybody wants to work with first-order logic + math, but Gödel proved it isn't decidable.

For instance if I wanted to express financial regulations or business rules inside a bank or other business I'd need to use math: for instance to express the conditions for reserve requirements or approving a loan.

OWL is best thought of as a set of templates for generating first-order logic rules that are decidable and also (in theory) quick to evaluate with the Tableau algorithm.

In certain domains you might tolerate tools that are imperfect, like it isn't fair to expect a SMT solver to figure out this one

x^N + y^N = z^N

where x,y,z and N are all positive integers with N>2. For that one it would try to find solutions and probably time out. For some similar problems (a different polynomial) it might give you an answer.

OWL doesn't want to go there which is a big reason people say "Nein Danke!"
The Aberration of Netbooks
How photographers view the photos of Trump's assassination attempt
Really interested in this, but it needs additional login options. Not a Google user myself but would like to check this out.
Show HN: I made a demo to demonstrate Graceful Shutdowns in Go and Kubernetes
Speaking of CSS, :has() [https://developer.mozilla.org/en-US/docs/Web/CSS/:has] brings it closer to the glory of Prolog. I cannot wait to abuse it in avant-garde Logic-Driven-Development.
I suppose offline gDocs might qualify. I can't think of too many others that I have encountered.
I wish we had better agreement on a society on the terminology we use to describe types of technology.

Even among HN readers on this thread, there seems to be a lot of conflating "technology" with the spyware and attention kidnapping products of surveillance capitalism.

I grew up in the 80s and 90s with plenty of technology for the era; sure, we had a lot less of it than the rich kids did, but that was mostly just jealousy that my friends could play "better" games than I could. Technology was a thing you used when you sat down and intended to use it. It wasn't a thing that told you that you were missing out every second you weren't using it, and it wasn't a thing that gatekept access to conversations with people you knew or even basic commercial needs like transportation or food delivery.

The problem isn't tech, it's carrying around dozens of corporations in your pocket.
Looks like ffmpeg WASM, so runs in your browser
Typescript's refusal to participate in codegen is one of the things I don't like about it.

It makes Typescript a descriptive, rather than expressive, language with weak semantics.
Its in zig 0.12
Marsaglia Random Numbers
Its the worst job market for software engineers I remember in 20 years. And yet I'm now at the peak of my skills, knowledge, accomplishments and public artifacts offering evidence thereof.
Congrats! Little suggestion if I may, don't use the location of the user to set the default language of the website. Everything on my computer is in English, but your website defaulted to Spanish, as I'm currently in Spain.

Am no expert, but a short article I just found on the topic: https://dev.to/bitdweller/stop-setting-the-language-of-your-...
The Atlas railcar can carry more than 200 tonnes of Nuclear Waste safely
Hype machine is great, still an active user and supporter!
I have two short examples in one of my books that I am currently re-writing. Here is a link directly to the Python+ Prolog interop examples https://leanpub.com/pythonai/read#use-predicate-logic-by-cal...
Astronomers want to change how we define a planet – again
Honest question: how often do you do Tornado drills in Japan? A quick look look at the wiki[1] indicates that you do get them, but fairly rarely. I honestly don't know your cultural perspective on them.

[1] https://en.wikipedia.org/wiki/List_of_tornadoes_and_tornado_...

I grew up on the edges of the New Madrid fault area and, while earthquakes were never discussed, we did tornado drills about every two months while in school. After I entered the workforce, that got closer to once a year, but you were still expected to have a plan and supplies. It was basic emergency preparedness, like any sensible person. Granted, big F5 tornados are rare, but small ones were common enough to not even be noteworthy.

Having left that region as an adult, it was a small culture shock meeting people who never had this kind of training. After all, the places I've visited all experience tornados, though not as often as my old home town. Still, the usual attitude I encounter is "I've never seen a tornado - they don't happen here". It's true that tornados don't happen often, just like my birthplace hasn't seen a serious earthquake in my lifetime, but they do happen.

I guess that's why I'm curious about your experiences. I've never been to Japan and I've read enviable reports of your disaster preparedness, but I honestly have no idea how your schools and culture handle tornados.
People still live there and the lack of a public school still affects them. Now I’m kinda curious if DC residents get in-state tuition in Virginia or Maryland or Delaware?
cmd + option + U

...

satisfied smile
That's... totally normal calculus curriculum, and is pretty elementary, not advanced.

It's true you won't do a symbolic integration ever again, but practice learning stuff like that will serve them well when they're learning intricate tax code rules and principles of managerial finance, cash flow, rates of return etc.

I mean, now that I say all that, they'd probably be best served by just jumping into the complex business and finance math and skipping symbolic integration, once they totally understand integration conceptually. But if they don't, they're still getting good practice out of it, especially if they find it challenging. That means they are learning problem solving techniques they didn't know, and need to know.

The only way you're right and it's a waste of time is if they find it easy.
Mistral NeMo
These enhance effects typically use guesswork. That would be useful to gain hints, but not to know for sure what the original looked like.
Hey, thanks! That looks cool.
I'm not sure where you're seeing that in his resume: https://matt.sh/files/a-resume/resume.html
Yea, it is using https://ffmpegwasm.netlify.app/ :)
Yeah, there's plenty of under educated folks on either coast too.
The news industry is under heavy monetary scrutiny. Expect the same title to be "Trump blocks/stops/restarts " in about a year on nearly every news article to pick up revenue.
Espresso Machine Is One You Hack Yourself
Thanks for the pointer, I hadn't run across ts-runtime-checks before. It does do something similar to what I propose in the post. The difference is that ts-runtime-checks is opt-in. If you want a type validated at runtime, you have to write `Assert<T>`. What I'm proposing is that _all_ types be validated at runtime.

opt-in makes sense if you want these checks in production. The appeal of a "check everything" debug mode is that you wouldn't have to modify your TS at all to use it.
> We’re all a part of this brave new world.

And instead of teaching your kids to live in this world you're trying to create a world for them which does not exist anymore.

> distinction between consumption and creation

You can not become a creator if you are not a consumer first.

> Kids are not responsible enough to care about the difference or think about the long term impacts.

That's where your role as a parent comes in handy - teach them with the best of your abilities, don't give up on them.
I bought an eeeeeepc a little while back and put a headless linux on it. I mostly use it to write small programs when I'm not at home, like if I'm at my local hackspace, or to connect to my home machines to do some stuff remotely. The battery is a little bit borked, but it works well enough for what I need it for =)
Says he should have questioned Post Office defence of Horizon
It's hard to consider Jobs as sociopathic in the large when he created so much social value. And it's hard to imagine that he would have been quite so effective if he were more agreeable. So I think it's reasonable to consider the kind of rudeness that gets big things done at the cost of hurt feelings as something other than pathological.
From the video title -- it seems it's a wordplay on "flock"/FLoC? Quite cool
"every elliptic integral can be brought into a form that [...]"

Yes? That is a reduction in the other direction. It starts off with an elliptical integral, then reduces it to something else. Not the other way around.
Related: https://news.ycombinator.com/item?id=40994602
Wow, that computer page comes with a serious color shock, but I guess kids like squeaky saturated colors :D

Having fun is the most important thing, everything else follows that.
HN corrupted the title.

True title: [MP] says he should have questioned Post Office defence of Horizon
absolutely - binning and cohort analysis is critical here. There's also (at least in my mind) a very reasonable question about what "higher education" means. I think it would be extremely valuable to understand expectations for BA / BS undergrads, Technical colleges / associates degrees, Masters degrees in liberal arts vs social sciences vs STEM, and then Doctorates. I imagine people have not lost confidence in much of the apparatus of professions - e.g. engineering schools and law schools.

It would also be very interesting to me to map this against what people's perceptions were for graduation rates, scholarship availability, average student debt, and even the perceived impact that a school's endowment had on education quality.

There's a lot to know, but seeing the very basic trend exists means that there is something to look at.
Psst... it's the government
Just a word of caution: all these enhancement tools are making an informed guess to create each new pixel. The original information was lost and no one can't retrieve it, whether it's shape or color. (I've heard technical people claim otherwise.)
Most cloud instances come with Linux out of the box.
Not as good yet (at least in this case):

* original: https://upcdn.io/12a1z2u/image/uploads/2024/07/18/4kU68cBDKF...

* "10K" enhanced: https://replicate.delivery/czjl/gFpKKIlEKKZrL1lfqxXlpQrOBbe9...
The website is trade dress to the max. The average user would probably scroll through the page and assume this is an official product from Apple. Their logo is deceptively similar to Apple's, the name of the product is similar, the click wheel design is possibly infringing on some patent Apple owns.
I found the article pretty entertaining I have to say. Seems like someone with strong opinions but hey, so what.
Websites hosted on Cloudflare Pages include Cloudflare's own analytics iirc.
I've been using Prolog daily for the past 1.5 years. I've also implemented and used a Kanren in Elm, and there is simply a world of practical difference.
Awk Creator: funny!
Ex-Post Office chair denies hiding key Horizon report
I'm not "assigning malice". I'm just observing that the hypothesis you're pushing here is of an omnipotent being going out of its way to make us draw wrong conclusions. You can call that malice or benevolence or caprice or anything you like; I'm not particularly concerned with the motives of this hypothetical deceptive superbeing. But the hypothesis is of a deceptive superbeing, one that goes out of its way to have the universe not look as if there's a superbeing in charge of it.

(At least to whatever extent your statue example is meant to reflect the actual world. As I said: if in that example you want me not to conclude that the statue was likely made by an intelligent being even though in fact it was, you will need to go out of your way to hide from me all the evidence there would naturally be of intelligent potentially-statue-making beings like yourself.)

If you don't like the specific phrase "screwing with us" then by all means substitute something like "trying to make us draw wrong conclusions".

It seems to me that whether something is clear "to any onlooker" is a thing for the onlookers to decide.
This argument makes sense semantically, but not in practice. Consider these two people

"I should kill myself" grabs gun and fires

"I should kill myself. I'll go buy some poison pills tomorrow." feels better the next day and never actually does
A certain large and loud sector of American culture hates education. Another smaller sector likes it. You foreigners mostly interact with the smaller sector that likes it, which is no coincidence, because education pulls you up, so what you see is the top of society. In America, our best is superior to the best in other places, but our average is far below the world average.

If you are growing up as an average working class or lower middle class American, the education-hating culture is hard to escape except in a small number of places.

If you are growing up upper middle class, your family can just avoid those problems by living in a nice suburb where everyone values education.

Believe me, I'm knee deep in this dilemma right now. You can inculcate certain values as parents, but your kids WILL absorb the culture from the kids around them too to some degree.
It works! More than can be said for many things I have made. Congrats, Naya!
This is useful as long as the sampling strategy doesn't change over time. With omnibus questions it can be a bit variable if the studies have some other motivation and the demographics are not consistent over time.

edit to add: if you looked at 40 years of this question, you would definitely want to control for the higher number of people with direct exposure to the higher ed system, since that base rate has been on a positive trend for a long time.
I was talking to my parents the other day and surprised myself getting pretty chocked up remembering how my dad had shown me how to program an ascii animation on his 386, and how the wonder I felt at that in many ways led me to where I am today, so many years later. These things matter.
Then your trips did indeed have good set and setting.
Yeah those were times that probably compare the most to what we see today.

I agree with you it's definitely not the worse version of this (yet) but regardless, I don't think what GP said should be acceptable as reasonable.

Saying people should just accept that they have to humiliate themselves for hours on end, for free, to get the possibility of slaving away to earn a paycheck is disingenuous.

I say humiliating because even with 15 years of experience I still have to prove to a bunch of random people that I can code to move forward in these processes, many times to hear a no without any reasoning or get a ridiculously low offer.
What doesn't help is now so many people are even moreso on the stranger danger train than even a few years ago because of doomscrolling social media posts. Even if you aren't a helicopter parent, if you don't keep your kid attached to you, you risk a Karen calling CPS on you and getting a visit.
Ah, I wish this product could have panned out. I hope it doesn't become a bugbear for future experiments with hardware user interfaces + AI. I'm still of the Bret Victor school of thought that we can do better than just tapping and swiping at glass rectangles.
You can use virtual threads running on a single OS thread and that will work but then everything will be on that one thread. You'll have synchronization but you'll also always be blocking on that one thread as well.

Async/await is able to achieve good UX around explicitly defining what goes on your Main thread and what goes elsewhere. Its trivial to mix UI thread and background thread code by bouncing between synchronization contexts as needed.

When the threading model is implicit its impossible to have this control.
Do you see a good way to include backtracking in an imperative programming language?

I can imagine how unification would work, since the ubiquitous "pattern matching" is a special case of Prolog's unification. But I've never seen how backtracking could be useful...
I’m going to train an AI in Visual Basic, see if we can spot the killer
Anyone know more about Steve’s hifi setup in the famous “sitting on the floor with a lamp” photo?
SSH port forwarding is one amazing aspect of this software. For one example, you can develop on a remote system by forwarding your local port 3000 to the remote 3000, using something like `ssh -nFL 3000:localhost:3000 user@remote`, all while going through SSH! It's an indispensable tool for modern development.
Interesting topic!

However, I would like to point out that the dichotomy closed form <-> numerical methods is somewhat artificial. Even if one could express an arc length parametrization using exp and log, one would still need numerical methods to compute exp and log.

This somehow leads to the next question: What kind of functions are suitable to describe the arc length?
I love this. The website branding seems so close to Apple I think they will send a cease and desist.
Such aliens must be considerably smarter than we are. Our experience with creatures which are less intelligent than us is to:

Look at them without disturbing them

Capture them, breed the and eat them

Ignore them

None of those involves engaging with them.
Some have been Corporate Intranet things, which are also the most scary from IE hindsight because that's where IE6 infested the worst was Corporate Intranet things that became mission critical legacy code that stuck entire companies in IE6 for decades.

One of the big ones that is a huge company (that probably should know better, but here we are) is Salesforce and their Lightning Chrome Extension [1]. "Everyone" says that you should "always" have that extension when working with Salesforce, because Salesforce is horrible to work with if you don't. That's not even the only Salesforce Chrome Extension, if you are a developer or an admin there are two to three others to consider too. Instead of building a better web app, or a proper desktop app, Salesforce has become a "Chrome-only" worst of both worlds for a lot of its users.

[1] https://help.salesforce.com/s/articleView?id=sf.lex_lightnin...
I have a dedicated Windows 10 gaming PC hooked up to my TV which I either use directly or stream from using steam-link.
"Mr Parker said he had been acting on advice from Post Office lawyers not to share the document."

Does not sound like a denial to me!
It’s Arduino so it’s C++ through the looking glass. Some unusual choices about core classes and syntactic sugar via a bit of preprocessing, plus the opaque error messages and core dumps we all know and love, but on a tiny device with a serial connection.
interesting, but I don't agree that if we see the "token reasoning" chain it somehow explains how the model got the final answer. what if we trained deceiver models that would provide a sound chain of explanation but then perform some kind of deception and output an incorrect answer? for me personally, explainability has to show how the answer arose from the model mechanics, not sequential model outputs
Ask HN: Every day feels like prison
Hey!

Man here, mid thirties. "Stuck" in a boring, but comfortable, 9-5 in tech. Trying to build a business on the side.

Every day feels like prison. I don't care about tech anymore in the way I used to care. I don't like working with people anymore. I hate the mental constraints of 9-5, hence I'm trying to build a business.

But the business doesn't work either. Most days I struggle to find any force to drag myself out of bed and do bare minimum for yet another day. After my day job I feel so exhausted that I can barely find desire to work on the business.

Most days feel like groundhog day. I'm not depressed. I train regularly (4-5 times a week), I don't abuse alcohol and never touched drugs. I did big change in my life recently: quit my soul crashing job, went to travel for extended period, moved to a different country, found a different job. It was fun while it lasted, but now I'm back to the same place I tried to escape back then, albeit in a different physical location and work place.

I have a comfortable life, nor luxury, neither poverty. Other than sport and building my business, I don't have any other hobbies or goals I pursuit. I'm in a relationship. I feel like I tick all "middle class" boxes, and yet I'm unhappy. I get scared when I realize that this is my life for the next 30-40 years.

I want to change something but I don't know what. Anyone been in similar situation and was able to escape?
It’s true. Jefferson City’s favorite things are:

1) telling the two cities that are most of the state’s economy that they can’t have nice things, and

2) reversing successful ballot initiatives when the voters try to have nice things.
Has anyone used Wiz?

It's possibly the fastest rocket for an enterprise software company ever.

$100M in just 1.5 years time

$350M at end of 3-year

https://www.wiz.io/blog/100m-arr-in-18-months-wiz-becomes-th...