skysight-inc/HackerNews huggingface dataset:
The best defense against a trusting-trust-attack that I am aware of is Diverse Double-Compilation: https://dwheeler.com/trusting-trust/
It's a simple idea, but can be surprisingly tricky to get exactly the right.
Basically, you bootstrap from multiple disconnected and diverse systems and then do pairwise binary comparisons of the bootstrapped program on each of those systems. (This only matters after you've checked the source code itself for Trojans, though)
I think at this point police may not do anything. Even he changes the locks. In SF and LA and few other metro area, they tend to ignore anything that can be a “civil matter”
Thanks for sharing. Small question about Image 20, does that represent a use case for an instruction translator? For example you have an arm chip and you want to run x86 code so you offload the x86 instructions to the fpga?
A second issue is that ISBNs identify a specific SKU (different formats will have different ISBNs, different printings may even get different ISBNs, etc), but book-related projects typically want some way to identify "the same book" across all these different formats, printings, sometimes even editions and translations and collections. OCLC IDs are identifying a different space than ISBNs are.
I'd pay them $1 if they'd put a summary of what those rando names mean; I don't want to click 41 urls to know whether those projects are interesting or not

Even including <https://object-storage-ca-ymq-1.vexxhost.net/swift/v1/6e4619...> at the top would go a long way
Without infrastructure files means polluting your code with vendor specific lines. I'm not sure how much better that is.

I'm not so keen on a single language only SaaS either. How many companies only deploy code in a single language?
"Monads don't compose" just means you should choose a single monad for most of your functions; in Scala that is usually Future, Either, Try, IO or ZIO. There are conversion methods between the most common monads.

Scala monads are fantastic IMO; Either-based programming is simple and eliminates tons of boilerplate. So is Cats, although the learning curve is steep.
As Carl Sagan said: it's good to have an open mind, but not so open your brains fall out.
i know a lot of people feel this way but its still the most visited site worldwide
Thank you! Yes, I wondered about auto-hold but in the end decided that it was a bit more engaging and fun not to do that...
Slavery was highly contentious, at all levels, from day 0 of the United States. That's where Thomas Jefferson's "All men are created equal." line came from. In the original draft of the Declaration, he included a lengthy diatribe against slavery, but it was removed in the final draft - presumably under pressure from slave interests. That conflict, over such a meaningful issue, still took near to 100 years to collapse into the Civil War.

Back to modern times, I don't think it's hyperbolic to see secessionary momentum following the election next year, regardless of who wins, as an at least reasonably possible scenario. And if it does, then we're 9/10ths of the way there. And it's not even entirely clear what happened. It's just like things divided hard in an incredibly brief period of time.
I was kidnapped by my runaway electric car
Really? That’s your example? Everyone and their mother has a video conferencing solution and the idea has been around as something to aspire to since the 60s with the Jetsons .

Do you agree with the look and feel lawsuit that Apple had against MS? Or think that Roku, Amazon, Google , etc did something untoward because they came after Apple with set top boxes?
The rule means that a seller cannot pass the savings onto the consumer, by giving the consumer the fee that they would otherwise pay amazon.

Thats the issue.
You are right. Its under the full title: "Code: The Hidden Language of Computer Hardware and Software".
They thought they escaped all state power via globalization and now it's back, lo and behold there is always a bigger fish in the water..
you can't ensure that you hit every possible case in your test suite. type errors can still slip through in production, just like logic bugs do. it happens all the time in real-life code. that "adequately" is a no-true-scotsman.

if you use a static type system you can guarantee there will be no type errors at runtime. why on earth wouldn't you choose that? you can still write logic tests!

and when you leverage the type system to make illegal states unrepresentable, you can make certain classes of logic error impossible as well. some of your tests become tautologies and you can delete them.
Nobody's getting the phone upgrade after 24 months like the program was supposed to.

But that phone would've been paid for by your payments for months 25-48 so that seems fair.

It is suggestive of Google's usual approach to supporting their projects though. I'll believe seven years of updates when I see it.
> Malpractice insurance should be required for LEOs

Why this weird workaround? Just define where personal liability begins and ends, and maintain a national record of officers terminated for cause or under suspicion of misconduct. The police unions will just negotiate the insurance be paid by the city, anyway.
The economy isn't a person. Rising prices shuts many people out of accessing necessities.
GPT4 explains it pretty clearly, I think:

"Tenet" is a 2020 science fiction action-thriller film written and directed by Christopher Nolan. The story revolves around concepts of time manipulation and inversion,
making it a complex narrative that can be challenging to understand on first viewing.

Here's a basic summary:
The protagonist (referred to as "The Protagonist", played by John David Washington) is a secret agent who gets involved in a mission to prevent World War III. He is introduced to a concept called "inversion," where the entropy of people or objects can be reversed, making them move backwards in time.

His mission leads him to cross paths with a Russian oligarch named Andrei Sator (played by Kenneth Branagh), who is collecting pieces of an algorithm that can invert the entropy of the entire world, effectively reversing time and destroying the present in favor of the future.

The Protagonist also meets Kat (played by Elizabeth Debicki), Sator's estranged wife, who becomes a crucial part of the mission. The Protagonist and his partner Neil (played by Robert Pattinson) use inversion to their advantage in several action sequences, including a car chase and a final battle at Sator's secret city, where they successfully get the algorithm and prevent the destruction of the present.

The twist at the end of the film reveals that Neil was recruited by a future version of The Protagonist, and that they have been working together for much longer than the duration of the film's events. This means that the organization "Tenet", which they work for, was created by The Protagonist himself in the future. Neil's character is seen sacrificing himself to ensure the mission's success, highlighting the theme of fate and predestination in the movie.

"Tenet" is a complex film that uses its time manipulation concept to construct a narrative that loops in on itself, with events and characters revealing their true significance only as the story progresses or even after the film ends. Nolan's movie plays with the concepts of time, fate, and free will, requiring viewers to actively engage with and decipher its narrative structure.
One instance I recently saw in the eXo project was them trying to figure out who owned a magazine. First guy 'i sold it to second guy' second guy 'i sold it to thrid guy' third guy 'never owned it first one always owned it'. Basically one of those 3 own it but do not even care anymore about it other than 'not mine'. There are a lot of instances of 'lost ownership'.
I'll look into the audio. Might also be an idea to disable CRT effect... thanks for your feedback :-)
Thx. Seems im too old fashioned or sth.. Most projects are out of scope.
Some are interesting, and some are weird, like IPFS chat or Push to talk.

I think I will stick to my good old web for now :)
culture wars are flame bait. just flag and move on.
clutches pearls
> "Most people" don't already have it. Only a fairly specific handful of demographics.

This just shows how in-a-bubble people can be. I'm trying to think of a single person outside of my hardcore gamer friends that I know who would have Discord - drawing a blank.
You seem to be thinking that testing for type errors is something additional to general testing. It's not. With sufficiently strong logic testing, the testing for type errors comes along for free.

The analogy with driving doesn't make much sense. After all, accidents sometimes happen without the driver being to blame, and the marginal cost of putting on a seat belt is very low.
Oh, awesome. I just updated my fork of refined-hacker-news[0] to include the URL in the generated blurb at the bottom of the page for easier cut/paste.

Discussions on similar submissions:

Sam Bankman-Fried Has a Savior Complex–and Maybe You Should Too https://news.ycombinator.com/item?id=33672924 (November 19, 2022 — 108 points, 83 comments)

Sam Bankman-Fried Has a Savior Complex—And Maybe You Should Too https://news.ycombinator.com/item?id=33573636 (November 12, 2022 — 68 points, 32 comments)

Sam Bankman-Fried Has a Savior Complex–and Maybe You Should Too https://news.ycombinator.com/item?id=33554271 (November 10, 2022 — 14 points, 4 comments)

Sam Bankman-Fried Has a Savior Complex https://news.ycombinator.com/item?id=33549059 (November 10, 2022 — 119 points, 148 comments)

Sam Bankman-Fried Has a Savior Complex – and Maybe You Should Too (Sep 2022) https://news.ycombinator.com/item?id=33543718 (November 10, 2022 — 26 points, 3 comments)

FTX CEO SBF Wants to Fix Crypto–and Everything Else https://news.ycombinator.com/item?id=33537981 (November 9, 2022 — 2 points, 2 comments)

Sequoia: Sam Bankman-Fried Has a Savior Complex–and Maybe You Should Too https://news.ycombinator.com/item?id=33527047 (November 8, 2022 — 18 points, 7 comments)

[0] https://github.com/plibither8/refined-hacker-news/blob/main/...
Why does the server side need support for that? Is it the ping/pong feature mentioned in the OpenSSH announcement?
We don't, because of this case.
The same guy mentioned in that article was also charged by the US Gov for hacking Mt. Gox; https://thetechee.com/us-govt-charges-two-russians-for-mt-go....
Yes - this is the next feature I'm going to add.
Fusion Voting Could Lower the Temperature
I believe you can use the function calling feature to force the output to be schema-conforming JSON.
Show HN: I built a tool to help me focus at work
I have ADHD and I keep getting distracted at work and existing productivity tools don't help with focus and are way to overwhelming for me too use.

So I built a tool to solve this, we have over 2.5k users now and surprisingly our power users don't have ADHD. It seems like if it works for ADHD, it works for everyone else.

It's ADHD awareness month so I'm doing push ups for sign ups, for every sign up I get I will do a push up. If I get 200 today, I'll film myself doing 200.

The tool is completely free to use.
Your personal RSA/ECC SSH keys are there for the initial key exchange, after which a session key is created (cycled after x bytes / y seconds).

But if you're handling hundreds or thousands of operations per second (e.g., a web site), then the delays add up.
Right. I don't know what to call it, but I'm annoyed by the near pathological need for some people to respond to every piece of news with "same as it ever was".
Yeah, sure, I do in fact think it is virtuous to be aware that we don't always have complete information and that we should be willing to revise our opinions when new information is encountered. Is that controversial?
I start by building a Gantt for the top level. Sometimes, I'll just build a Work Breakdown Structure (WBS) (the first two columns, e.g. 1. Survey 2. Foundation 2.1 Excavation 2.2 Concrete Forms etc. and put the task duration in the third column.)

Then I start adding links to task predecessors. If that starts getting messy on the Gantt, I print out a PERT network, tape it together, hang it on the wall and start brainstorming with a felt tip. Enter any added links into the project.

At this point, run a Critical Path calculation (longest path through network from start to finish), which gives you the slack on the CP relative to your must finish date. Hopefully, there is some. If not, look for parallelism opportunities.

Once that's all planned out, some PMs check to see if they have enough human resources to accomplish the tasks, especially the ones running in parallel. Enter the resources, and the software will commit them as early as possible. If there aren't enough, it will push out the critical path.

Issue tracking is pretty orthogonal to project management, unless it identifies unplanned tasks out of the expected workflow. Issue tracking is usually much finer grained than project tasks.

For software, consider this: you want to do an initial system integration acceptance test with the customer next week. You just started the project. What needs to be done to pass that acceptance test? That's your first Gantt/PERT/CPM. You revise it for every integration test as the project develops, sometimes totally. In the old days, we'd call that a Spiral methodology. Top down, but keep re-visiting the top level on a scheduled basis at formal Project Reviews with the customer and negotiating any changes.

For a house, you are just starting. You want a certificate of occupancy in two months. Do you have drawings and a building permit? What needs to be done? Is it even possible? (Changes and delays will kill you, but it's always wise to move as quickly as possible!)
Thats not the only thing I caught, at least with Ebay.

During the pandemic, I decided to sell a bunch of a component I had stockpiled. (Im not a scalper. I got the parts when my dad died.).

I put them for sale with $100 minimum, auction. They ended up selling for $300. I was definitely happy.... until Ebay refused to send me my money, and instead demanded access to a bank account, after the sale was complete. Fuck that.

I found the user who bought it, traced to a business. Cool. I contacted him, explaining what happened. Turns out they did the same to him since he too was a seller. I told him that I'd honor the same price Ebay told me....

Ebay told me (seller) $300. Ebay told the buyer $350......!! Mind you, the fees are taken out of my $300, yet that $50 difference is Ebays scrape off the top.

Obviously, I sold it to them for $300, and provided screenshots of what I was being told, and they did the same. We arranged the sale over Paypal and worked like a charm.

And sure, Ebay's scamming as far as I can tell, everyone. But it's also reminded me to check on websites with a private mode browser and logged in, to see if there's funny games.
Although I do think google will probably follow through with their support claim, at least in some technical way. I also believe you're completely correct about this point. It's a small sample, but I've told around 8 people over the years about the support life of various nexus and pixel phones specifically (in casual conversations with job interviewers, coworkers, and strangers about our phones). Zero people have already known about it. The most common reaction is that I am just mistaken, they would never do that.
It is weird now. I think, really interest things from past, games like Space Quest.

Also may be interest, games from DnD Universe, and other old style survive, where player learn different reality, craft things, etc.

Learning the DOS commands is not much value now, because now is post-industrial time. It is not enough to make thing, now you need to make some marketing to sell it.
I think the server is getting the hug of death right now...
aces are 1
Is there a link for those that just want the extraction results of your project?

Would love to see aggregations of stuff like this from hacker news.
Yep. It's been the standard format for manually building SERP ads for a couple of years now.

There are also Dynamic Search Ads which automate even more of the process of setting up a campaign based on your current website: https://support.google.com/google-ads/answer/2471185?hl=en
Huge? The limit is 32MiB. That isn’t large by any measure.
The vehicle starting to randomly roll backwards is quite bad as it might take a while to notice for the driver. Having a roll back protection that can fail like that is probably worse than none at all. It is quite often pedestrians walk between cars in stand still traffic.

The driver might also leave the car while on hill hold, which might end badly if the parking brake can't be engaged by the computer.

In my experience, features like these need to be very well thought out and seamless, otherwise they confuse and you got no idea what and why stuff happens.

I mean, just having a clutch pedal makes the driver intention way more explicit. I don't think the "press the gas thinking it is the brake flipping the car on a wedge in a garage" accidents happen with manual cars at all, since a panicking driver would depress the accelerator and clutch.
By making application process very tedious, large security deposits and unwillingness of some landlords to put extra space for rent, which would work for many.
This seems to be a common practice in Go and I've seen it cause requests to be rejected because one unimportant field is wrong. Were we to do this for truly important requests, like lead traffic from third parties, we would lose a lot of business.
server is getting hug of death :-(
It makes about as much sense as placing wheat field or hog farm there.
“A simple LCD screen that let you call other people with the device and talk to them” sounds like a commoditized product to me.
> In particular, the Public Service Loan Forgiveness (PSLF) program grants loan forgiveness to individuals working within low-paying public careers, including teachers, first responders, government employees and nonprofit or community workers. Currently the program only grants forgiveness after an individual makes 10 consecutive years of repayments while working in public service; I argue the timeframe should be reduced to seven or even five years of public service. The policy change can be enacted quickly and would satisfy even the fiercest critics who insist that any loan forgiveness must be reciprocated in some manner. Above all, doing so will incentivize more Americans to pursue public service as a career, which simultaneously benefits society as a whole.

> "This reduction in the PSLF timeframe should also be extended to those in vocational or trade schools. Individuals wishing to acquire skills as mechanics, truck drivers or construction workers should also have access to affordable training and, more critically, be able to contribute to the national security of the United States in the form of public service.

> [...] Reducing the timeframe of the Public Service Loan Forgiveness program and extending the program to those in vocation schools will therefore help advance the national security of the United States.

Public Service Loan Forgiveness:
https://en.wikipedia.org/wiki/Public_Service_Loan_Forgivenes...
> I'd love a return to the old snap-fit plastic cases.

Fairphone is worth a look for this: https://shop.fairphone.com/fairphone-5
If there's anything a chatbot is going to excel at, it's making Figmas, which in my experience and in the experience of everyone I know, is "lists."
As a sample because I can't answer your question more broadly: Peter Higgs proposed the Higgs boson nearly 50 years before winning the Nobel Prize. Just the theory without confirmation wasn't enough. Then when the LHC detected it, he (along with an LHC scientist) won the Prize basically immediately.

Quantum dots have an increasing relevance to display technology, so it feels reasonable to look back and reward a discovery which was more important than it seemed at the time.
> Just because the CIA lies 95% of the time does not mean that other people cannot lie and fake documents.

What material difference does this make? You're just muddying the waters. I presented a case for what kind of default stance is reasonable to take based on the available evidence. Not that one should believe everything anyone says about the CIA.

Say that the CIA provably (documented) killed 20 particular innocent people (hypothetically). Then there are five people who each claim that the CIA killed whoever (their cousin, their wife) innocent people based on no evidence. The takeaway from that is that the CIA has killed innocent people (and by extension: can do it again), not that you should believe your uncle when he says that the CIA killed his dog.
TikTok ends retail business in Indonesia after ban on social media shopping
I was offering the comparison because those two pens should be priced within a few cents of eachother (the difference is the tip width and ironically "extra fine" is more expensive). If the products were the same then there would only be one product page and the $9.99 offer would be the highlighted deal.

The fact that one product has the buy box at $9.99 and 1-day shipping and the other product does not have the buy box at $14.28 and 8-day shipping lets us infer that $14.28 is not a competitive price for these pens and there may be a cheaper price elsewhere (likely closer to $9.99).
aces are low - will look into the audio - thanks :-)
no. c++ allows you to convert a value of one type into a value of another type (in a very limited number of cases) but you cannot change the type of an object.
Sure, why not? Except for some religous allegiance to "free market" (as it hasn't produced disasters aplenty itself) or some knee jerk rection to the notion of a committee?
Do you have a suggested alternative?
Nice, very fun! Did freeze after playing a few hands. These are the logs:

Failed to load resource: net::ERR_HTTP2_PROTOCOL_ERROR /classicvideopoker/vpg2.php?hold=00101&session_id=8941b3fb202e51e9b20a3f4a40d9013a:1 Failed to load resource: net::ERR_HTTP2_PROTOCOL_ERROR

TypeError: Failed to fetch
at Object.create (index.js:9:273127)
at _godot_js_fetch_create (index.js:9:274152)
at HTTPClient::make_request(HTTPClient::Method, String const&, Vector<String> const&, unsigned char const*, int) (06371b4a:0x1c75df)
at HTTPClient::request_raw(HTTPClient::Method, String const&, Vector<String> const&, PoolVector<unsigned char> const&) (06371b4a:0x452bef)
at HTTPRequest::_update_connection() (06371b4a:0x45177c)
at HTTPRequest::_notification(int) (06371b4a:0x452689)
at HTTPRequest::_notificationv(int, bool) (06371b4a:0xe8b414)
at Object::notification(int, bool) (06371b4a:0x4d563)
at SceneTree::_notify_group_pause(StringName const&, int) (06371b4a:0x1b1818)
at SceneTree::idle(float) (06371b4a:0xacf3f1)

SCRIPT ERROR: Invalid get index '13' (on base: 'PoolStringArray').
onPrintError @ index.js:369
index.js:369 at: _http_request2_completed (res://scripts/game.gdc:281) - Invalid get index '13' (on base: 'PoolStringArray').
Note: not because I don't believe it; I just want to see the evidence.
Show HN: An app store just for Web Apps
Level 5 isn’t right around the corner, but “navigating an entire GPS route on city streets for 30 minutes with fewer than 5 disengagements/interventions” is present day consumer technology.

As we speak right now there are robo-cabs driving themselves on the streets of San Francisco. Of course, they’re not perfect.

Maybe self-driving is further away than we initially thought and certainly further away than Elmo promised, but anyone who who runs a car company and thinks that humans will drive themselves in 10-20 years is being willfully ignorant.
I like type systems as much as anyone but I can't see how your type system will check that sin(pi) == 0

if you have a type system expressive enough to do things like that, you've basically got another turing-complete layer on top of your existing language, which is itself ... dynamically typed.