skysight-inc/HackerNews huggingface dataset:
According to Deno it does work.

type USD = number & { currency?: "USD" }
type CAD = number & { currency?: "CAD" }
const fiveUsd : USD = 5;
const fiveCad : CAD = fiveUsd;

console.log("How many CAD? " + fiveCad);

Results in an error,

Type '"USD"' is not assignable to type '"CAD"'.

If by "doesn't work" you mean that the implicit number->USD conversion is allowed, then I disagree with the judgement, as that is by design. But once the values are in variables of more specific types, the type-checker will catch it.
Are the mobile apps for mumble any good? I primarily use discord because it works well across all my devices (pc, smartphone, chromebook via web client).

I think OP should maybe advocate for Signal instead, which does have a reportedly good mobile client.
The trouble with the street sensors is that your car has to come to a stop before it is detected. Stopping and starting cars consumes a great deal of gasoline.

Contrast it with the flow achieved when there's a traffic cop managing an intersection. It's an enormous improvement.
Left-handedness is a disability? What?
I’ve not really spent much time with Datomic in anger because it’s super weird, but is any of this surprising? Datomic transactions are basically just batches and I always thought it was single threaded so obviously it doesn’t have a lot of race conditions. It’s slow and safe by design.
> As we allege, the defendants’ scheme calls the very integrity of the blockchain into question.

While I don't condone stealing magic numbers from people this seem like the real story here.
MIT students stole $25M in seconds by exploiting ETH blockchain bug, DOJ says
>a definition of the term

Who's definition. Mine, yours, your uncle Bobs? There is no legally defined version of the term, and the term is not trademarked/registered so at this point it is a free for all. Feel free to engage in some court cases to lock the term down at your expense.
That's not too bad. Keyword: decisions, not advice/topics/recommendations/etc. So don't execute transactions, or hiring decisions, tenant application rejection, etc. I prefer no restrictions, but the reality is less melodramatic than hellbent HN contrarians would make you believe. I think it'll be okay.
Early detection is crucial in improving outcomes for cancer patients, as it allows for timely treatment and intervention when the disease is most treatable. And these kinds of research are promising
If saving is a better investment than stocks or business, isn't that a healthy way to counter speculation, risk, malinvestment, and scammy exuberance cycles? Seems like a direct answer to the whole-market financialization that people complain inflation incentivizes.
No reason to ignore it, but it's pretty easy to argue against. I realise in some places you'd not be talking directly to the person it came from, but if the person you _are_ able to talk to says "That all may be true, but just do it", it's time for a new job.
Everyone needs to do the "job" of "breathing", yes.

Everyone does not need to do the job of "sheltering mentally unstable people", no.
Quoting the article posted in another comment (https://www.renehersecycles.com/12-myths-in-cycling-1-wider-...)

> The German magazine TOUR built a sophisticated setup with a motorized dummy rider and found that a 28 mm-wide tire had the same wind resistance as a 25 mm tire when the wind was coming from straight ahead. With a crosswind, the wider tire was very slightly less aerodynamic. Even then, the wider tires required only 5 watt more – on real roads, the reduced suspension losses make up for that.

> To summarize all this research: Narrow tires (<25 mm) are slow. Above 25 mm, the width of your tires are won't change your speed on smooth pavement (at least up to 54 mm wide tires). On rough surfaces, wider tires are faster. That doesn't mean you can just slap any wide tires on your bike and expect it to go fast.
Game engine black book: doom

https://fabiensanglard.net/gebbdoom/
The point is we’re subsidizing his economic activities by 10’s of billions of dollars.

Some things you might agree with but money is fungible. I’d rather pay for someone’s healthcare than subsidize his multi million dollar yacht etc.

PS: If you really believe in what the gates foundation is doing you can give them more money to work with here ( https://www.gatesphilanthropypartners.org/) but you can’t give them less.
Show HN: Logichat – conversation AI chat on your website (Beta)
I worked on this for two years and mostly used it for my personal purpose. Now, it's Beta open for everyone to try it out.
Cable TV providers ruined cable–now they're coming for streaming
It uses the OpenAI text-to-speech API, and Vosk Speech Recognition Toolkit.
> What’s the common denominator [...]? That the presumed user or owner of the product is the protagonist! [...] the narcissistic, us-against-the-collapsing-world mentality

Another media tie-in here might be Atlas Shrugged. It too is a narrative to elevate an inventor--or more often investor--into an ubermensch hero role, one capable of projecting power against a dilemma that is mostly comprised of other people who failed to give the protagonist the respect/worship they were due.

I don't think it's a cynical strategy to sell products per se, but it comes about because the person with influence over the marketing is able to pick and promote a flattering story or framing.

____________

Also, as referenced in the article, the classic:

> Sci-Fi Author: "In my book I invented the Torment Nexus as a cautionary tale."

> Tech Company: "At long last, we have created the Torment Nexus from the classic sci-fi novel Don't Create The Torment Nexus."
For air ambulances within metropolitan regions, this sort of solution would be an expensive and inefficient use of current technology capabilities. A patient pod with 8-10 gimbaled, ducted fans roughly 80 cm across could be faster to respond, faster to load, and faster to transport from scene to hospital.
That's nice but it seems you're in search of a nominal type system within a structurally typed language. I'd posit that it's usually much better to step and try to approach the problem from the way the language lends itself to be solved rather than trying to hack it to fit your expectations
Why OpenAI is entering the search business
How it does this is really cool. It’s got a VAE decoder. Reminds me a lot of how SAM works.
People pushing these views (views I am highly sympathetic to, to be sure) often don't understand how to communicate them properly to people who don't already agree with them. People are already resistant to changing their minds through cordial and well-reasoned discussion, let alone through polemics.

If you're a discord user, there's a high, high chance that you don't give a hoot about privacy or anything like that. Convincing people to deal with inconveniences for the sake of something that doesn't yield a short-term reward is difficult, even with things normally acknowledged to be important, like health or finances---with privacy, it's going to be at least an order of magnitude more difficult to persuade someone not just in the abstract but enough to actually get them to make changes.

I think you have to be, so to speak, the midwife who helps the other give birth to their own ideas---plant the seeds in their mind and allow them to come to the conclusions themselves. The temptation to shock people out of their dogmatic slumbers is strong, but it's just generally not going to work. I've been the person jumping up and down while screaming about how the 1984 dystopia is coming. It's never convinced anyone who didn't already agree with me.

...things would be different if there was an fully functioning free software, privacy-respecting drop-in replacement to discord; you could just say "instead of discord, why not use X?" with no polemics about privacy needed. That is, I think, the most effective way to actually get people to jump ship. As far as I can tell, none of mumble, xmpp, or matrix are as easy to use and convenient as discord. (As much as I love xmpp.) Maybe Zulip?
See also Eclipse BIRT ... https://en.wikipedia.org/wiki/BIRT_Project . It seems to have languished for a while but it's active once again based on updates to this Stack Overflow posting: https://stackoverflow.com/questions/53362448/development-sta....
Some people reported it here that their phones were stolen, and then were contacted by the thiefs to reveal the PIN. To prove they were serious, thiefs attached addresses and names of the victim relatives.

I know this wouldn't happen in USA or any serious country (because these people were prosecuted), but in 3rd world countries (where phone theft is super common) this will still be a problem.
> From my experience doing IT in industrial manufacturing, there is a ton of room for them to replace expensive PLCs where they aren't really needed

Just for fun try to find a way to get a Pi mounted up to a DIN rail with an enclosure that can resist industrial vibration and has good particulate penetration/filtering and ruggedized connectors. Good luck finding accessories that aren't 3D printed with materials that will break down when coated in machine oil or in direct sunlight.

Now try to figure out how to get whatever monster you built installed in an ISO 9001 or AS 9100 shop.
TypeScript is a structurally typed language on purpose. But even then nominal features already exist that would have solved this problem much more elegantly. Such as `unique symbol`

https://www.typescriptlang.org/docs/handbook/symbols.html#un...
Nintendo hasn't been taking down any projects that can't work without a ROM input. They'll change that eventually, but for now they are not. You can't share a modified ROM but you can share binary patches.
Since the hype is now solidly in the past even the few remaining true believers will begin to realize that "the law" must ultimately be backed by the capability to batter down doors and arrest people.

I wouldn't be surprised if the two defendants deluded themselves into believing that laws are not written in such a way as to allow the prosecution of old crimes in new clothes.
Question: why is, saying having 100 different lenses simultaneously take images, rather than just a single one taking 100 sequential images, and then using something like registax to combine them?
I have a similar experience with my grandmother. Only she had stomach cancer. Such research warms my heart
An entire generation of young people in the West is being force fed climate doomerism from primary school through university.

They are telling these kids that the world will literally end if we don’t stop emitting carbon in a few years.

Maybe the motives behind this are genuine but it’s pure indoctrination and dishonest.
There are free and open source apps for Android that automatically lock the device when the accelerometer detects rapid acceleration, which is a simple detection method. For example, Private Lock is on F-Droid:

- Private Lock (source): https://github.com/wesaphzt/privatelock

- Private Lock (F-Droid): https://f-droid.org/en/packages/com.wesaphzt.privatelock/
I'm not being snotty. Terraform is not the best choice for every organization.

Rather, Terraform does not add value within every organizational structure. Not adding value is failing. Having a negative ROI is failing.

None of these infrastructure tools are perfect, and the ways in which they are imperfect mean that some are better or worse matches for an organization's needs.

Therefore your initial statement is oversimplified, presumptuous, and ultimately nonsensical. A logical reframing is "if your organization does not match Terraform's strengths, then your org is the problem", and that is clearly not true.
Supposedly plenty have already, although I don't think anyone's studied it clinically https://knowyourmeme.com/news/replika-ai-shuts-down-erotic-r...
Great questions. Anecdotally it feels like there’s been an increase in online references, though maybe not comparable to other frameworks. It’s still more than it was.

As for finding developers we haven’t had too many problems. There’s been a good amount of great, startup minded engineers who did angular at big enterprises and want something smaller. Less than react devs by a lot, but overall the quality on average was higher.
My Apple phone won’t let me do some sensitive things if I am in an unusual location. It’s a default setting.
There are already internet connected cameras on lots of intersections.
https://opensource.org/trademark-guidelines#Open_Source_Init...

Here's the FAQ.
It is "erased" in this example in the sense that the hashes are just strings at runtime, and not other objects instead. That's because the `generateHash` function in the article's example uses `as Hash` to tell the compiler "yes, I know I'm only returning a string here, but trust me, this is actually a `string & { [__brand]: 'Hash' }`".

That `as Hash` is known as a type assertion in Typescript and is normally used when the developer knows something info about the code that Typescript can't.
Awesome, I just played 5 games in a row. Here's the results:

https://chat.openai.com/share/69bfdcfb-bf20-4564-95b6-ce03e9...

* Inconsistent coordinate system
* Obviously bad moves
* Ignores win condition entirely

https://chatgpt.com/share/1bcd02c9-40be-435c-b4aa-8e3a680f6e...

* Can't tell its top-rights from its bottom-middles
* Obviously bad moves
* This was by far the closest it got to actually playing the game; the win condition worked and it broke no rules

https://chat.openai.com/share/f94db29c-ffa1-4055-9348-4260f9...

* Completely wrong coordinate
* Ignores rules about overriding squares
* Completely wrong coordinate again, this time skipping my turn
* Doesn't understand win condition
* Overrides my own piece and then uses that to win

https://chat.openai.com/share/78e2060d-c5d7-4ddc-a9ce-32159b...

* Ignores rules about overriding squares
* Skips my turn on an invalid coordinate, but afterwards says its invalid
* Obviously bad moves

https://chat.openai.com/share/73fa2e2c-8a6f-487a-a9ea-9f29b7...

* Accepts 0,0 as a valid coordinate
* Allows overrides
* Ignores win condition
* Incorrectly identifies a win

This seems about the same as it was before the prompt engineering. It clearly doesn't actually understand the rules.
If you’re right handed, then yeah, playing with your left simulates a handicap. They designed a lot of their games around such handicaps.
If it's an actual full tilt global thermonuclear war with everyone using all of their arsenal, I'm not really sure I would want to live in that post-apocalyptic world. Now if it's just a couple of bombs in major metro areas, that's a different situation.
> In fact I think it’s symbolic of the direction Apple took since the passing of Steve Jobs.

…aaaaaand I've tuned-out.
>Here's a mirror,

Ah!

So there's a large mirror involved?

(sorry)
For example, Zelda (both of them) load segments of code from the cartridge at runtime. The recompiler needs to know which areas contain code, and the original relocation-applying code for MIPS instructions obviously won't work on x64 instructions either, so it needs to know how the relocations work.
> This system works, you get your parcels conveniently delivered close by and just walk there to pick it up.

If the parcel is lightweight, it does not rain or snow, and those who get parcels are not too much because shops have a bit of room for parcels but not too much. Now imaging getting a washing machine or a fridge with this system. This system is a workaround working enough today since on-line retail is popular but not the most common solution to buy anything. In a not so far future though it will be common to buy foods, ANYTHING via web so, this system will not work anymore. Of course stores will probably disappear so there might be room for something else but anything get more and more complex, and still there is no viable solution for the green new deal.

Already today I get Amazon delivered quickly here in the means than in a few dense cities "around here" (well, quoted because there are not much big cities around but in the dense costline in costal cities delivery is a bit slow than here, even if most parcels came from the coast).
I would argue the opposite: a good therapist isn't just offering back-and-forth conversation, they're bringing knowledge, experience and insight into the client after interacting with them. A good therapist understands when one approach isn't working and can shift to a different one; they're also self-reflective and very aware of how they're influencing the situation, and try to apply that intelligently. This all requires reflective and improvisational reasoning that LLMs famously can't do.

Put another way, a good therapist is professionally trained and consciously monitoring whether or not they're misleading you. An LLM has no executive function acting as a check on its input/output cycle.
> resetting deletes my phone number too

There's an option during reset to keep the eSIM, https://allthings.how/how-to-factory-reset-iphone-without-er...
With white on light gray. /s
> As a contractor, you have B2B contracts which means you have to pay taxes over your revenue. In general this amounts to a tax rate in a range of 20%-30%.

No shit Sherlock. You have to pay the taxes as a regular employee too. Go figure.

As a matter of fact, 130k with B2B contract actually earns you more net profit then the 130k of a regular employee contract.

> I repeat: in Europe, FANG salaries only start to come close to these values if you are principal/staff engineer.

Again, you're talking nonsense. Go check levels.fyi if you don't believe me.

From my personal experience be let assured that earning 130k in Europe is very much possible, and without being a staff/principal engineer, and without working for the FAANG. You need to be decently experienced and know how to make your shit done.
I run a Mastodon server in a VPC. It's a Rails all and sucks up all the CPU and RAM you can throw at it. A while back when I was almost at my VPC's limits and didn't want to throw a bunch of money at it, I spun up Sidekiq worker VMs on my RPi. That freed up a lot of resources I could repurpose for frontend caching.
YouTube agrees to remove videos of banned Hong Kong protest song
Hence why you should not have banking/brokerage apps on your phone (or their passwords in your iOS keychain), except maybe a checking account with a couple thousand dollars in it.
when i switched from lineage to /e/OS i found the latter much more user friendly. important tools such as maps worked out of the box while at the time (some 5 years ago) lineage needed a lot more manual effort to be usable, so i didn't consider that it would be suitable for non-technical users.
They are an opposing warfighter in the Russia led global destabilization efforts.
I don't think that's any more annoying than "ketchup" or "barbecue" sauce not being trademarked. I hear the sauce made by their original pepper suppliers is pretty good though.
My favorite thing along these lines is a question from my undergrad special relativity textbook:

A pole vaulter carrying a 40m pole is running at a speed such that to an observer, he appears contracted by ½. He runs through a barn of length 20m and the doors at each end of the barn are closed simultaneously.

But to the pole vaulter, the barn appears contracted by ½ and thus appears to be 10m long to him. What does he see when the doors are closed?
Yep. Much to the chagrin of the opportunist free-world, we've been heading down this path for years. It's hard to say China isn't the aggressor here though; their treatment of American intellectual property has justified tariffs for decades at this point. So where do we draw the line, why shouldn't we get political with it? The apologists seem to say that a free nation can't counter authoritarian action, but when a trade bill targeting China gets popular appeal they say it's an unfair double-standard. The only thing they support is keeping things the same, which is how China best reaps our rewards.

Yes, you're going to feel this in your 401k and your iPhones and Xboxes will get more expensive. Chinese manufacturing is the albatross yoked around America's neck; the sooner we address the problem the sooner we can recover from our mistake.
They designed and built their own microcontroller. This chasing performance narrative doesn't make sense.

And let's be real, it doesn't have 25W power consumption. You can attach enough things to it to get to 25W if you try really hard but that's hardly the same thing. The latest cheapo Intel parts are contenders (at ~10W, where the pi 5 actually operates) and if you just want perf you're better off with that. But if you want a low-level connectivity, a rich community, docs, and tailor-made projects, you still want a pi.
Palo Alto Networks is buying security assets from IBM
To build on this, Datomic includes a pre-commit conflict check that would prevent this particular example from committing at all: it detects that there are two incompatible assertions for the same entity/attribute pair, and rejects the transaction. We think this conflict check likely prevents many users from actually hitting this issue in production.

The issue we discuss in the report only occurs when the transaction expands to non-conflicting datoms--for instance:

[Stu favorite-number 41]

[Stu hates-all-numbers-and-has-no-favorite true]

These entity/attribute pairs are disjoint, so the conflict checker allows the transaction to commit, producing a record which is in a logically inconsistent state!

On the documentation front--Datomic users could be forgiven for thinking of the elements of transactions as "operations", since Datomic's docs called them both "operations" and "statements". ;-)
a corporation being held criminally liable holds about as much as a wet paper bag. It is an accounting issue; the cost of doing business. Absolute worst case scenario for the business: it folds. "Oh well, killed people; guess we need to make a new company." There is a lack of _personal_ accountability.

Hold executives criminally liable. Fine companies, sure, but if people die from gross negligence or due to processes endorsed by leadership, that should end with prison time as a warning to others. Don't let them say they didn't know and that the decisions were spread out over people and time. The buck stops with leadership -- that is, ostensibly, why they make the big bucks. If they couldn't know due to spread out decision making then they set up and perpetuated the wrong system.
i.e., Why We Need Utility-Scale Solid-State Molecular Sensing, Reason #53,444,001
What were the visible indicators that the phone had entered lockdown mode? It usually requires user consent, followed by reboot.

iOS Lockdown Mode does not usually constrain the method of unlocking the phone.
Of course, just by virtue of context in this discussion, the answer is kind of given away.
I’ve never heard of that. Is it outside the US?
This film is definitely a trigger for me, so I'll concede that I'm over-reacting. However, I do not believe the ending was easy to follow, not just because I didn't understand it, but because I've never heard anybody who's only seen the film say they understood it either.
Privacy Badger

https://privacybadger.org/