skysight-inc/HackerNews huggingface dataset:
Same here :). But original Optimus has a screen in each key. This technically similar to a later design https://www.artlebedev.com/optimus/popularis/. Which also had a single big LCD and transparent keys on top of it.
Excellent summary. The interesting thing to me comparing Silvergate and SVB is that they both got hit by a fall in value of their long-duration bonds, but they had pretty different reasons for the "run on the bank". That is, in Silvergate's case, depositors wanted their money out because people were so fearful after FTX for anything with even a hint of crypto exposure (and Silvergate had more than a hint), and in SVB's case it's because a lot of their tech startups that hold deposits at the bank actually need their money out to spend.
He makes irrelevant and baseless claims. First we don't really know how the mind works and therefore we really have no idea if the language models are path toward AGI or not. He really doesn't have an idea how a child obtains a language. You really need a lot of data to acquire grammar, no minuscule data is not enough. I have observed it personally with my multilingual children, their mother tongue, to what they have the least exposure and what is the most complex, is not still not fluent for them. His claims are simply false, easily refuted by empirical data.
Funny anecdote from my time at the University of Waterloo:

The systems design engineering major was abbreviated to SYDE. It was a popular joke to ask friends in that major “so what is systems design engineering?”

They had a self deprecating chant in response: “S Y D E what is systems? Don’t ask me!”
This seems like a very limited notion of "understand". It seems to be talking about natural language sentences as if they were merely convoluted versions of propositional logic.

I see it the other way around: propositional logic is a very limited sub-domain of natural language. It may be the case that you can model human brains with propositional logic, but the kinds of sentences you create are very, very different. They're more along the lines of "Neuron 1 has a .25 weight connected to Neuron 2" than "A BLT is a sandwich made out of bacon, lettuce, tomato, and bread".

Focusing on sentences is designed to highlight this mapping of language to propositional logic, while missing everything else about discourse. A sentence like "I would like a cheeseburger" is not understood by "the conditions under which I'm hungry". That sentence is a request from one person to some other, who is not visible in the sentence at all but is part of the conditions in which that sentence is uttered.

As it comes to LLMs, I think that is the opposite of helpful. LLMs are not expert systems, which do come closer to trying to establish truth conditions. Those were abandoned because they were poor models of human cognition.

Whether LLMs do human cognition either remains an open question, but I don't think this direction is a very helpful one for understanding it.
>So they are expanding the definition of "woke" to include caring about the climate now? It's almost like they're trying to create a blanket phrase for "everything we don't like" regardless of whether those things have anything to do with each other.

Yeah, they've been doing that for years, attempting to poison the well of progressive discourse by redefining its terminology through bad faith usage - it's all but impossible, now, to even use "woke" in its proper context.
Possibly. It's one of those things that is really difficult to know. It's easy to look at what the possible benefits are because the model is more technically precise, but it's much harder to think about what the possible negatives are. The "&uniq T" model might be more technically precise, but maybe it is also more technically impenetrable and adds just one too many things that newcomers struggle with. Then again, maybe the extra precision of the model would end up helping more than hurting.

It's really hard to say because of set of people for whom "&uniq T" would have helped more is non-empty. But what is the size of the set of people for whom "&mut T" actually helps more? I have no clue. But it could be large.
Use security keys or TOTP. No one should be using SMS based 2FA considering how broken it is (SIM swap attacks). It shouldn't even be an option IMO.

I find it quite ironic that the words "Supply Chain Attack" and "SMS-based 2FA" are mentioned in the same blog post. It's like no one made the connection.
>The next political party gets in power and does the same thing, except for the other half.

Can you give some examples? I'd say centralization of power has been mostly one sided for the past century or so. (FDR, JFK, LBJ)
> Banks are required by law to buy US Treasuries (UST). This regulation came about after the GFC.

Can you expand on this? What is this regulation titled?
That's pairdomains.com, correct?
> fish are typical prey for many species

They know, and they don't take it lightly. Welcome tiedieconderoga and please receive this in appreciation:

https://www.comedywildlifephoto.com/images/wysiwyg/00000053/...
Interesting! Looks like this jgonggrijp user has been keeping things moving for the last couple years: https://github.com/jashkenas/underscore/graphs/contributors
Ref counting is considered GC (despite the colloquial definition excluding it) because RC handles the same problem domain as full GC, even with drawbacks around cycles. malloc/free, on the other hand, are just ways to allocate and release memory. They're too low level to be garbage collection.

See this excellent comment: https://news.ycombinator.com/item?id=32277088
I don't manage a local collection anymore. I'm in streaming app hell like the rest of you, and I regret it.
Comparison of multi-paradigm programming languages
the bug is probably a caterpillar, because it is way cuter and easier to distinguish.
...or they might have just looked at https://gitmoji.dev/
The defence business will obviously do well.

This is outweighed by far by the effects on everyone else. Or as the article you cite puts it:

"In other words, a humanitarian, geopolitical, and economic disaster for the world..."
Nice job! Do you do affiliates? I’d love to list you on https://www.starter.place even though I know it’s so much more than a typical starter, I think it’s for the same audience.
For when you need to mouse _really_ fast? Genuinely curious how more leverage would be beneficial
How is this wishlist related to anything that is being talked about in this thread? I'm very confused by what you're adding to the conversation.

I also wish robots would do the menial labor that I do not enjoy and would take care of all of my basic needs.

But this is an article about basic computer vision beginning to impact basic manufacturing. What you're talking about is decades in the future if ever. I'm very confused.

Edit: The OP originally talked about an agricultural robot that could charge itself, do all the home chores, and fix things around the house. Now it's just one sentence.
Seems a bit pedantic here.
But partisan political agendas like in CA and TX are clearly not the same as a neutral political agenda.

I think most people here understood political agenda as partisan term here.
> it’s not changing anything for US manufacturing.

I don't think this is true. I work for a US company producing industrial equipment based heavily on machine vision. Our products (along with those of our competitors) have changed the entire industry we support, for the better.

Ours is only one specific part of the manufacturing space, but I fully expect the impact to spread to other parts as well.
Right now it is just inserting ads when they fit the topic. For example when searching for clothing you will also see referrals/ads for the thing you searched for.
https://www.federalreserve.gov/supervisionreg/large-bank-cap...

https://www.statista.com/statistics/1097633/cet1-ratio-large...
We won't balkanize because the federal government will give up power to the state governments to preserve its own existence before that happens (we hope).
In California at least, a small claim is pretty efficient as long as the claim is more than the modest filing fee. They can't hire an outside lawyer to handle it, either. If they have an inside one they can use that, but anyway.

I've had great success this way against United Airlines, Toyota, and other bigs.
Yea, it's going to be interesting to see how this all unfolds.

In my opinion, the future of software development looks like this:

1) Human developer instructs A.I. bots to build large volumes of code (like Second)

2) Human developer uses A.I. code assistants in the IDE to make "low level" changes or additions

I do not believe that developers or engineers will be replaced. The world needs more software, and there's not enough of us to build it all. Quite frankly, we need the help of bots to meet the demand.
Right.

Or a ship in Arizona to sell you.

GP and others who believe that should google "our incredible journey" - and look at multiple hits, not just the first few. It has become a meme by now.
As of March 15, 2020, bank cash reserve requirement was reduced to zero for all depository institutions.[0]

0 - https://www.federalreserve.gov/monetarypolicy/reservereq.htm
I hope there'll be a collab with https://www.instagram.com/sandwichesofhistory
It depends on the specific power you're discussing.

Executive state power is supposed to be used to enforce laws on the books, regardless of whether the current political party agrees with them. If there's disagreement, there's a legislative process to follow.

Abusing executive power to selectively enforce, or harass, is obviously deeply problematic in a liberal society.

Legislative state power is where your points hit home. Absolutely, by all means, enact the laws that you're able to based upon the elected legislation. As long as it squares with the state and federal constitution, you're golden.

Judicial powers bent to political purposes are an absolute horror and should be rooted out as quickly as possible.
Ah the Tegra X1 bootrom exploit is the gift that just keeps on giving. I instantly bought a switch when the news came out.
Great article.

I find systems design and complex adaptive systems fascinating. I really recommend the book, "Hidden Order: How Adaptation Builds Complexity" by John H Holland. It is technical but aimed at the educated, non-technical reader, with enough description that you could code along to his models. I really wish he had written more books. RIP.

Another good source of systems thinking are the books by Jane Jacobs on urban planning.

I think anyone wanting to study this area rigorously would need to spend time doing detailed discrete event simulations, understand probability theory, time series analysis, phase space analysis, experimental design, graph theory and queueing theory.

Like databases or operating systems, complex systems embody many fields of study simultaneously. One of the funnest parts is that they can be modeled at so many different levels.

Complex Adaptive Systems
https://en.wikipedia.org/wiki/John_Henry_Holland

Urban Design
https://en.wikipedia.org/wiki/Jane_Jacobs

Ants
https://theconversation.com/e-o-wilsons-lifelong-passion-for...
Is “Generative AI” the biggest bubble since the dot-com crash?

Nailed it in paragraph 3, then went on to spend the whole rest of the article insisting "it's not a bubble, trust me bro"
That's valid to some extent, for people who want to change. Not all of them do.

Also, sometimes the most strident voices of condemnation are seeking to draw attention away from their own criminality. A couple of months ago a guy in Southern California was arrested and charged with not just possession but production of CP and other sexual offenses. He had a private room on his business premises that he used for these crimes. In 2021, he had hosted an anti-child-sex-trafficking rally in the parking lot of the same business location.

Likewise, think of the numerous cases of moral crusaders against fornication/ homosexuality/ whatever that turn out to have been engaged in the same behavior that they regularly denounce. Dishonest people see no problem with being a pastor or community leader and bilking the suckers foolish enough to donate to them.
If you change your start date your sniff test up a few decades then the sniff test passes.

The number of single parent households has dropped and the number of single teen mothers has dropped dramatically in the past couple of decades and it is visible in the child poverty statistics.
I don't really believe WhatsApp was bought to show ads on WhatsApp, I believe it was bought to forestall competition and protect Facebook's existing revenue. Zuckerberg was afraid that users would leave Facebook for WhatsApp, and tried to prevent that by buying it and merging it in to messenger.

They largely failed though, as for political (and maybe also technical) reasons the merge was cancelled.
Consolidation may not be inevitable, but it did happen on so many previous innovation waves (steam, electricity, telegraph, telephone, automobile, aviation beginnings were full of small, growing, competitive ideas and ventures too).

It comes with industrialisation and commodification and norms and regulation, so it's not all bad either as it consolidates/improves the general quality and availability.

(cue Dire Straits' Telegraph Road)
George Bush and the Patriot act
Getting ChatGPT to categorize programming languages
This means that anyone who has a lot of deposits at a US bank can potentially:

* Withdraw all their holdings, forcing the bank to realise losses in their holdings

* Buy shorts in the stock of the bank

* When the losses are announced, make lots of money from their short position.
What about it? Why would a state want to do business with a pharmacy that refuses to provide necessary healthcare to women?
Thank you! I kept seeing the 0% reserve ratios and was wondering what they were actually going off of.
Well wait a minute, then, biologically what are cucumbers, green beans, asparagus, etc.? They're not fruits.
Access your homelab securely via mTLS with a YubiKey and ACME device-attest-01
Hi! For this post I developed a smooth and secure mutual TLS workflow for authenticating to a homelab.

It combines:

- a TLS client certificate and hardware-bound private key stored on a YubiKey (using the YubiKey PIV application)

- ACME device attestation (using the new device-attest-01 ACME challenge type, added in 2022 and introduced in iOS 16)

- Recent improvements in browser support for client certificates and smart cards

The result: You can plug the YubiKey into a laptop or mobile device anywhere in the world, pop open a browser, and go directly to your homelab. Most browsers will pick up the client certificate from the YubiKey and you'll authenticate with one click.

I work at Smallstep and this project uses our open source step-ca Certificate Authority, plus a Caddy server as a reverse proxy for homelab apps.
You write:

> Take the first two sections as a perfect example. You decide you want to introduce a single-character control symbol `&` (which is questionable by itself), how do you apply it? In one case you decide that this control symbol indicates that a value is immutable and in another it's part of the declaration of a value as explicitly mutable. You've now introduced a semantic contradiction that a learner has to overcome.

Here you write:

> The author then explains `&var` and `&mut var` not in terms of their nature as references but in their aspects of mutability.

- The angry, tired dog was running

- The angry dog was running

Does the “angry” cause confusion when trying to understand what “tired” means?

`&` never has anything to do with mutability. Only `mut`.

There is no “semantic” contradiction. “Weltschmerz” is a word, and “Welt” and “smerz” are two other words; the fact that they can occur in a compound noun doesn’t mean that “Welt” and “schmerz” by themselves get contaminated by each other.

The fact that they chose to use `&mut` is… syntactic. The semantics would be the same if they used `& mut` or `reference mutable` or `reference which is mutable`.

I’ve sprinkled some ampersands around Rust code in my little time but never because I was confused about how it interacted with mutability.
> The process is free as in gandi won’t charge you to migrate but newer registar might

The new registrar will charge a fee and the expiration date of your domain will increase by one year. The transfer fee should be roughly the same as the registration and renewal fees. If anything looks fishy, compare with another registrar (starting with common registrar recommendations you see at HN)
What does doing business mean in terms of WhatsApp?
Very cool. I will take a look. This * was a (just) sketch I did years ago starting from a CSP base (Go). Explicit spaces (or "regions") and defined transition semantics (which compiler and runtime can enforce and guarantee). Single ownership spaces also make distributed GC so much simpler.

*https://github.com/alphazero/csp-cso-chipmunk-
>whatabout

Make a compelling and valid claim that the US damaged you or stole from you and you may be entitled to collect payment for damages.

US slave owners, Jewish holocaust survivors, and Japanese WWII internment camp victims were all paid reparations.

The story of the labor and opportunity stolen from the US black enslaved is clear and the reparations claim easy to validate, YMMV for the separate harder to prove whatabout claims you say exist.
Pretty odd exclusion list:

"Available worldwide where Apple Music is offered, excluding China, Japan, Korea, Russia, Taiwan, Turkey, Afghanistan and Pakistan."

Is it a rights issue?
> The problem with throwing everything in a database is you end up with brittle stored procedures all over the place, which are painful to debug. There is no good support for version control or testing...

Shell scripts with the SQL as Here-Docs, in stead of stored procedures. Ordinary text files, eminently gittable. Also lets you insert varying table/column names as environment variables, in stead of the regex rigmarole in TFA. (Or was that in another post on his blog? Just returned from reading several of them.) Best of both worlds.
It also increased from $2000 to $3600. But yes the change from monthly to annual is also a significantly positive change for poor families.
Chomsky is a fool and this article demonstrates it clearly.

First we don't really know how the mind works and therefore we really have no idea if the language models are path toward AGI or not.

He doesn't have an idea how a child obtains a language. You really need a lot of data to acquire the grammar, no, minuscule data is not enough.

I have observed it personally with my multilingual children, their mother tongue, to what they have the least exposure and what is the most complex, is not still not fluent for them and yes, they make obvious grammar mistakes that demonstrates that they have not fully internalized it.

His claims are simply false, easily refuted by empirical data.

I would call it fallacy of English. English is stupid simple language. Most languages are not.
Crikey. We (C++Builder) were looking at some Boost debugging issues a couple of years ago and realised some symbols were a couple of thousand characters long. I thought _that_ was bad!
It's incredibly easy to produce/extract electricity. Can even take it directly from the ground with some water on it: https://www.youtube.com/watch?v=r0zrDI_1q7o
It's false. The OP is probably confusing it for the option of encrypting the backup with a 64-digit key (which is ~212 bits)
Are "slide" and "slump" accurate terms to describe a ~50% drop in a single day?
The screen is the least interesting part of this for me and might actually be a negative. The mag lev switches, now that's cool.
I never made it to the Skeleton Coast, but being out on the sand dunes in the middle of nowhere in the Namib desert was one of the most surreal things I've ever experienced. It felt like I was on Mars, except for the incredibly deep blue sky.
Structured concurrency sounds amazing, but it will probably take some time till it is widely usable :(
Newfound Asteroid May Strike Earth in 2046, NASA Says
> I would need to open a PR to the repo and wait weeks, sometimes months, for a new release.

Just curious, is this a limitation of the Operators framework, or that of your system's implementation? My knee-jerk reaction is that any implementation should absolutely not require opening ticket. After all, Amazon's API mandate happened 20 years ago, and Netflix followed suit to achieve phenomenal productivity for their engineers. I have a hard time imagining why any engineer would think that gatekeeping configuration with PR is a good idea(a UI with proper automation and approval process that hides generated PR for specific use cases is a different matter)
The above case was with FB messenger which is (was?) not e2e encrypted and since Meta already had the data they were obliged to comply with a court-issued warrant.

With E2EE, they can legally skirt such demands since they can claim they don't have the data so that's a win for them as well.
frustrated is fair, I would say disheartened but yeah it's semantics.

I know mental health does not fix itself. I guess I'm looking for an environment conducive of supporting mental health. Not just supplementing it with therapy.
Quick correction: I’m not defending this behavior (if it happened to me I would quit the company on the spot).

“That would be spying on non-vegans…” Right, some of the signs are flipped, but the concept is still the same - an organization promoting a particular ethical standard is surveilling its members adherence to that standard.

“Weird and creepy…” Yes, certainly! But not against vegan rights, not discriminating against vegans, not “targeting vegans (specifically because they are vegan)”. I was responding to the claim that supporting gay rights is incompatible with tolerating this practice.
Thankfully , the Civil Code also contains definitions for contracts
So here we are dealing with an contract of adhesion (terms being imposed by CRA).

Here's an interesting case that may enlighten, however it was approached as a consumer contract because it was not onerous.
https://www.canlii.org/en/qc/qccs/doc/2011/2011qccs1506/2011...

How onerous is it to be forced to use CRA online services ? Are the taxes you pay considered onerous ? Are the CRA TOS considered an adhesion contract ?

This should really be tested by by the justice system rather than enthusiasts on a discussion forum. However, since we're all governed by such laws, it's never a loss to spend time on learning about them, especially physics.

1378. A contract is an agreement of wills by which one or several persons obligate themselves to one or several other persons to perform a prestation.
Contracts may be divided into contracts of adhesion and contracts by mutual agreement, synallagmatic and unilateral contracts, onerous and gratuitous contracts, commutative and aleatory contracts, and contracts of instantaneous performance or of successive performance; they may also be consumer contracts.

1379. A contract of adhesion is a contract in which the essential stipulations were imposed or drawn up by one of the parties, on his behalf or upon his instructions, and were not negotiable.
Any contract that is not a contract of adhesion is a contract by mutual agreement.

1384. A consumer contract is a contract whose field of application is delimited by legislation respecting consumer protection whereby one of the parties, being a natural person, the consumer, acquires, leases, borrows or obtains in any other manner, for personal, family or domestic purposes, property or services from the other party, who offers such property or services as part of an enterprise which he carries on.
D's borrow checker simply keys off of the existing syntax:

const a = 1; // a is immutable
auto b = 1; // b is mutable
const(int)* p; // pointer to const
int* q; // pointer to mutable

There's no new syntax, the borrow checker just adds a layer of checks.
I doubt that the nation would shit down. But this doesn’t mean we should let WhatsApp do what it pleases.