skysight-inc/HackerNews huggingface dataset:
> here is an example of a Guile Scheme based service file for GNU Shepherd.

Thank god it is not rust's Cargo.
Why do people like to make things overly complicated ? Courtship ?
I think the main problem people encounter understanding this thing is just parsing the expression tree for the rules.

It isn't stated but all trees in question are binary trees.

Even though the expression tree syntax is really easy E := t | E E

The mental gymnastic needed to visualize that the string

not = t ( t (t t) (t t t)) t correspond to the only tree drawn in https://treecalcul.us/specification/

is quite overwhelming.

The left-associative notation to remove unneeded parenthesis makes it even harder.

It could be explained so much better if the author made the 10 pictures corresponding to the transformation rules of the trees. Eventually highlighting the subtrees a, b, c, in the corresponding color before after.

Brains are used to pattern matching images but not abstractly defined syntax unless you have been trained in grammar theory.
His works read like a book-smart guy that thought his intelligence in X field translated into intelligence at large. It didn't, and frankly his actions were so illogical and nonsensical that it's a puzzle why people think he is some sort of misunderstood genius.

He's no different than the many, many cranks writing ill-informed manifestos online.
I understand why we ended up with touch screens but I do miss physical keyboards. Swipe typing is fast-ish - but only for dictionary words, not punctuation, etc.
This guy had bad back problems and got surgery but it was probably ongoing. He got kicked off his parents insurance at 26 and ran out of money.
If this GIF (https://airport.revolvertype.com/img/typewriter_airports.gif) is supposed to emulate the good old split-flap displays, then it kind of misses the point - on those displays, the letters changed individually, so the font would need to be fixed width (and uppercase).
To solve this issue, copyright needs to be permanently tied to the person who made the work, and can never be transferred. Not allowing copyrights to be transferable grants significant leverage to the artist, whilst also allowing works to enter the public domain via the author's eventual death (or earlier if copyright expires in 20 years as it originally should have).
Fascinating game concept! As a fellow game developer currently working on an emoji memory matching game, I'm particularly interested in innovative game designs like this.

Pros:
1. Novel game mechanics - great combination of word spelling and spatial layout
2. Clean and intuitive interface, easy to get started
3. Natural drag-and-drop interaction

Suggestions:
1. Consider adding a timer/scoring system to increase competitiveness. I've implemented similar systems in my game and it definitely improves player engagement
2. Consider adding difficulty levels:
- Limited space constraints
- Adjustable number of letters
- Word complexity tiers

If possible, I'd love to hear about your experiences in game development.
Is the Y combinator a hoax?

λf. (λx. f (x x))(λx. f (x x))
It's hard to find cars 20 ft from the shore and a huge number of missing persons disappear that way accidentally driving in.
Disposing of evidence can sometimes be more incriminating than not.

Let's say he shuts up and gets a lawyer. His lawyer can say that maybe the real gunman noticed he looked similar, then switched bags on a bus. It's weak, but it's something.

If he tossed it in NYC, he leaves possible DNA at the scene. If he tosses it at home, the cops will likely find it and take his disposal as an admission of guilt.

IANAL but while I guess it's not good to have your lawyer run the Shaggy defence ("it wasn't me!") if the police have made an effort in the investigation then there's a surprising chance they'll find the evidence anyway.

At the very least that could be his rationale.

He didn't know if they had a van watching his house, and if his bins were being collected by the police. He might have been too scared and paranoid to do anything.
Nobody cares about the categorical properties of the coproduct. But in any case, there's no theoretical issue here, since it would be just as if every enum had a 'Nil' variant implicitly defined.
You're free to privately judge anyone anyway you want.

As long as you don't impede their freedom to live their own life. We have laws that prevent you from harming other people. Not only you cannot murder them but there are also laws around stalking, defamation etc.

Nobody is forcing us to like the people who we think are terrible human beings.
Ok, I see a nice discussion going here. I may have disproved myself here and save ourselves some effort. First, just to be sure what we're talking about: If split the function in two and compile the two parts to minimum sizes, combining them gives you the global minimum. So, we're not starting from assembly programs.

Now, you can compile a loop to a single instruction: https://godbolt.org/z/6E38dx8jr

And, if you split the loop and compile parts of it, you will most certainly not get this single instruction. So, I'm sorry! It seems I have proved myself wrong. I'll try to find some time to revisit this. I hope this helps!
Very reputable and trustworthy historically. After the authoritarianization of Hong Kong in 2020 I trust it less specifically on topics the Beijing regime would have enough propaganda interest in to bother threatening the editorial staff over. The rest overall seems good still, and often with coverage with Asia-Oceania perspective which is not typically found in big North American or European news outlets.

In this instance, as they credit, they're just acting as a repeater for Bloomberg though.
I would actually expect RSA to see a resurgence due to this. Especially because you can technically scale RSA to very high levels potentially pushing the crack date to decades later than any ECC construction. With the potential that such a large quantum computer may never even arrive.

There are several choices with scaling RSA too, you can push the primes which slows generation time considerably. Or the more reasonable approach is to settle on a prime size but use multiple of them (MP-RSA). The second approach scales indefinitely. Though it would only serve a purpose if you are determined to hedge against the accepted PQC algorithms (Kyber/MLKEM, McEliece) being broken at some point.
Taylor Swift did exactly this, though for different reasons.
Thanks, I wasn't getting it and it's a bit clearer.
This sounds like actual torture, and the madman inflicted it on himself. Kudos, I guess?
Put simply, all archive copies of any form of music would have to be deleted. Old works archived on IA would consequently be permanently inaccessible.
That's going to sound luddite and backwards, but to be completely honest, I'm not 100% "frustrated" about being "left out" from "far west"-style AI image generation.

At this point, really, I can think of exactly two use cases:

* cheaply producing ads

* cheaply producing fake news

And it's terrifying, and the people jumping in the bandwagon are scaring me.

There is this quote in "13 days" [1] where people are discussing the Cuban missile crises, and, while everyone is gladly / obliviously preparing for the upcoming nuclear holocaust, one gray-haired diplomat raises his hand and says "One of us in the room should be a coward" before asking for a more prudent option.

Maybe it's the age old tension between the "new world" racing forward and the "old world" hitting the brakes. Not necessarily a bad dynamic in the long run. [2]

Feel free to call me, and the whole block I live in, "coward" on this front.

[1] https://en.wikipedia.org/wiki/Thirteen_Days_(film)

[2] https://en.wikisource.org/wiki/French_address_on_Iraq_at_the...
I never suggested "really understand", I talked about democratization which is used here to mean "to make available to all people". To remind, I'm solely writing all this in support of the comment that "democratizing" is the wrong choice of word here.

Sidenote, you can't possibly claim that this site helps anyone understand anything about functions they didn't yet, right? I mean, it's cool, but it's not really easy to understand or anything.
of course the case would be retried, but if after the first mistrial there is a widespread partying in the streets, and then the second mistrial the same, and then the third trial starts there is rioting, the way the system currently works they might decide not to try a fourth trial. Of course I don't know if the U.S is there yet.
This is exactly it, love that book.
I guess it is surprising that crypto service providers cannot come to an agreement with banks by just paying more money for the service or by implementing some rules for their users which would allow some portion of their bank deposits to be held in slightly less cash-like assets.
I had a Nokia qwerty phone, and, man, it was such a superior way to type portably. I wish they still sell those kinds of phone...

Like computer keyboards, it also had a ctrl key. That means that I can ctrl+c and ctrl+v to copy paste.
Video games and movies have existed for a long time. I think children today will end up being more discerning than us because they will grow up sifting through AI generated content.
Banks need to be secure and be able to uphold regulatory standards.
I remember a security presentation on USB saying the same thing. It's a network, not a bus, and anything on a network can be malicious
>They aren't talking about polyculture as proximity to other types of crops. They are talking about the limited genetic diversity in within a specific type of crop.

I know that not everyone is a horticulturalist. Allow me to explain why this is dumb. It is true that for a crop like tomatoes, you might just grow any old mongrel seed, and that the tomatoes will still produce... even if yields are off 30% or 40%. Monocropping in that case is about increasing yields, not making the impossible possible.

This is simply not true with most orchard tree crops (or grapes, or about half the sorts of food crops you've enjoyed all your life). An apple, for instance isn't just a monocrop of closely related sibling plants... each Fuji or Pink Lady apple you've eaten is a genetic clone of any other of that type. They are literally cloned through grafting (and sometimes rooted cuttings). If we want to get really technical, each tree is technically a chimera, with only the crown being Pink Lady, the low trunk and roots will be something like M.111 (another variety that you don't eat it's fruit). Hell, sometimes there's even a third type in the middle of the two called an "interstock". What would happen if you didn't clone apple varieties? You wouldn't eat apples anymore. Every apple tree would produce its own kind of fruit, some might be just as good as Fuji or Yellow Delicious or any of the others you're familiar with. But there'd only ever be one tree of that. Apples do not grow true to seed. Some would be little golf-ball-sized crab apples. Others would be completely tasteless. Or dry and pithy. Or nasty-looking things that always split while growing. Maybe farmers would still grow them as feed for hogs (but productivity is also a genetic trait, and you've just struck a death-blow against having a large number of highly productive trees). Maybe they'd be grown to make alcohol (more applejack or cider than apfelwein I'd think).

But apples as a desert fruit would be gone.

And it's like this for many, many crops. Hell, even something like wheat... you can complain about monocropping, but these new varieties that they use actually resist diseases better (not to mention prevented who knows how many famines through increased yield). This is the argument of someone who whines about GMO crops and shops at Whole foods, a certain political type whose preferred policies seem designed to just make food more expensive and scarce.

>Another example is the Cavendish banana.

There are plenty of banana cultivars... few of them of the sort that people in the developed world enjoy. It's the same problem as all of the other. But for Cavendish (and a tiny handful of other varieties), you'd have no bananas at all.
The slow death of the hands-on engineering manager
Formalized knowledge representation, basically.
I made PortDroid, an Android Port Scanner and networking toolkit back in 2014 because I was learning programming and was curious to what was possible. I mainly wrote it for myself and I've done no marketing so have been quite surprised how popular it has become (~800k downloads).

It's been a consistent passion project for me now over the years and I love getting feedback and suggestions from people using it. It'll never have ads (I hate them) and only data collection is optional crash reports.

https://portdroid.net
from now on, no content is free from skepticism
That’s a great example of how a fresh take can sometimes resonate even more than the original
Experts vs. Prediction Markets on Assad's Fall in Syria
Being source compatible was quite clever, BTW.

Still, I wish the ia432 succeeded, or the TMS9900 was picked for the IBM PC. Would be a much nicer world.
Computer Shopper – By Paul Lefebvre
> The middle class and below live paycheck to paycheck so that's an issue they don't have.

You mean they answer surveys saying they do, according to surveys published in press releases from payday lenders.

They also answer surveys from the Fed saying they have median $8k in bank accounts and that they can pay 3 months of expenses in cash.

These two things are contradictory.
He doesn't even use a keyboard:
> Minus the keyboard, actually.
I don't know why i got downvoted. "It lends credence to the notion that quantum computation occurs in many parallel universes, in line with the idea that we live in a multiverse, a prediction first made by David Deutsch." -- this is from the article itself.
The first mention of this I saw was linked to the filling of the 3 gorges dam in china, and the sattelite used could also see the emptying of the great plains aquifier, But what occurs to me now, is that there is speculation about black holes that might be zipping around, in or through the earth, but those would show up on all of the new gravity detectors, raising alarms instantly
so, thats something else to put to bed
Yes, of course, of course. CEOs just follow the laws strictly. That's why Thompson is accused of insider trading, because of legislation.
As long as I can turn it off, I get distracted so easily. I can barely code full-screen with one function visible at a time.

That wikipedia view sounds terrifying.
If reading scripts was the secret sauce someone would've cracked it by now.

More likely there's a dynamic where one or two misguided people in positions of power at the studio really like the script, and no one else can tell them no. The obvious solution to that is some kind of script approval committee. The obvious downside to that solution is risk aversion and bland, samey output.
If this is a strongly typed “duck typed” language, presumably it will throw an error when you apply some mathematical operation to a non-number value.

If it is JavaScript you probably get NaN.

If you have code which pass a json objects to a sqrt function then the calling code is in error so presumably tests for that code would flag it.

Counter question: What happens in a statically typed language if you pass a negative number?

I just tried in C# and surprise: NaN
Hi there, as some untrue news is making its way about this case: There was a notice of termination via email with a deadline in accordance with our T&C, on 30 October 2024. Our team has already been in contact with this customer several times and we also have the transmission protocol of the communication. You can all rest assured that we do not close accounts randomly. There is always a specific and legitimate reason for doing so, such as abuse of our services, not following our terms and conditions, etc. So please make sure you comply with our T&C: https://www.hetzner.com/legal/terms-and-conditions/. --Katie, Hetzner Online
> Youtube can have a better system by having it be straight DMCA, such that claimants have to actually submit DMCA claims that can be counterclaimed.

[rant]

NO, IT CAN'T.

The next Viacom would then claim that YT was violating / not fulfilling their Safe Harbor duties, resulting in ANOTHER stupid lawsuit.

A failure to make Safe Harbor bulletproof WILL continue to allow these cancerous lawsuits to exist. The Funko DMCA dumpster fire that resulted in itch.io's website being taken down is the most recent example of this, as they went after the domain registrars for ALLEGEDLY not fulfilling their Safe Harbor duties.

[/rant]
OCaml and its undying fans [pdf]
I just read this great (short and sweet) paper by Yaron Minsky and Stephen Weeks on Ocaml, which describes their view on why Ocaml gives Jane Street a significant advantage over competitors.

However, the authors point out some key weaknesses of Ocaml: for example, it lacks a concurrent GC, its optimiser isn’t very good, etc.

This paper, though, was written in 2008. I wanted to ask Ocaml engineers here on HN for a 2024 update on the state of Ocaml. Do these negative aspects of the language still exist? And if so, how do you get around them?

I’ve noticed a lot of HFT funds, market makers, etc. all migrating to Rust.. which obviously doesn’t have the above issues (who needs a concurrent GC when you don’t even have a GC).. but Jane is sticking with Ocaml afaik. I wanted to learn more about that decision.

Thanks!
> This is a good counterexample to "syntax is not sufficient for semantics"

Perhaps I'm misunderstanding. At the top of https://treecalcul.us/specification/ it shows 5 lines of small-step semantics. If you threw these away, could you recover them from the syntax?
Institutionalization of engineers and physicists thinking they are smarter than others.
This has worked for me for sentiment classification, i had a score and a summary field and the results were much more accurate.
This is a nonsense response.

A bank exists not as an isolated entitity, but as a node in a local, regional and global network of transactions.

Your phone as a “classic banking infrastructure” (nonsense phrase) can’t do credit card acquiring or realtime transactions because it’s not connected to the payment rails, transaction switches and so on (like SWIFT but all of the other less global ones run by central banks and private entities).

In developed societies, instant settlement for bank-bank transfers is the norm, and cash flow is dependent on that.

Russia and Iran pay about 2-5% for above-board (non-sanctioned) cross border transactions due to their extra costs of not being in SWIFT and USD sanctions, and between 20-50% where physical middle-people are needed to move pallets of USD.
I loved my blackberry but typing on it was way slower than on a touchscreen with predictive text. Especially when you need non-alphabetical characters.
Microsoft Unveils Zero-Water Data Centers to Reduce AI Climate Impact
One thing that could be great for experiments is Eurorack modules. There are I feel about thousand modules for drum patterns - Euclidean (like https://modulargrid.net/e/vpme-de-euclidean-circles-v2- ), but also plenty others, starting from Mutable Instrument Grids (https://modulargrid.net/e/mutable-instruments-grids). I think it's a much faster way to hands-on experiment than writing code. Also with Eurorack the only interface between modules is analog voltage which means clock, triggers, pulses, low frequency and audio frequency can be freely mixed (a common way to abuse this is to generate lower frequency audio using clock dividers, /2 from 800Hz audio gives you 400Hz square wave etc).

Ah and most of that can be also explored without a physical rack using VCVRack.
Show HN: Apidog – A Real Design-First API Development Platform
Development teams often struggle with using multiple tools like Postman and Swagger for API design, development, and testing. This fragmented approach leads to outdated API specs and chaotic collaboration.

So we built Apidog: a single, unified API platform for team collaboration. It has a beautiful interface that makes it easy to create API spec, generate request data from API spec, validate responses, create mock data, orchestrate test scenarios, and publish API documentation.

Apidog = Postman + Swagger + Mock + JMeter.
From X to Bluesky: To Echo Chamber or Not to Echo Chamber?
His tweets are always perfectly understandable if you've done the reading.

For some reason many of his stories are long winded ways of saying "if you start a business, many of your customers will be literally mentally retarded or senile."

He recently did one where he linked an Uber driver asking a question on Reddit I thought was totally sensible, and then proceeded to write a long extremely polite explanation of how they were an abject moron from the underclass for having to ask it. I didn't believe him on that one.

(But I can't find it because it was written too indirectly so my first 5 tries at search keywords didn't pull it up.)
Kind of is. All the five eyes have reciprocal agreements to trade data. If they cant legally watch you another nation probably can.
Why do you keep ignoring the fact that the report was for fraud and phishing? Sending a DMCA complaint or a copyright or trademark complaint to the registrar might've made sense for the reasons you outline here, but that's not what the complaint was.

Why are you so insistent on running defense for them?
Yes I was surprised at that sentence because I think (considering theoretical properties of code size are the same as instruction count) that the main initial reason compiler optimization is non-trivial is because these kinds of global optimizations are possible, like your loop example.

Also I am really enjoying your article, still reading it with wikipedia open on the side haha.
Nice work. Liked the output. Unfortunately needs a bit more responsiveness to work on mobile. Couldn't see how to save or download the story. But great MVP.
Ever heard of executive summaries?
Falcors point seems clear enough: the authors have a generous definition of "make available" for "understanding", they seek to teach people how to fish.
Nothing. Starlink cooperates with all governments, especially if theres enough bandwidth in that country to require ground stations.
Apidog has already gained the love of tens of thousands of users. It is particularly popular in Japan, the Middle East, and South America.
> Why does the idea need to be generated by AI?

This is the at-first-fun-but-now-frustrating infinite goal move. "AI (a stand in for literally anything) will do (anything) soon." -> "It won't do (thing), it's too complex." -> "Who said AI will do (thing)?"
related: https://news.ycombinator.com/item?id=42368784
One of the clearest signs in the current gen is that the typography looks bad still.
They are monopolists.
But the original statement is still a false statement, is it not?

If others are free to observe you while you are in public with them, are they not also free to do whatever they wish with that information? Same as you are free to attempt to share as little as possible with them. Public spaces are commons, and private spaces are subject to the rules of their owners, as you are also bound by them, in some form.

Once you leave your own property, what you do ceases to be your business alone, and begins to also be someone else's. There are clearly matters of degree, but it's also impossible to be in public without broadcasting copious amounts of personal information. If others in public are equipped to collect that information in whatever form it takes, why is that suddenly wrong?

Disagreeing with that tells me that by saying "my business is only my business, and nobody else's" you really mean "no one has the right to observe me/interact with me in public". Otherwise, you'd have to agree with my earlier statements, right?
>denial of banking service is de facto denial of the human right to own property.

Is property ownership a 'human right', or a 'human privilege' (nod to George Carlin)?
Fucko, the garbage company.