skysight-inc/HackerNews huggingface dataset:
Thanks for the correction. So this pumped hydro storage is at least 200x cheaper per kWh than current LiPo based solutions.
> As if the air over the top somehow has to match up with the air it was next to before the wing split it away below?

It's not a good explanation intuitively because it's not clear why that has to happen, and it's just wrong, because that doesn't happen.
Your previous post said

> the resulting binary MUST NOT require including / embedding DLL / library hell like everything today does

If there's no DLL required then why does it matter if the DLL is automatically downloaded from the Microsoft store? DLLs are not useful for statically linked binaries.
Data in Piper (actually, even in SrcFS…?) is stored forever. So the cost of a “small” amount of data like few gigabytes can add up over time (cost for storage, replication, transmission, etc.)
> And how useful is all that in practical real world use cases compared to Android or Linux

There are several possible answers.

1. It's something like 1% of the size and originally ran on systems with circa 4MB of RAM, booting and executing from ROM. There is a lot of value in code that is small enough to study and understand. Modern Linux is incomprehensibly vast and complex:

https://micronews.debian.org/2023/1686455026.html

1.3 billion lines of code. No human can live long enough to read and understand that.

2. Diversity is good. Monocultures are bad, because they are extremely prone to exploitation and attack. Find an attack that gets at a system at a low level and everthing based on that system is vulnerable.

Combine this fact with OSes of vast size, in non-memory-safe languages such as C, and the result is a multi-billion-dollar industry of constant security fixes and the need for high-bandwidth connections simply to download the constant stream of updates.

3. This is not some academic unfinished plaything. It's a former industry-standard OS that shipped on millions of consumer devices and had an entire ecosystem of apps and tools. IMHO that makes it more valuable than, say, Genode or something.

4. This may just be me but if rich modern tools are themselves of vast size and complexity, then that makes them inherently of lower quality compared to smaller simpler tools that can do the same job.

VS Code is built in Electron:

https://www.reddit.com/r/vscode/comments/mwsejl/why_vscode_i...

Electron is built on Chrome:

https://www.electronjs.org/

Chromium itself is incomprehensibly vast, nearing 35 million lines of code in over 40 different languages:

https://openhub.net/p/chrome/analyses/latest/languages_summa...

Never mind what it can do -- I think you simply can't trust something that big.
An open source framework for building developer portals
Port knocking works if you have to ssh to your servers, there are many solutions that obviate even that, and leave you with no open ports, but a fully manageable server. I'm guilty of ssm in aws, but the principal applies - the cattle phone home, you only have to call pets.
The ACT is full of really thoughtful planning in general. A reminder that experiment and sanity coexisting sometimes prevails when planning in the very long term for development :)
Looks fantastic, and the comment about Photopea. Photopea is such a gem, and can't wait for their Vectorpea to launch as it's got me out of trouble so many times when I don't need an Adobe license for opening a file once a month or so (I just wish Photopea was OpenSource)
> You really believe it would have been possible to construct a modern wind turbine with the materials available in 1950?

Sure, modern materials make for a more modern wind turbine. But they don't shift the paradigm. Nothing has since fission, right?

> Wind, solar and batteries are products of an energy intensive process NOT a combustion based process.

The fact remains that energy intensive industry is currently accomplished mainly via combustion. The degree of electrification is small and an effort to fully electrify faces what appear to be prohibitive resource limitations. If you have any ideas on this point I would be interested to hear them.

Electrification is happening in personal transport. We have made minimal progress towards an electric shipping fleet, electric air travel, electric trucking, etc. And if we do begin to make serious progress, it will come with serious environmental (and likely political) costs.

Oak Ridge was a testbed. The Chinese have an MSR that has been selling power to the grid for several years. Copenhagen Atomics is building them to fit into shipping containers. Is this not enough to prove the technology viable? The main reason traditional fission became dominant, as I understand, is that it allowed nuclear-capable nations to conceal nuclear weapons programs with energy programs. And once the supply chain and institutional expertise gets some inertia, it is hard to change tracks.
Seems like majority opinion is against your post OP. Guess it is your turn to go to court
Pretty wild. I used to have one of these beds, but it was before everything got "smart". It had two corded controller's hooked up to the pump. The controller displays the number and had up/down arrow buttons to adjust.

No internet required.
No Linux powered microcontroller required.
My bed couldn't get hacked.
I slept in comfort.
One thing I'm very frustrated by is my city's(Salt Lake) push for water conservation to the point they're paying residential owners to xeriscape their property. We've spent over a century terraforming the desert into a beautiful green canopy, and every day they're building more concrete and asphalt jungles with nearly no greenery while existing properties are tearing out greenery and replacing it with rocks. We even had one politician try to say we needed to cut the trees in the canyon down to save the Salt Lake, because they're absorbing too much water.

In the state, residential water usage is almost a single-digit percentage and unmetered secondary water systems have been a standard feature of neighborhoods built over farmland. They're now going around putting meters on the secondary water systems and no new developments even have them at all.

I'm really worried as the city is beginning to resemble hellscapes like Las Vegas and LA. The developer-captured legislature is just pushing shit through without much thought for their livability or scalability. Couple legislative sessions ago they removed the requirement for them to review referenda brought by concerned residents, which is one of the only methods we still had to push back against overdevelopment.
That means you have to keep the network off for as long as you’re using the app, which is inconvenient.
NASA's Juno probe gets a close-up look at lava lakes on Jupiter's moon Io
It's possible to be a reasonable, thoughtful person and disagree with aspects of what you just wrote.

Personally I dislike being morally steamrollered on complex, nuanced topics.
It's interesting how people treat the monorepo as some kind of religion that MUST be kept in this discussion.

How repos are organized is a choice. Google could just as easily (financially speaking) have chosen to break up that repo and use more standard tooling. They did not choose that. Did they have (possibly perfectly valid) reasons for that? Sure.

That does not render it as their only possible path.

Rather than switch their source control strategy to something that would work well with existing products, they chose to build a brand new product to support their existing strategy. This is, IMO, not an obviously sane decision from an outside perspective. Why?

Because source control has nothing to do with their core business, and in addition to the cost of developing and deploying that solution, they now have to bear the cost of maintaining it, which is likely not insignificant.

That's how it looks from an outside perspective.

The question I'm asking is not "why didn't they use git?!". The question I'm asking is, "what is the ROI of building and maintaining their own solution versus biting the bullet and pivoting so they can use pre-existing products?"

Haven't seen an answer to that yet. People are too busy implying or outright stating that I'm stupid for asking the question in the first place.
A founder once shared that launching on producthunt, getting to #1 and acquiring thousands of users ultimately killed his company. He explained that it gave them a false sense of product market fit that they fundraised against to build a bunch a features to solve problems real users never had.
This is unfortunate news, particularly considering how Snaplet simplified data access for developers. However, there are other tools available for handling production-like data. Feel free to explore several of them in this blog post: http://www.synthesized.io/post/test-data-management-tools
Wait, that seems backwards to me as a native English speaker. The superlative version feels more safe. Safest > Safe > (…)
I hope you never have to cross a street, or get anywhere near a car with a human behind the wheel.
Pedantically, UTF-16 has some code points out of order. The way I've always seen it implemented results in more operations spent on some points than others. See this example C code:
https://icu-project.org/docs/papers/utf16_code_point_order.h...

UTF-8 doesn't suffer from this design flaw.
> Failing tests indicate the presence of bugs, but passing tests do not promise their absence.

As somebody who primarily lives on the testing side of the house, I've definitely run into cases where the developer promises that their unit tests will make a new feature less buggy, then about 5 minutes later I either find a mistake in the test or I find a bug in something that the developer didn't think to test at all.

I've also seen instances where tests are written too early, using a data structure that gets changed in development, and then causes churn in the unit tests since now they have to be fixed too.

I've generally come to think that unit tests should be used to baseline something after it ships, but aren't that useful before that point (and could even be a waste of time if they take a long time to write). I don't think I'll ever be able to convince anybody at my company about this though lol
You will be happy to learn vectorpea.com has been online for many monthes already
There is a big difference between one VCS handling 1,000 QPS and 1,000,000 VCS instances each handling 0.001 QPS. A system built for one is not necessarily suitable for the other.
Belief doesn't merit respect, action does. If certain beliefs result in the believers thereof taking action that is unfair to (a set of) humans - whether that be slavery, witch trials, demolition of places of worship, pogroms, aerial bombardment of a hospital, or what have you - those beliefs do not deserve respect.
I think it's important to contextualize the situation. The Adobe TOS were updated, and people where understandably concerned over the rights Adobe now has over private customer data. The biggest issue was this part: "Licenses to Your Content. Solely for the purposes of operating or improving the Services and Software, you grant us a non-exclusive, worldwide, royalty-free sublicensable, license, to use, reproduce, publicly display, distribute, modify, create derivative works based on, publicly perform, and translate the Content."

People looked at this and immediately assumed this was added to allow Adobe to train models with people's private work.

Adobe has now updated their TOS, but this was a breach of trust.

Either way, in the end, this potential AI threat is just another reason to not store stuff in the "cloud".
All I got out of listing my app on product hunt was a bunch of spam from people offering marketing and sales services.
>> And Erlang. And Haskell. And OCaml. And F#. And..

Thanks, I didn't know that. I took the article to mean that this kind of one-sided pattern matching is unique in Elixir. My misreading.

From what I've seen it's true that most languages that have support for pattern matching have special constructs for it, whereas in Prolog it's baked in to the only data structure in the language, the term, which can be a single variable (a logic variable that can unify with ... anything).

I don't know how useful or not unification would be in a language other than Prolog to be honest. In Prolog it's an integral component of the Resolution-based theorem prover used as an interpreter of Prolog programs: resolution proceeds by unifying Horn goals to the heads of definite clauses, to produce new goals, recursively. More over, when one runs a Prolog "query" the result of the query itself is the substitution of the variables in the query, i.e. the substitution that makes the query true [1]; a substitution derived and propagated by unification.

I like how George W. Lloyd describes the use of unification in Prolog. Apologies in advance for the long-form quote:

The idea that first order logic, or at least substantial subsets of it, could be used as a programming language was revolutionary, because, until 1972, logic had only ever been used as a specification or declarative language in computer science. However, what [R. Kowalski, Predicate Logic as a Programming Language, 1974] shows is that logic has a procedural interpretation, which makes it very effective as a programming language. Briefly, a program clause A <- B1, ..., Bn is regarded as a procedure definition. If <- C1, ..., Ck is a goal, then each Cj is regarded as a procedure call. A program is run by giving it an initial goal. If the current goal is <- C1, ..., Ck, a step in the computation involves unifying some Cj with the head A of a program clause A <- B1, ... Bn and thus reducing the current goal to the goal <-(C1, ..., Cj-1, B1, ..., Bn, Cj+1, ..., Ck)θ, where θ is the unifying substitution. Unification thus becomes a uniform mechanism for parameter passing, data selection and data construction. The computation terminates when the empty goal is produced.

And that's first-order SLD-Resolution, with unification, in a nutshell! From George Lloyd: Foundations of Logic Programming, second Ed. 1993.

There's a copy of the book here:

https://archive.org/details/foundationsoflog0000lloy_o7l2

But it's a limited preview :/

________

[1] ... well, the substitution that makes the Horn goal that we call a "query" false, in reality, because Prolog proves things by refutation but we fudge it a bit.
Yes, HN is as hostile to humour as StackOverflow is to 'don't give ready to paste code, teach the man how to fish instead' answers.
The people who work on Jujutsu explicitly draw a lot of inspiration from Mercurial :)
We Can't Sit Back and Watch China Shock 2.0
> It's interesting how people treat the monorepo as some kind of religion that MUST be kept in this discussion.

not at all, it's just what google decided to do on balance. not only did they decide it was the best choice for them, the cost of switching would be ... astronomical. the amount of tooling that assumes it can find all code in the one place is very very large.
One can also imagine that the ad networks really don't care as long as advertisers continue to buy into the ad auction ruse.

The ad networks are an opaque "black box". You only get to see what they allow you to see. It is essentially built around faith.

It's difficult for advertisers to compare to alternatives because they have effectively monopolized the market.

For consumers, the most sensible response is increasingly ad blocking. As this trend increases, advertisers will (hopefully) be forced to start abandoning the concept as ineffective.

In the long term, the big winner in all this is likely to Amazon --- where advertising is mostly context based.
The tracking is the real reason for it in the majority of cases it is used IMHO. The other rationalizations are things that humans do to help convince themselves that there's more nuance so what they're doing isn't nearly as naked self-interest as it seems. I'm thinking of Twitter's shortener for example. Self-hosted/small stuff used for SMS reasons for example (on a domain owned by the same org) are a different bag.
But still only single GPU for now. I also heard great things about it, but wanted to make the maximum use of my multi-GPU local setup.
If money was not an issue, I'd probably try Delphi for both A and B, which can create native cross platform apps.

If not, I'd try Lazarus for A and Kotlin compose for B
A: Lazarus or Delphi (if money was not an issue)

B: Kotlin compose or Delphi (
Dismantling government oversight of corporations is sadly the dream of some under the guise of "small government". I understand why the very wealthy and the corporations do it. I don't understand why average Joes cheer for it. Weak government oversight is going to make every aspect of your life worse. It's going to poison the air you breathe, the water you drink and the food you eat. It's going to make cars less safe. It's going to make air travel less safe.

Fines are the cost of doing business. These companies won't change their ways until thee executives responsible end up going to prison (or worse [1]). We have the likes of the Sacklers who became billionaires killing millions. In a just word, every one of them would die penniless in a 6x8' cell.

The (political) decision to overturn Chevron last week is going to make all of this worse because the likes of Boeing is going to challenge the authority of the FAA, the FTC and the NTSB in court. It's going to find a friendly judge (likely in Texas, which is built for judge shopping) and argue those agencies don't have the authority to oversee them. Or just to temporarily stay or overrule any decision that goes against them.

This is now the world we live in.

[1]: https://www.theguardian.com/world/2009/nov/24/china-executes...
You can buy empty capsules that you can fill yourself.

So you fill some inert powder into the placebo capsules, just so they have the same weight as the one you crush your non-placebo in.
The older models had a corded control with a red led display that didn't destroy your eyes at 3am.
ah nice :) will have to give it a go someday when i need to deal with an illustrator file
Have AI intelligently solve my git merge conflicts. Please.
You can try it for yourself, my company is in my profile.
> Why does a bed need to run Linux? Why?

the bed got envious of the toaster and refused inference until Linux was installed.
I am reasonably sure that the intended behaviour of Linux is that a process can only be ptraced by one other process level at a time.

However, a few years ago, I discovered that a process inside a container being ptraced could be ptraced by a second process running as root at the host level.[1][2] I don't know if that's been patched away since then, but my assumption at the time was that it meant that the "there can be only one" aspect of ptrace was more of an arbitrary decision, not a hard limit.

[1] https://assets.bishopfox.com/prod-1437/Documents/Guides/2022...

[2] I'm not sure if the "double ptrace" scenario made it into the final document, but it's the same techniques discussed in there, just attach a tracer to the containerized process from inside the container before you attach gdb or asminject.py from outside of the container.
I put all my jank behind wireguard
> To be honest, I am not sure what is meant by "pattern matching".

I'd say that "pattern matching" is unification, where there are no free variables on the right side and the left side is the "pattern" to match.

As Prolog code, something like

?- [X|Xs] = [a, b, c]

where X = a and Xs = [b, c] would be "pattern matching" the head and the tail of the list [a, b, c], but

?- [X|[b, c]] = [a|Xs]

where X = a and Xs = [b, c] would be "real" unification, if [X|[b, c]] would be valid syntax.

Oh, and both unification for type checking (inference) and pattern matching are compile time actions (or done before evaluating the generated functions).

A (simple) pattern match like

match list with
| head :: tail -> do_something(head, tail)
| [] -> do_something_else()

is "compiled" to something like

if list != []
then do_something(head(list), tail(list))
else do_something_else()
What I've learned about open source community over 30 years
> You say that but in my experience the same kinds of people who will say that are also the kinds of people who demonstrably don't actually even know what AI is.

Funny. In my experience AFK it is the people who use AI that have zero idea what it is and think answers can be blindly trusted. The ones who don’t like it can enumerate the drawbacks clearly.
I'm from Pakistan, and Blasphemy law is a genie no one can put back in the lamp.

A few days back, a man was who went for tourism to a hill station was burnt alive by a mob[1], for purported blasphemy.

Now we are getting evidence of how he was actually a very observant muslim[2], but it's of no consolation for his burnt corpse or his family.

Nothing matters, if someone is pissed at you, they can unleash a mob at you and nothing the law or police can do in front of a violent mob fired up (literally) by religious fervour.

I have a conspiracy, that our economy is so utterly shit that our govt uses such lynchings as a release valve. Hey, inflation biting you? Go kill someone and set them on fire, let that pent up stress out.

In any case, I pray for an escape from this place daily. Terrible economy was bad enough, blasphemy lottery is just the gilding on top.

----

[1]: I will not link anything, but if you are morbidly curious, by all means search for "Swat Blasphemy" on twitter and click the media tab.

[2]: https://x.com/Arshadyousafzay/status/1806717907486789805
If we are talking about the context of a compiler, I agree: you should compile pattern matching to decision trees (DAGs), by way of something like Pettersson's algorithm. In my comment, I specified "in an interpreter", as I think it's the natural way to implement an SML-like match construct in that context.

EDIT: Perhaps I am missing Elixir-specific context and I apologise if this is the case. It was the unification that made me click this post.
10 years ago pretty much to the day I exited my first startup - a sports data platform I started with friends at 19 years old and helped build into a £25m company - all to pursue my dream of becoming a filmmaker.

I got pretty good at it too, I made a TV show for Amazon, filmed a couple of documentaries, and premiered a film in Leicester Square. I've worked with A listers, influencers, up and comers and everyone in between.

But I still missed the tech world. I missed the challenge, the nerdery of deciding between 99 Javascript frameworks, the late-night urgent bug fixes, the 99 things going wrong for every one that goes right.

So I'm back. This time solving a problem I came across on my journey - that most people who make videos don't actually want to edit them.

That's why I'm announcing Static, the AI powered video editor that helps creators and brands make content faster than ever before. It's been in development since January and the beta will be coming soon.

Join the waitlist at the link in the title, and thank you for reading!
Shouldn't "bed as a service" be a hotel?