skysight-inc/HackerNews huggingface dataset:
perhaps I'm missing the intent, but would it be feasible to have formal verification specifications like with TLA+ act as a blueprint for generating machine code?

It would be fairly cool to be able to design a system using tools like this and have a way to translate it without the possibility of introducing errors during translation to code.

Perhaps what I'm thinking is more automatic generation of test cases? But I'm not quite sure what my brain is trying to watch onto here.
Running a $200k side hustle with Stripe Checkout
Sharecroppers all.
from dall-e: https://i.imgur.com/RHiOjuM.png

I would argue that none of these follow the prompt. they all represent a goodfather frame in simpson stile, which is not about placing homer in a godfather still.
because said companies have kicked the ladder behind them

I mean people invented cryptocurrency for this reason. Then the bans started
My favorite example of an issue like this (the Scunthorpe problem) is from the mobile game Kingdom Hearts Unchained X. In it, players used Medals based around Disney characters, including experiment 626. However, for a long time after the game's release, players were unable to say that name in chat, because it got rendered as s***ch
But a very expensive one for what it does. You pay for the monopoly, not the tech.

Using alternative breaks the monopoly.
One thing I hate is when things like input switching are part of the TV OS. It can turn something that should be fast and easy into something slow and glitchy.
He is talking about Deep learning at FB
Unfortunately those numbers only increased my confusion. The breakdown of that 67% as baffling to me
Has docusign become what google has to search? Like I say to my insurance agent, “do I need to docusign something”?
It's beyond conception I guess that some trials are actually made for television events.
I have been involved with companies with government security clearances and organizations simply worried about intellectual property theft. As a rule, the most serious of those organizations do not allow subcontractors free rein of the building, which janitors need.

(Edit: Yes, I am aware of some high profile failures.)
It's basically the same, just without you having to do any of the work to set up or maintain the remote machines.

When you start a container build with Depot, it will launch an Intel or an Arm VM running BuildKit (or both for a multi-platform image). It creates persistent SSD cache volumes for each project and attaches those to the build machines at launch. And it automates connecting your CLI to those machines over TLS. Then when the build is done, it shuts down those machines to save cost.

Depot does all that either in our cloud account, or you also have the option of connecting your own AWS account and Depot will act just as the orchestration layer.

So basically you get the remote build machines, but without needing to set them up, manage costs, configure access control, etc. But at its core, it's running the open-source version of BuildKit (the Depot CLI embeds the same Go library as `docker buildx build`).
What It Means To Be Anti-Science:“world could well live without the Higgs boson”
Ah, sorry. I assumed you were talking about Esperanto. Oops, I will re-read before replying from now on, etc.
I used TVFool in the past to setup my current antenna. This post and comment thread led me down the rabbit hole again though as one of my VHF stations has always been a bit flakey and when the wind blows UHF is an issue.

I learned about the difference between UHF and VHF and how vegetation is likely making my UHF channels bumpy when the wind howls. The VHF is likely just an aiming issue.

Anyway, one thing I’ve always looked for is a reliable way to see how changes in alignment affect the signal in real-time. I discovered Signal GH an app that will connect to your HDHomerun device and provide signal statistics.

Just thought this might be useful for anyone attempting to fine tune their setup.
Even though I'm inclined to believe people have deeper issues that would prevent them from thriving anywhere, I find Yglesias persuasive on this one [0]. Drug abuse and mental illness prevalence don't predict homelessness rates... rents do. Obviously you want to lower the rents in the places with housing crises, but those crises exist for deep and persistent reasons. Meanwhile, if in fact some currently homeless people are capable of thriving under conditions of lower rent, getting them into those conditions where they actually exist today could be cheap and cost-effective. A corporate relocation package is like $5,000, and a permanent BMR unit is like $500,000-$1m. It's orders of magnitude. I would love to see someone do the RCT. Even if the success rate is low, let's help the people we can help. Hell, I'll pay for a few out of pocket.

But I doubt it would get past an ethics committee, and if it did there would be a huge scandal. We're pretty deeply committed that the huddled masses of the world must be housed within SF. Even as we're equally deeply committed that they not exist at any particular site within SF, and won't contemplate anywhere near the unit counts (from a budget perspective or a permitting perspective) that would be required.

[0] https://www.slowboring.com/p/homelessness-housing
React Flow 11 – better a11y, better edges, new hooks and more
Never really thought of that particular keyword soup when I was first learning it. It wasn’t an issue. Grokking Java-style OO was much harder. I probably still don’t grok it.
Ask HN: Are YC interviews going to be in person this year? Will they ever again?
Also when do they usually start inviting companies. Last time I got invited only a day or so before the last day to hear from them.
i see putin has his troll army everywhere!!!!

(yes, im kidding)
I think the author's fundamental misunderstanding is that most people, even people like himself who "take learning seriously" don't read popular non-fiction to learn. Most people read for entertainment. So you shouldn't be evaluating how much one learned from Guns, Germs, and Steel, rather, you should compare how much you got from Guns, Germs, and Steel compared to a TV show like Breaking Bad. So, to answer the author's question: what should be done about it? Nothing.

The reasons why textbooks work is because you don't just read a textbook. You go over the same information repetitively via exercises. And it's natural that a course is even more effective than a textbook. You can never ask a textbook a question for clarification like you can an instructor. That doesn't mean the textbook is bad, it just means that that a textbook + an instructor is better.
I'm sure that's not their intent. What's notable though is how much innovation they are actually showing, that's rare imho.
The difference being that climate change activists have mountains of data, decades' worth, backing their cause, while OpenAI and friends have a sci fi story they made up, based on nothing. The whole "AI alignment" movement is the worst example of arrogance in modern tech. Even the nomenclature screams condescension - the imaginary AGI needs "aligned values?" Aligned with whose values? Invariably it ends up being the creators', at the expense of squashing everyone else's. The DALL-E "acceptable use" rules are a dystopian nightmare and they are born of incredibly pompous self-righteousness.
Time for electrical tape or desoldering an LED…
No need to phone verify for Discord. SERVERS can turn it on as a requirement. to prevent spam probably.
Think about how complex it is to develop AI that can understand and participate in a human conversation at only a basic level.

Now increase that complexity by orders of magnitude, since we're talking about the conversational skillset that a successful salesperson would have.

Everything is possible over a long enough timeline, but when AI is advanced enough to function as a successful salesperson, there will be a large number of other jobs that AI will also be "replacing".

In other words, the timeline for what you're predicting is much longer than you think it is.
So you received stock options in a startup – now what?
Tesla adds Airbnb co-founder to its board
OTOH: Thousands of immigrants on H1 visa have a track record of living, working and paying taxes in the United States, but will never get to vote or change a job or even leave the country. There is no guarantee that we will always get what we want.

We have a system where every individual has the freedom to live within the law of the land and using their own resources.

When living in San Francisco becomes untenable and yet the choice is made, the individual should accept responsibility for their decision.
Artists, creatives and directors who benefit most from this do.

For anyone else stability offer a paid web version.
CCbill cannot circumvent VISA. So now the websites that use them need to keep the goverment ID/passport of every person that posts a dick pic.
I hope this puts remarkable in their place after gibbing their loyal early adopters with a subscription model. I am aware they’ve reverted it but at this point I have no sympathy for them.
These kinds of security-by-obscurity guidelines are well-known and oft-touted, but only debatably useful when dealing with a codebase as closely monitored and security-sensitive as V8. Many professionals instead recommend full disclosure as early and as immediately as possible, including publishing CVEs and vulnerability warnings so that affected users can take appropriate steps as soon as a patch is available or deploy mitigations (for example, in very severe cases, disabling the V8 JIT, which is a well-known RCE mitigation).

Also, in this case, both bugs would need to be combined with a zero-day Chrome sandbox escape vulnerability to achieve exploitability.

If anything, I'm more worried that the fixes weren't backported more urgently and that CVEs do not seem to have been assigned. But this seems to have been a success for defense in depth, at least.
It's all networking issues as you're remotely access them remotely, so of course it's increased error rates or increased latency. When a piece of gear stops responding the network tries to self-heal as designed which causes those issues.
Is it also beyond conception that it isn't?
The law is very open-ended, it includes anything that would "otherwise discriminate against expression," and I could certainly see a judge concluding that tagging a post as 'objectionable' (which is done by the platform, not the advertiser) counts as such discrimination.
I don’t agree with that. I think the puritans were onto something and I want a partial return to those ideals.
this is what happens when you let MBAs run amok
AWS lambda is super cheap at tiny scale. But if you get into any real constant load, it is way more expensive than a VM.

The other drawback of lambda is the flip side of having the server opaquely managed by AWS. It is so opaque you can't debug anything. At one startup we had a weird connectivity issue from lambda to RDS but it was impossible to diagnose given the lack of access so it went on for months.

Had it been running in a VM, I could've diagnosed that within an hour with tcpdump and bpf et.al.
Scunthorpe prob [1]. Apparently they couldn't just unleash a model to fix this [2]

[1] https://en.wikipedia.org/wiki/Scunthorpe_problem

[2] https://www.techdirt.com/2018/08/31/scunthorpe-problem-why-a...
You don't need chatbot tech to be indistinguishable from strong AI, just indistinguishable from an average salesperson. Like babyshake, I firmly believe that this will happen one day. 10 years? 50 years?
A tuner USB key is like $10. Plug that into the PC.
Israel deploys AI-controlled checkpoint gun
Yeah, nowadays the first thing I talk about with a recruiter is "I'm only interested in jobs that can pay 250k+ for remote work, more for in-person" so I don't waste my or their time if they think $100k is a possibility
When I was a kid, the most frustrating technical challenge around TVs was how to get the VCR clock to stop flashing. How the world has changed since then!
+1. I bought a samsung premiere projector, and it's a very good product. But the first thing it did was prompting me for the wifi, and hell no.

It's offline, plugged to a real computer that has internet access and I skip the projector home page as quickly as I can to get to the laptop mirrored displays.
How about we don't let businesses redefine words to fit their business needs. "buy" already had a perfectly clear meaning, and whatever Amazon Prime peddles, you're not "buying" anything.
I use my Vizio tv for integrated apps. YoutubeTV, Netflix, Paramount+ and Prime Video all work great, except Prime Video will buffer a lot lately but the other apps never do. It's also very easy to enable/disable Viewing Data and Advertising under Menu/Admin & Privacy.

My dad runs Apple TV since his screen is older, and it's marginally better than my Vizio because most of the time YoutubeTV continues where it left off when turning TV back on which is nice.
> "Please don't complain about tangential annoyances—things like article or website formats, name collisions, or back-button breakage. They're too common to be interesting."

That one happens a lot on HN. I'm not sure I'd want it to happen less.
I was born in 84. And in the 90s I knew this 1 kid who told me on his 11th birthday his dad would raise his bicycle seat.

I was super confused as that an easy thing to do(loosen a bolt, adjust height and tighten the bolt). Turns out lots of parents don't allow their kids to touch their tools or tinker or do anything like that.

I was very fortunate that my parents encouraged me to do such things. E.g. take apart things to put them together but it doesn't surprise me why lots of people have all the creativity and curiosity purged from them from an early age.
It can be by design and also be complex and chaotic (i.e. both), and the cycles we are seeing have happened before.

They just have not happened in our lifetime, its surprising how few people bother reading and understanding the value of history.

As for what this action means, there was a time for course correction, for them to act, and that time has come and gone. Instead they tripled down on the failing strategy of kicking the can down the road for a short term extension.

That leaves a knifes edge between currency death by hyper-inflation, or currency death by deflation (which follows inflationary stagflation).

Both lead to unrest from the breakdown in the division of labor and energy markets often see it first since the cost of everything is derived by energy for transportation.

It astounds me how many politicians and policy makers think they can just kick the can down the road without any consequence following a strategy of I won't be around when it comes due. The bill for debts always comes due.
So that's what is surprising to me, because I figured the CCP had a fairly tight grip on power and is in no danger of being overthrown. My naive guess as an outsider was that it's face-saving for those at the very top - to make an about-turn now would be embarrassing and an admission of defeat. And that only a few specific heads that would roll, but the government itself would remain largely intact
I’m biased. I worked in teams with such people basically my whole career.

The pay increased, the titles and tools changed but the mentality didn’t.

People just started beating their chest about devops and pooping on the legacy of sysadmins which is what most devops/SRE are.

Sounds like they were automating though.

“Cattle not pets” was a sysadmin mantra, but the business wanted pets most of the time.
That resume that was submit contained a known PDF delivered attack. Guess their AV subscription ran out on that server?!
Knowing a few people there work there... They have teams that work with specific customers to customize their product. I'm guessing a large client like Google could have a team of 100+ folks alone working on that client (across sales, tech, support).

The other thing is that they do stuff outside of just signing documents. They are a software company. They work in the enterprise space too. That ends up pulling in a ton of people to support those large clients.

Could they cut a lot of folks? Sure. But just about every large company could.
> serious verbal abuse for being stupid enough to ask for help in a forum meant to get help in.

in all honesty, isnt this a bit of "beauty is in the eye of the beholder", "sticks and stones" etc?

yes, you might be called various words, told to RTFM. but seriously here, is it really so bad? do you really want to drag down actual verbal abuse to something so absolutely trivial?
Just give me my Netflix, Disney+, Amazon Prime, HBO Max,...

All of which are available on an AppleTV, and I assume other less-intrusive devices. TFA comes to that conclusion in the last paragraph, but just in case anyone didn't make it that far. And then, as everyone on this page is going to say, never let that TV anywhere near a network connection. Why anyone would go to the effort of dicking with a pi-hole cat-and-mouse game is beyond me. Plug in a box, remove network access to the TV, watch your shows.

...even if it duplicates all the streaming app functionality in the TV itself.

I don't know, Samsung's fuckery aside, does anyone seriously think that using the duplicate app on the Samsung is going to be anywhere nearly as pleasant a UX as the AppleTV? IOW, use the AppleTV (or Roku, or whatever) regardless just for the better experience.
Generally, the people who are well aware of this situation are techies who have seen coverage of the issue in specialist media or who have been burnt by it personally.
Not hugely - e.g. taking the 38 prompts including "a painting by William Adolphe Bouguereau" (which is easily the worst of the modifiers for me), 10 of them I'd say were "no clue to the prompt". For the 56 Munch images, 54 were good and 2 were quibbles ("an isopod as an angel" had no isopod but did have an angelic human - is that a pass or no?)

(Which is probably better than you'd get from a human given the exact same prompts.)
The author of this ought to engage more with the existing complements to reading in educational systems. These have the advantage of motivating students and teachers through the development of interpersonal relationships. Here are a few examples from different cultures:

"During each tutorial session, students are expected to orally communicate, defend, analyse, and critique the ideas of others as well as their own in conversations with the tutor and fellow students."

https://en.wikipedia.org/wiki/Tutorial_system

"Dharma combat, called issatsu (一拶, いっさつ, literally "challenge"[1]) or shosan[2] in Japanese, is a term in some schools of Buddhism referring to an intense exchange between student and teacher, and sometimes between teachers, as an occasion for one or both to demonstrate his or her understanding of the Dharma[3] and Buddhist tenets. It is used by both students and teachers to test and sharpen their understanding.[4]"

https://en.wikipedia.org/wiki/Dharma_combat

"Chavrusa, also spelled chavruta or ḥavruta (Aramaic: חַבְרוּתָא, lit. "fellowship" or "group of fellows"; pl. חַבְרָוָותָא), is a traditional rabbinic approach to Talmudic study in which a small group of students (usually 2-5) analyze, discuss, and debate a shared text."

https://en.wikipedia.org/wiki/Chavrusa
> Neither of these seem to address the issue of whether there exist videos which will retrospectively have archival value which are not captured.

Unless the entirety of youtube can be archived it's safe to assume that there will be something of value which isn't being preserved. It's an unsolved problem and not one Google wants to see solved.
My next "TV" is just going to be a conference room monitor. Dell has some for like around $1K for a 55 inch and $4.3k for a 75 inch. Not sure about other companies, but my experiences with Dell have always been positive so I'm okay paying a bit of a premium absent better alternatives.
My previous Vizio tv botched chroma functionality for pc monitor for 2 years before getting it fixed. It doesn't allow downgrade. Never connect to wifi again.
It's HN, have some fun.
Heathrow Airport: Two planes in minor collision
Study: Healthy dev teams are most commonly found in hybrid work environments
Now I know why cloud shell wasn't working around noon PDT
> I absolutely see GPT-3 like things aiding with sales decks, but... it won't replace the sales person.

If there's a sales person whose job is to tailor sales decks to use cases, you might replace them.

If a big sale takes a team of people to execute, maybe AI cuts a few of them off. Maybe the client is still talking to a real sales person when they need to, but that sales person is able to multiplex to more clients because the time they need to put into each is reduced.

I think people often miss this aspect of "X technology will make this job obsolete"; it isn't "that occupation no longer exists" as much as "far fewer of that occupation are now necessary to do the work", and that change can have meaningful economic impacts. Farriers, blacksmiths and calligraphers still exist, but their work is no longer core to the function of anyone's economy.
it's amazing what 21st century can consider an inconvenience...
Another false dichotomy!

How about i pay for things I’m buying but take a pirate copy as a backup?

It’s already clear that if you make digital content available at a reasonable price people will pay for it. The thing we’re arguing about is who is stealing from whom.

Here’s a genuine dichotomy. Assuming I’m interested in the media, then I’m either buying or I’m renting. If I’m renting call it renting. If I’m buying don’t steal it from me later by hiding the fact that it’s a rental in thousands of lines of legalese.
It's doubly pathetic because of how they frame it:

-We are the world's most advanced AI company.

-Our filter verifiably acts as a simple blacklist.

-You aren't allowed to see the blacklist because it's really a "contextual" filter, so you'll have to guess.

-If you guess wrong too many times you'll be banned.

-Using our service more often increases the chance you'll hit the number of wrong guesses.

-No, you can't know what that number is.
Politicians have been automated through a combination of polling data and lobbyist checks since B. Clinton.
And crap management to lead them. Uber hired plenty of people smart enough to do better, but let the crap take the reins and management failed to lead on anything.
The sentiment here on HN is to never connect the TV to the Internet and instead use a digital media player or external streaming device. I wholeheartedly agree. But then several people mentioned wanting to update the firmware. If you'll never connect it to the Internet, then you should never update the firmware either. It goes against conventional wisdom, but updating the firmware in this situation is more likely to cause problems than to bring you desired improvements.

The firmware update might have stricter DRM controls; it could have a tricky new way to exfiltrate data out via your streaming box; maybe the firmware update itself contains some static ads; perhaps in the near future we'll have public wifi or free Google community wifi, and the new firmware will have the smarts to use that and bypass your wifi.

And these days, once you update the firmware, you often cannot revert back to earlier firmware.
English print still has two separate character sets with exactly the same pronunciation too. One is use most of the time, and the other is used to start sentences, for EMPHASIS on whole words, or to indicate proper nouns.
> Free, open and unbiased access to information

How can something be unbiased yet somehow stop showing illegal search results?
How are you running AWS without people?

Our AWS DevOps team isn't any smaller than they'd be if they were running a handful of servers in a colocation facility.
I think you can get subcontractors that specifically provide cleared janitors. (The same way that for example the NSA famously uses cleared contractors for things like IT.)

But anyway, Docusign surely isn't an example of such a company or agency.