skysight-inc/HackerNews huggingface dataset:
Show HN: Herald: desktop PIM with email, calendar, outliner and full-text search
> The kids in the show are just kind of annoying, needy and of out of control. Things I don't want my kids to emulate. The parents feed into it and treat the behavior like it's ok. I also don't feel like the stories have particularly great takeaways for kids most of the time.

...

> Everyone is free to like what they like. You are free to love Bluey. I just wish people would stop trying to make us like it, and stop making us watch it.

Based on these comments, is it possible your friends are trying to give you a subtle hint about your own parenting?
Watch carefully. There are many times he says no and the kids just listen - often outright. But many times he gets his way with a distraction - the “game” the episode is named after.

It’s also somewhat told from Bandit’s perspective (understandable given the author).

The episode “Burger Shop” is a good example of him not getting his way at the same time he does, even though he ends up admitting his experiment was a failure.
How Should We Think About the Economics of AI? With Erik Brynjolfsson
Not Scallop related but did you try Mercury? It is prolog with types and flagging of deterministic functions; the Prolog we ported had a very large (... vague, I know) performance boost and that is a lot of code. Porting is gradual mostly.
ReactOS 0.4.15
Μ–Kernel.info
So things like civil rights would depend on the state you're in?
AI for the Working Mathematician
I think most often these days the users themselves are the centralized point of entry for attackers—a focused attacker is not necessarily going after every application a company uses and trying to breach it individually, but instead trying to compromise a user who has access to all of them.

So in that scenario, centralizing auth is desirable because you don’t have that user holding dozens of weak passwords, and you can monitor access and use heuristics to lock the user out of everything automatically if, say, they access the SSO portal from an unexpected IP. You can also always set things up to require re-auth or MFA whenever someone actually signs into something through the IdP, as an extra layer on top.
No mention of sleep associated with drainage mechanism, so unsure if related.

First heard about it in Learning How to Learn: https://youtu.be/b2wxhG2viWc
Note that dependently-typed code also effectively "runs at compile-time", it's inherent to that programming model. You can "extract" an ordinary program from dependently-typed code which you can then compile to a binary and run as usual, but then that program will not feature dependent types in their full generality.
No, someone just impersonated renovate bot and the repo author got tricked
A second opinion comes after services are rendered. I don't think you put your doctor through a ringer like an employment candidate, was the point I was making.
Perhaps there's something wrong with traditional docs, how we write them, when junior devs are so insistent on using AI?
France hits hydrogen jackpot: largest reserve valued $92B found
You can have an unlimited number of polygons overlapping a pixel. For instance, if you zoom out a lot. Imagine you converted a layer map of a modern CPU design to svg, and tried to open it in Inkscape. Or a map of NYC. Wouldn't you think a bit of extra processing power would be welcomed?
The SCC example is interesting, I wonder what behavior that gens to. Reminds me of Lean, have to suspect it may make the processor quite spicy, like Lean. Also don't see clear indication that this benefits from heterogeneous compute resources.

Oh, boy, it's written in Rust!
Asking someone who knows history better than I do:

Is it the case that every time a society has developed extreme wealth concentration, that concentration gets diffused only via violence? E.g., by internal revolution or by takeover by another country?
You are confounding what's necessary for our survival from what people may want/desire.

Fruit/vegetables as we know today are largely unnecessary and a luxury we have learned to love. In fact, most of the love for it comes from rich people posturing about it because they have both the means to buy them and time to process them.
When you look at them objectively, they are extremely bad from an effort to payoff point of view, making them purely pleasure/status driven food.

If you clock back just a hundred years you will realize that most fruits/veggies were not even well known (at least not in their modern form) and not something to worry about.

The pizzas with tomato sauce were created because basically nobody wanted this weird unknown fruit coming from the new world. Brussel sprouts so bitter that most people could not even digest them properly and they were truly disgusting to eat (basically food poisoning).

I could go on and on but the fact is vegetable and fruits are something we do purely for pleasure, we have improved the farming efficiency on many of them but it hardly matters for most of them because more supply doesn't mean the surplus will necessarily get eaten (you need to have people both richer and with more time for that).

In fact, the whole "organic" thing is something related to this fact, it's rich people who wanted to raise the stakes for purchasing veggies because it has become "too cheap" with imports (thanks to low wage cost in exporting countries).

The proper farming that actually feeds the world has already scaled beyond the point where it's reasonable to try and squeeze more out of it. In fact, the problem has become to manage the thing economically because over supplying makes some extremely large operations with big fixed costs a gamble.
For anyone who wants to do this at home, electric knives have been a thing in home kitchens for a long time. This is the most popular one in the US, will set you back $28:

https://hamiltonbeach.com/electric-knife-set-with-fork-and-c...
I submitted this Liberapay link, and have no association with it besides funding a few projects and coders through it. They wouldn't have been expecting a surge in traffic.
I have seen someone claim speech just became more free, so yep, still.
Show HN: I built a simple, lightweight widget to collect feature requests
I had to look this up because it is a while that I tried to use floating point math in a const fn and it seems that the differences you described have been decided to be acceptable.

Looks like floating point math in const fn is coming. Here is the respective tracking issue:
https://github.com/rust-lang/rust/issues/128288
Is this a rhetorical question? Cause capitalism, everybody loves capitalism.
Museum digs up Digital Equipment Corporation's dusty digital equipment
Could you elaborate a bit on what you mean about George Washington? When did this modern right of refusal come about?
Premultiplied Alpha (2009)
C# LINQPad Backtrading Library
Yeah, we do that. Given that most home appliances use more than 800W (even in Eco modes) we often use more than our production.

E.g. our washing machine uses 1000W over a prolonged period of time which would be perfect to run on a sunny day. But it does so by switching the 2000W heating element so it averages to 1000W ...

So we repeatedly export 800W (without any form of reimbursement) and import the missing 1200W back.

And that is the case for all of our appliances. (I have a sensor to monitor that)

Don't know if more modern machines are better in this regard, our machines are about 5 years old now.

edit: I don't want to sound bitter about it. The Balkonkraftwerk works perfectly fine to power our base energy load.
That is the original definition of PC.

https://en.m.wikipedia.org/wiki/Get_a_Mac
See also: The Horrors of the Alpha Channel - https://www.youtube.com/watch?v=XobSAXZaKJ8
No mention of Kerberos? That's been doing centralized authorization for decades.
It's built into Windows, even.
Interactive use.
Love this. I believe you should ask yourself, what would I do if money and status wasn’t a thing. We get programmed from a young age that succeeding in life is to become a multimillionaire or super star in something. This is not a good message for young ppl struggling to find self worth…
It is true in practice. If you have a passport or any form of ID suggesting you are a citizen, they will not turn you away. Citizens have an absolute right to re-enter. You may not be able to bring everything with you and you may be delayed, but you will get back in.
You don't need to launder own money to be found guilty of money laundering. Most people engaged (caught) in it take percentage or fees from laundering others mafia money.
Liquid nanofoam designed to protect the brain now tested on internal organs
Lawless or lawful?
I don't understand why people hate crawlers that much. I understand arguments about ones that violate robots.txt, but not correct ones.
SaaS exists mostly as a rent seeking strategy.
It doesn't make that much sense for most software.
Extensions to Khronos APIs to this day, tend to get born as DirectX features, from GPU vendors in collaboration with Microsoft, so no surprise there.

Also note that NVidia happens to have their own Linux distribution, while it isn't racing to support GNU/Linux in general.
i know. i misunderstood liberapay as an alternative to stripe
Far has many nice plugins and features, that's why I prefer it. MC is still awesome, sure.
> Users aren't designers, they don't know what they want and will put up with bad experiences because they don't know it can be better.

First, I definitely know what I want from my computer.

Second, flipping my mouse over and being forced to stop using it is an objectively worse experience than plugging it in for charging while using.

I have an MX Master 3 which is also wireless and charges with a cord. While it's charging, I definitely have a degraded experience relative to the wireless one, so I unplug as soon as I can (I sometimes don't even wait for the full charge!) to go back to the better experience. Never once have I considered keeping it connected indefinitely.
Environment variables are also inherited by all subprocesses by default, which they rarely need.
Rip people away from the only concept of support they have: Family. Unless your plan includes the ability to move generations of families, you aren't helping people, you are just keeping them impoverished and separated.
It's still true today. A cop friend of mine told me "if you arrest all the drug dealers, the whole city will burn in less than 24 hours."
> most of the time it's a reflection of interest rates and nothing more

Yeah that's basically what I'm saying

Unsustainably over-hiring to take advantage of low interest rates is viewed as a smart business decision. It may actually be a smart business decision, but it is still evil
I’ve worked hard not to use “Login with XYZ” buttons over the years for reasons.

My email address is even using an owned domain so that I have a better chance of getting it back if my email provider cuts me off.
I will never stop being amazed at AI folks' childish views of animal cognition:

> A lot of your tools reference crows. What’s up with that?

> White: When I got started in this space around October 2022, I was red-teaming with GPT4. Around the same time, a paper called “Language Models are Stochastic Parrots” was circulating, and people were debating whether these models were just regurgitating their training data or truly reasoning. The analogy is appealing, and parrots are definitely known for mimicking speech. But what we saw was that pairing these language models with external tools made them much more accurate — a bit like crows, which can use tools to solve puzzles.

> In the work that led to ChemCrow,1 for instance, we found that giving the large language model access to calculators or chemistry software made its answers much better. So we kind of retconned a little bit to make “Crows” be agents that can interact with tools using natural language.

This is incredibly insulting to crows, who can spontaneously create tools and use bizarre man-made tools with no training. And when crows use tools for problem solving in the lab, the tools are not "solve the problem for me" like a calculator, they require much more creative thinking. What White really means - whether he knows it or not - is that crows are known for being intelligent and he wants to use this for marketing purposes.

I don't think anyone alive today will live to see an AI as smart as a crow, in no small part because AI researchers and investors refuse to take animal intelligence seriously.
I really wish I could do in rust what you're doing here in typescript.

Say I have some enum like ColorRGB here. In some contexts, only a limited subset of variants are valid - say, ColorGB. There's a few ways to code this - but they're all - in different ways - horrible:

1. Use ColorRGB in all contexts. Use asserts or something to verify that the value is one of the expected variants. This fails at expressing what I want in the type system - and the code is longer, slower and more error prone as a result.

2. Have two enums, ColorRGB and ColorGB. ColorRGB is defined as enum ColorRGB { Red, Restricted(ColorGB) }. This lets me encode the constraint - since I can use ColorGB explicitly. But it makes Color harder to use - since I need to match out the inner value all over the place.

3. Have two enums, ColorRGB and ColorGB which both have variants for Green and Blue. Implement conversion methods (impl From) between the two types. Now I have two types instead of one. I have conversions between them. And I'll probably end up with duplicate methods & trait impls for ColorRGB and ColorGB.

Luckily this doesn't come up that often. But - as your typescript example shows - it can just be expressed directly in the type system. And LLVM already tracks which variants are possible throughout a function for optimisations' sake. I wish rust had a way to express something like Exclude<ColorRGB, ColorR>.
Fellow Emacsers, note there are a few accounts on Liberapay of people who make some of the things we love:

Org Mode: https://en.liberapay.com/org-mode/

- Ihor Radchenko (Org mode maintainer): https://en.liberapay.com/yantar92/

- Bastien "bzg" Guerry: https://en.liberapay.com/bzg/

- Timothy "Tec": https://en.liberapay.com/tec/

Magit: https://en.liberapay.com/magit/

- Tarsius (Magit, Transient maintainer): https://en.liberapay.com/tarsius/

Guile Emacs: https://en.liberapay.com/guile-emacs/
I just enjoyed another story about fighting similar legal shenanigans higher up on the HN front page - https://news.ycombinator.com/item?id=43442178
The cultists cannot fathom their own contradictions.

Like trump rallying to deport mexicans who are drug or violent criminals and then deporting those whos only crime was to enter the US illegally. No questions asked if those are heavy criminal thugs or law abiding family members. No courts involved to clarify.
> but I'd wager if that's really necessary.

I think its more useful in a language like rust, because the compiler can use that information to better optimize the emitted assembly.
Pfff. I mean if you really wanted green you could just make a hand crank operated machine, have the user spin the wheel a bit to generate power or lift a weight and then go through the normal cycle.
A little bit of a tangent: I love the homepage. It includes everything I need to know about the language in a single page. Features, documentation with code examples and links between sections. And everything is one ctrl+f away.
I need to use that more often...
That assumes billionaires don't have billions of free speech to hand out to politicians. How many billions of dollars of free speech do you and I have to counter them?
The Epic Failure of Vertical Farms – What Happened? [video]
Especially considering that governments such as the UK (I know they left the EU but I'm more familiar with them than the current EU members) have a pretty grim history of exactly that.
According to the article you linked, that was debated even at the time:

> PC Magazine Editor in Chief Lance Ulanoff criticized the campaign's use of the term "PC" to refer specifically to IBM PC compatible, or Wintel, computers, noting that this usage, though common, is incorrect, as the Macintosh is also a personal computer.
I suppose for a lot of the population, this bit of "science" (what CO2 is and what effects it has) is as comprehensible as how vaccines or mRNA work, and if they trust the snake oil salespeople like they trust proper scientists they can be very misled.

But hey, surely the wealthiest country in the world properly funds K-12 schools, right?
Gawker destroyed itself because they let a reckless drug addict make editorial decisions while high and drunk which ended in the demise of the company. Fortunately that editor has recovered and has a neat blog/newsletter that focuses on substance abuse.
I am not here de defend politicians, but...

The title says "France rejects backdoor mandate" but TFA makes it clear that France is not a hive-mind:

- The rejection was by the French National Assembly (think parliament/congres)
- Ths happened despite pressure from the internal ministry (the government)

I find it interesting that it is often a similar story at the EU level where the European Parliament puts a stop to the worst impulses of the European Commission.
It matters immensely because in modern times people have become grossly naive as to what happens when a nation becomes sufficiently divided. Imagine some change to the system was created such that one party, or the other, could effectively permanently maintain absolute power.

It's not like the other ~half of the country is just going to go 'Wellp, I guess this is just the way it is now. I completely surrender.' No, the end result is invariably violence.

That is the reason the Senate is designed how it is. People will get a voice in the House, and states get a voice in the Senate. In fact it wasn't even until the 20th century with the 17 (IIRC) amendment that Senators were even openly elected - previously they were s(elected) by state legislatures.

The entire Constitution is written to create a system where people can loathe each other yet still manage to stay under the same flag. And it turned some backwater outposts into perhaps the greatest empire in history, all in a ridiculously brief period of time. So clearly there was more than a bit of wisdom in its construction.
Yes fair point, but these individuals weren't personally involved in laundering others dirty money either.

North Korea used the author's algorithm/protocol but the authors weren't personally involved.

The fee aspect is slightly unclear. I think the authors may have benefitted but I think it was indirectly rather than through a fee. I'm not sure exactly how that worked. It might be because they held a lot of Tornado cash and it appreciated in value.
Curious why you would call that a memory leak? The memory is still accounted for in the Vec and will get released properly when it deallocates, right? This looks like optimizing memory usage to me, not plugging a leak.
> It is impossible to construct a cypher with just one key […]

Technical nit:

I (mis?)remember reading in a cryptography book (by Schneier?) that the NSA has at least one algorithm where the decryption key is different than the encryption key, but my search-fu finds no references to it online. The application would be for devices in 'hostile territory' where there was a risk of capture of the unit and so you didn't want the other side to be able to alter data/firmware since the cipher that is available is decrypt only.

However, see perhaps:

* https://crypto.stanford.edu/~dabo/abstracts/traitors.html

* https://crypto.stackexchange.com/questions/39397/one-encrypt...

Also, see n-of-m algorithms:

* https://en.wikipedia.org/wiki/Shamir%27s_secret_sharing
This seems a bit odd.

Leading with abstract discussion regarding technology as a solution, only it’s too hard to enforce royalty rights (people just keep doing whatever works for them regardless of who had a good idea first.)

Next, classifying solutions to technology problems which use technology (coal burning for instance) as being a superior alternative to “social solutions” which never quite work.

The article appears to subtly suggest it unfair for anyone not paying in royalties for technology based solutions to their problems.

The presentation appears to claim “social” solutions don’t work or are insufficient, and only technology innovators (and their intellectual property) solve real problems.

Looks like a think piece laying a conceptual framework for promoting intellectual property technology as universally superior to “social solutions” whatever they make that out to be.

Have I missed something?
Why would they even change the language and the commands in the example? It confuses and undermines the point. Just say “use `git switch -c my-new-branch` for interactive usage and `git switch --create my-new-branch` in scripts”. It makes no sense to introduce other unexplained information.
> One (maybe the) distinguishing feature between comptime in Zig and Rust macros seems to me to be access to type information. In Zig you have it[1] in Rust you don't and that makes a big difference.

There are other differences. First, comptime functions aren't syntactic macros. This makes them much easier to reason about and debug. You could think about them as if they were regular functions running at runtime in a partially-typed language with powerful reflection (their simplicity also means they're weaker than macros, but the point is that you can get very far with that, without taking on the difficulties associated with macros). Second, I think that comptime's uniqueness comes not from what it does in isolation, but that it makes other language features redundant, keeping the entire language simple. This means that with one simple yet just-powerful-enough feature you can do away with several other features.

The end result is that Zig is a very simple language with the expressivity of far more complicated languages. That on its own is not super unusual; in a way, JavaScript is like that, too. But Zig does it in a low-level language, and that's revolutionary. It is because of its simplicity that people compare Zig to C, but it's as expressive as C++ while also being safer than C++, let alone C.

Adding comptime to an already-complex language misses out on its greatest benefit.
I want an internet where sixteen browser engines are competing against each other, not two, or three and that lives up to the claims that they set out and use as marketing. So please stop shitting on people who raise legitimate concerns and when maintainers suppress or ignore information about these concerns raised.

You dont know how many PRs Ive submitted to open source projects. So maybe dont make shitty claims yourself. I think holding people accountable for the statements they make is pretty much whats happening here. Yet people like yourself think its ok that companies or products say one thing but then do another.
So I pulled up Cricket just now and watched through it, as I'd seen it mentioned a few times in here. I can see why someone would enjoy that particular episode. It's lighthearted and sappy.

However, a sizable portion of the episodes short runtime is Rusty smashing a cricket ball against the side of his parents house, visibly damaging the siding, with zero on-screen repercussions. That's exactly the sort of thing I don't want my child emulating, and the show makes it seem like it's an ok behavior.

Children copy things they see. If you're going to show a child doing something they shouldn't it needs to be at the very least shown in a negative light.

All the show needed to do was have the final couple seconds of the episode be his mom standing next to the damage yelling "Rusty!", it would have made for a good comedic closer and shown kids that it's a problem.