skysight-inc/HackerNews huggingface dataset:
The only person at risk when I decided to not wear a seatbelt is me. Laws compelling me to wear one are the epitome of government overreach.
I think the point being made is, via PRISM data is provided on the regular with zero coercion. That is, the bar is much lower than (your suggestion of) the need for coercion.

Note: Not taking sides. Only trying to clear up the doubt.
This “disadvantage” is overrated. If I sell some stock today because I need the money, that means I’m a “noise trader.” Whether my timing is good or bad based on short-term considerations is essentially random.

Random is not actually all that bad! I got what I wanted. Professional traders will prefer to trade against random traders because trading against someone who actually knows what’s going to happen is bad for them. This means trades by random traders get sufficiently subsidized that trades are free for us.

When buying or selling we often pay for convenience, and when the cost is very low, it’s not worth worrying about. In just about every other business, the prices we pay for convenience are a lot higher.
Has this been proven? If so based upon what specific factors? "Background" and "upbringing" encompass a multitude of meanings. I also have not personally ever seen a job ad for "Data Scientist with rural WV / trailer park upbringing" yet that cohort is likely to have a near zero representation. I have seen things offered by "race" and sex. Race seems to be determined by melanin level and self identification, not DNA sequencing.
Most collectors aren't claiming to own the media (because anybody can right-click save it, and because it is usually hosted on IPFS, the very purpose of which is to allow the media to be copied & distributed across many nodes). But they may claim to own "the artwork," referring to the artist-signed artefact. Much like how a museum may choose to acquire & build provenance around a signed photographic print, despite the availability of unsigned prints that depict the same exact media (see Ansel Adams signed vs unsigned prints, for example).
One thing I think is interesting about the paper is how complex systems (like the brain) change over _time_ rather than at fixed points, and if those changes are computable in any meaningful way.

Like if we created an AI 100 years ago, could the AI 100 years later learn how to use an ipad or understand what twitter is or what a meme is?
What if brain changes from cultural (environmental) change are both complex and thus creating mathematical models that would change the intelligence of the AI in the way the brain changes is impossible. Like physical changes in the circuits in the brain that are so distributed, interconnected and complicated and subtle yet very specifically "tailored" to the complex system so as to make them virtually impossible to abstract or model in any way, and thus changes the "mathematical model" of the brain that is sort of "virtualized" at a fixed point in time.

Edit:
Well to put it a little more explicitly:
What if the real reason brains are intelligent is not because of the brain alone, but also because of the underlying physical systems like molecules, maybe even going all the way down to quantum mechanics and that those lower levels cause changes over time that fundamentally alters the function of the brain but still has the evolutionary potential of the lower level physical stuff.

If you have 2 levels:
1) the brain
2) the underlying physical stuff below neurons

1 is a virtualized fixed point in time that we can model and 2 is part of a complex system that alters 1 but importantly in a way that cannot be computed without simulating that stuff at the lower level. I feel like this is sort of implied in the article because either intelligence can be abstracted completely accurately or there will (as the paper claims) always be lower level physical changes that alters the intelligence in a way that cannot be computed at the brain/intelligence level. I don't know if this is true though tbh
Colleges try very, very hard to be “safe spaces” for LGBTQ folks.

If you’re in a strongly anti-gay family and community, getting good grades is a way out of state and in to a place with an active LGBTQ group on campus.
Then build your company in a way a security vulnerability won't end it. Don't save unnecessary data, don't store everything in the same place, make backups. It being harder is no excuse to making a shody work. "Move fast and break things" is a terrible motto both for the company and clients.
Similar story with me too. Used it for over a decade, but don't use it any more.

The original author, Slava Pestov, created Factor programing language and was working on Swift when I last heard.
The problem with that is digital controls are often made much smaller than its physical equivalent.

Things like pill bottles have large diameter caps for people with dexterity problems. That same person may not be able to press a small flat "button" due to hand-eye co-ordination problems. Or they may not even be able to feel the surface with their fingertips.

For myself I hate having to go tap tap tap tap tap tap tap tap tap tap on a digital button when a quick twist of a knob does the same. At least have a slider digital control rather than discrete taps. Imagine instead of a doorknob to open a door you had to tap an electronic button 12 times.
no one wants to use engineered viruses for war because its to indiscriminate. if the viruses is effective a crippling a adversary it will do that to my people to.

you can't make a American seeking virus any more than yo can make a Chinese seeking virus. at that level we are all just bags of the same lipids proteins and ions. and all national boarders are porous and it will get through and kill your people.

viruses are in the same bucket of bad war ideas as mustard gas that we dont use because they kill everyone instead of who i point them at.
As someone who has personally edited over a hundred 1-2 hour podcasts with a new guest every time removing umms, ahhs, dead air and filler words is soul crushing. It has gotten to the point where after 2 years of running my podcast[0] I'm seriously considering stopping the show because I'm getting burnt out from editing and without sponsors it's not feasible to hire an editor, but even with the show making no money I would happily pay triple your asking price if I could click a button and have the problem solved in a way that matched a human's ability to edit out filler words.

It really is the difference between being able to edit a 1 hour episode in 1 real life hour (editing at 2x speed) vs literally spending 5 hours to edit 1 hour when there's a lot of filler words or ums. That's due to having to stop every few seconds, think about when to cut it and perform the cut. This is using a heavily optimized keyboard shortcut focused workflow too.

I hope you don't mind constructive criticism but in my opinion your "after" version doesn't sound natural. This isn't an attack on your service specifically, because the outcome is the same with all of the automated tools I've tried. I haven't tried them all but I did play with a few of them.

For example in your case the pause between "Removing" and "filler" doesn't match the pace of the rest of the sentence and the transition from "very" to "time" has a very hard cut. This is also a 10 word clip that's about 6 seconds. If you listened to a 1 hour podcast episode that was edited like this it would be much more noticeable.

There's so many intricate and subtle details around when and what to cut to remove these things in a way where it's not noticeable. Are there any paths moving forward in AI / ML that can lead to this being indistinguishable from being humanly edited?

I debated deleting this comment before posting it because it's a combination of feedback but also saying the service isn't something I would buy in its current state but I'd like to think it's more beneficial to post this to show there is a real demand for this service if it can be executed flawlessly.

[0]: https://runninginproduction.com/
While it is clearly a joke, it has a legitimate use as a syscall that does nothing so can be used to test the syscall process itself [1]. (Its cousin `is_computer_on_fire` is not a syscall.)

[1] https://github.com/haiku/haiku/commit/ccaac177f64038c160de6f...
The evolutionary benefits of a dominant allele can vastly outweigh the negative consequences of a recessive one, keeping it alive even though it reduces fitness of some individuals. With a spectrum disorder like autism that's likely caused by many factors, we can't even hazard a wild guess.
Welcome to Amigavideo.net, a dedicated collection to the Amiga video memory
500k in just over 10 years, meanwhile we're expected to see 40-50% of new cars sales be EV by 2030[0], which will be at least 8 million a year[1]. No doubt Tesla is the force that got the industry moving towards that growth.

0: https://www.reuters.com/business/autos-transportation/biden-...

1: https://www.cnbc.com/2020/01/06/us-auto-sales-down-in-2019-b...
> Are you implying that it is ok for your sons to be in such a field?

I only have daughters.
If anyone is looking for a linux OS running a web-interface on top of docker, look for Vessel.

https://github.com/matheussantana/vessel
https://github.com/matheussantana/vessel/raw/master/vessel.p...

Vessel is a portable web operating system distribution. By deploying the vessel machine you have pre-configured servers such as Portainer, Owncloud, Jenkins, Redis, LAMP, Ubuntu XFCE with noVNC, MySQL and more!

https://www.vultr.com/marketplace/apps/vessel
There is also an AWS AMI available (see github for details)
Microsoft Edge’s Zip payments integration is already available in the Canary and Dev channels, and it will roll out to everyone in the stable release of Microsoft Edge 96

Edge 96 released to Stable channel two days ago.

My prediction is blowback to this quintessentially stupid product decision will result in it getting pulled within the next few weeks and the firing or transition to a different unit of whatever moron approved this PR disaster.
That's a shame to hear; I thought the pacifica hybrid seemed like a good option for my own upcoming purchase, especially since I would've been able to do the vast majority of my non-travel miles on the battery.

I'm guessing you went with a Honda?
VAmiga online: Amiga emulator in the browser
As well as things like climate change right?

The problem is imagine if all the investment put into green energy was actually put into just making fossil fuels and their use far more efficient.

It might’ve had a far better impact on the environment, but it would’ve hurt the pocketbooks of the congressmen who have money invested in these specific solutions. (The other side pushing for more fossil fuels doesn’t actually care they just have their investments there).

An individual is still able to make the best decisions for themselves and the less you allow them to do this, the more danger and misuse of resources you’ll find.
Tomorrow’s efforts have been creative and very interesting to follow. It was sad to hear that the demand is so weak for their solutions.
Do uncomputable functions actually "exist" in reality in any meaningful sense, or are they just mathematical abstractions?
Ok. With what little I understand about the way wealth pools and congregates, and the inability to peer behind the curtain in this situation, I don't see any reason to believe that the majority of power has not centralized into a small group of people.
This is where I always plug Infomacracy by Malka Older. Micro democracy with all voting blocks the same population size, can switch party/state.
The job was miserable. He was VP of engineering. He, I, the VP of marketing and I think someone else left within the same week because things weren't working out. (It was only a 50 person company.)

The company got bought out, mostly as acqui-hire for the scientific staff.

The main tech was by a Stanford prof. and one of his ex-grad students. An X-Windows/IRIX-only(!) based tool for molecular modeling. It added support for integrating bioinformatics analyses, gathered from public web servers. Which was cool, but companies wouldn't buy it because sending proprietary data to public sites as a big N-O.

Many companies had similar resources in-house. The program could call out to awk or shell as a configuration language for doing those searches. But our customers were all switching to Perl and didn't care for those languages. So, late in the cycle we added Perl integration support.

There was only one person who could really work on the core tool. (I remember fixing ~10,000 compiler warnings, nearly all because it used a home-brew GUI based on void* function pointers.) There had been a push to port it to the Mac, but that took a year and the fork was unmergeable.

We developed an intranet server product for basic bioinformatics tools in perl that would mirror the core bioinformatics databases, process them for FASTA, BLAST, and text searches. Mind you, this was 1998, so CGI.pm and a home-brew templating language I threw together.

We needed this because we were ramping up science consulting (I don't recall why any more), and needed our own internal tools because proprietary data.

So, Mike came in as VP of engineering, with a product that was hard to maintain, nor could it quite pivot to the new hotness of bioinformatics, nor pivot to the new hotness of the web. (Get this: there was a proof-of-concept version that used a persistent version of the tool running on the developer's desktop, in an off-screen display buffer, which presented a clickable image map to the user. Each click would round-trip another screen shot to the running program.) And without the ability to really hire the people to get out of that hole, because funding was running out.

On the organization level, there was also then-new CEO, who sales and marketing referred to as a tornado, because she would come in and everything would get blown around and mixed up. Not a good boat to be in.

This was also Mike's first VP-level management job, so rather like jumping into the deep end.

Mind you, I was a fresh-behind-the-ears 27 year old, with only 2 years of professional experience in an academic lab. I know little about what the politics was with upper-management. I can agree that it was miserable.

Going back to Sleepycat, I actually evaluated BDB vs GDB vs. a few other technologies for one of our projects, and ended up having problems with all of them. Only after I left, when I met Mike after he started with Sleepycat, did I point out that I he probably should have told me about his connections with BDB. He agreed. ;)
I hope that it turns out that this paper was written by GPT-3 :)
China blacks out CNN broadcast every time it mentions the tennis star Peng Shuai
One word: China.

They might be very much reasonable to behave as they do.
That sounds like obscurity.
In the same vein that heavier-than-air flying machines are impossible.
Problem 1: We're too distracted by modern technology and its games for our attention.

Solution 1: Try meditation!

Problem 2: My friends and family aren't following through with their meditation.

Solution 2: Let's gameify meditation!

GOTO Problem 1.
>It's not arbitrary since it's possible to write your function using mine but not vice versa. If you disagree then please implementing the following function without casting:

First, Why does this even matter? It doesn't. Being able to write something in terms of the other doesn't mean anything.

Second you can't implement the converse without casting EITHER. The Optional[Int] doesn't exist so how do you create it?? You CAST. It's a zero cost implicit type in python and in C++.

>The convention that callers are responsible for upholding the preconditions of the functions they call is well established: https://en.wikipedia.org/wiki/Design_by_contract.

Should I use the fact that Optional is more well established then NonZero to win this argument? Yeah if you want to talk about "Well Established" then Optional is more well established then NonZero or this Design by contract convention that is so unestablished I barely even heard of it.

Additionally even reading about this convention I see no requirement that division by zero must never return an undefined or that zero should never be the divisor. The description reads that these pre/post conditions just need to exist, but they're your choice what you need them to be. These conditions are encoded in the type.

>If you want to avoid an exception then use the safe version.

The safe version suffers from your same problem just moved. Nothing is magically solved by this move other than it fulfilling your arbitrary opinion and convention.
Proving Simple Theorems with TypeScript
The Soviet 1801VM3 Enhanced LSI-11 Processor
> But, rolling back to your post: why can you not retire?

Currently a SWE at $BIG_TECH_COMPANY making very good money. 100% of my income goes to paying off debt which, like the OP of this post, was acquired by attending school with no support from addict parents.

I have ~80k in debt. At 12.5%, 8.5%, and ~6% APR. I think I will at some point be able to retire if the next 20 years are the same as the past 20 years. Although: the stock market is at record high values and property prices are at record highs. I don't know how to explain why this is the case though. Nothing is preventing our 401ks from buying into stocks at today's price and the rug getting pulled and getting completely screwed.
> If you live in a place with hills, it will be annoying to drive.

Hill-climb control, which leaves the brake applied until the clutch is engaged, is a common and wonderful feature now. Saved my butt before.

> If you live in a place where you have to deal with frequent stops due to heavy traffic or multiple nearby stop signs, it will be annoying to drive.

The Bay Area is obviously not a great place to drive stick.

> Related, but your significant other, if you have one, might not know how to drive it

I take offense that you'd impune my good taste in such a way. Jokes aside, this is very valid.
What percent of people hospitalized with COVID are overweight/obese?
One wonders about the actuarial assumptions made by your uncle’s former employer and how, or if, they expected to meet that obligation.
This reminds me of the dispute between FAANG companies and big ISPs.

The ISPs were saying "You are benefiting from our networks for free! Pay us!".

The companies like Netflix were saying "Without our services nobody would want broadband. Maybe you should pay us!".
Growing up in Ohio, this resonates with me
uhm, it's not an allergy to free things that is why it's illegal to leech your neighbor's wifi. It's illegal to leech your neighbor's wifi because you could do something illegal which then gets pinned on your neighbor.
Heh, ok. I guess if your apartment is built over a freezing void, then the “ground floor” might be a drawback.
SwiftKey is good. It also has the nice feature in that it lets you raise the keyboard higher which is great for large devices so that you are not typing at the very bottom in an unbalanced manner.
For software reliability, many of them. A large number are mainstream. If you take a distributed systems book, you will see many, and test suites are an evolution of the aviation checklists.

For security, I don't think there are any. Aviation isn't great on security anyway.
You deeply deeply deeply overestimate these models but I also give up trying to make that point. Go ahead and unleash all this fear uncertainty and doubt and see how that goes. It's tiring even to read this nonsense.

There is nothing these language models can do that isn't already being achieved by an entire planet of mechanical turks with nothing better to do. But they do so with a much better carbon footprint.

There will be plenty of tools for motivated mere mortal web owners. Most of them involves various ways of saying no to uncurated content. But it's more fun to talk about the near-term AGI and the imaginary threat it poses. Who doesn't love a good Boogeyman story?
I installed the amazon app store on my android phone and it worked fine same with installing FDroid. all i had to do was check a box when prompted.
Since the behavior is undefined when the computer is off this implementation seems correct in your hypothetical as well.
You don't make a UI worse (more dangerous) for 99.99999% of drivers in order to accommodate the .00001%. The radio isn't a necessity.
If it's an analog system, I want analog input. If it's a digital system, I want good digital input or excellent tactile input.

Stereo: well-weighted analog knobs that are responsive.

Computer: mechanical keyboard.

Car: Manual Transmission.
Finally! This has been a glaring omission for me for years and has prevented me from adopting Lambda thus far.
On a similar note, someone from China mentioned on Reddit that the CNN coverage is not only blocked by domains but also on-device by the system's default browser, so using a VPN doesn't circumvent the block.

This lines up with the recent reports on Xiaomi devices sending wordlists containing 'Free Tibet' and other political slogans with server requests [1].

[1] https://www.reuters.com/world/europe/xiaomi-says-its-devices...
The bored ape yacht club grants a copyright license to people who buy the NFT. Nothing more and nothing else.

That is not ownership.
Reminder: those gains are hollow: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4445388/ (note the authors, incidentally).
Anything tagged Open Source is also usually a good bet. Check out the folks at PyPi, for example and give thanks!
I switched to xBrowserSync a while back and its been a game changer. Your bookmarks are encrypted on the client before uploading and you can self-host your own server if you want. My bookmarks now live independently from my browser. Between that and BitWarden for passwords, I am no longer tied to any browser on any device. Its so easy to browser hop now. Also...turns out keeping scores of folders, inside folders, inside more folders is a terrible way to organize bookmarks; Tags w/ search is the way to go!
Turing designed his machines to capture "computation" as it is intuitionally understood: as something a mathematician, equipped with an unlimited supply of scratch paper and pencils, could do. (The other equivalent apparatuses are provably equivalent, but it is harder to argue that they capture the correct intuition.)

If you can show something a mathematician can do to compute a function, that cannot be emulated by a Turing machine, then you have demonstrated that Turing's definition does not capture the intuition and we get to start over with the theory of computation. So far, no one has been able to do that.

The existence of uncomputable functions is not itself a problem. It only becomes so if you can show that something computes them.
There's a syscall to check whether the computer is on so just call that before this and you'll be fine
Twitter has never been decentralized.

If an app wanted to do this in a decentralized way then they'd likely have Kleros curate a list of known NFT sets or use a standard like TokenLists where a user can subscribe to whatever curated list of known NFTs they wanted.
It upsets me that this function's interface allows it to describe silly things like "an ENIAC running on a 68000" or "an Apple II running on SPARC". Wouldn't be an issue if C++ supported GADTs.
Appliances used to be way more reliable too. I grew up in the 90s with appliances from the 70s and 80s that still worked when they were replaced a few years ago. The new oven has already shit the bed and needs a new board.

Everything is more complicated than it used to be, more likely to break as a result, and requires specialized parts to fix. And if the manufacturer doesn't sell that part anymore, your stuck buying a new appliance. What a racket.