skysight-inc/HackerNews huggingface dataset:
In my opinion, the best place to implement the ability to rollback a schema change is in the database engine itself. In terms of how that would actually be implemented that's outside my wheelhouse. I think the ability to have some _standard_ method of rolling back schema changes across all the popular database engines would be significant.

Some engines implement some support for some things. Many DDL commands can be run in a transaction in SQL Server. I believe Oracle creates a savepoint of some kind after every commit and DDL commands typically imply a commit. But it varies across vendors and it's a lot to untangle.

In practice a lot of rollback scripts tend to make the assumption that the change script succeeded without issue. When the change script fails for an unknown reason often the rollback script will fail as well, in the worst case also having partially succeeded.
Also, social contract (Hobbes and Locke)
Category theory is mostly useful for modeling computation theoretically and thus designing languages.

It's also not that helpful to learn unless you already know a lot of deeper math, like introductory algebraic topology, etc.
>Why don't we just make a platform that crawls the internet for videos and build a recommendation algorithm. Therefore no matter where you host your videos you'll be easily discover?

Because there are fundamental tradeoffs of _information_ and _meta_information_ that a system has that factors into recommendations.

People upload about ~500 hours of videos to Youtube every minute.[1]

Yes, that means that centralization to that degree has negatives such as the guitar channel being deleted but it also has positives such as better (not foolproof -- but relatively better) detection of spam and mistitled content. Because Youtube servers actually have the real bytes of actual videos, they can scrub the content with machine learning algorithms augmented with some human oversight.

If you only have a platform that crawls for video urls and doesn't actually ingest the petabytes of video like Youtube, the "recommendations-only" service will be susceptible to gaming such as people putting "Emma Watson and Scarlett Johansson nudes" as the titles but the actual video is an ad for somebody trying to sell a used car. Or the first few days of a video url has "Tips to deal with COVID" which is real but the video hoster later switches it out to be a video for that same url to be something else.

Also, a centralized service like Youtube can measure actual user behavior such as "watch time" (because Youtube's servers know they are sending bytes to the client) to see if the video is actually engaging viewers and this factors into future recommendations. If web surfers are closing out a 10 minute video after 20 seconds, the videos are appropriately penalized because users are "voting" that the content is bad. I.e. the viewers "voted" without even having to press the "thumbs down" button.

A new platform to recommend videos pointing to decentralized video hosting has advantages but also has unavoidable disadvantages that lower the quality of the recommendations.

EDIT to add my previous comments about the financial incentives (ads) that help video content creators which many techies overlook: https://news.ycombinator.com/item?id=21506992

[1] https://www.google.com/search?q=upload+about+~500+hours+of+v...
Initially, I thought it was about data versions within a database.

However, this seems like the traditional database migrations which has been used since forever, isn't it?

For our Ruby shop, we use Sequel Migrations[0]. For generic migrations, using pure SQL, MyBatis[1] migrations is fantastic.

[0]: https://github.com/jeremyevans/sequel/blob/master/doc/migrat...

[1]: https://mybatis.org/migrations/
The International Journal of PoC||GTFO [0] includes a lot of old tech ads if you're into that thing. A nice touch alongside the hardcore engineering feats you see in the publication.

[0] https://www.alchemistowl.org/pocorgtfo/
Inside geoWrite – 9: Keyboard Handling
> the ability to be able to do so is the license’s entire point.

I second this.

You have to consider any non-compete and NDA agreements as well however.
Black ice is quite the experience too, losing all friction between you and the road is quite alarming and anything done "intuitively" will likely result in a crash.
No one is asking to ban these things. Just tax them a lot, so that people will be encouraged to eat something other than steak/burgers every day. Instead, taxpayers subsidise beef and dairy farming, making the end product cheaper and more likely to be consumed.
Thanks for sharing your experiences, I want to take a look into it more.

> but I do think HN tends to assume cattle are just fed big buckets of corn seed & wheat

I wasn't making the assumption but I see conflicting arguments all the time on this issue both in discussions and in papers.
Video hosting is actually a lot harder than it seems.

- For starters, you need the server space to host it. Videos can be large -- a 10 minute 4k video can be nearly 5gb in size.

- Then you need to the CPU to transcode it to various formats and bitrates (Youtube keeps more than 30 different formats sometimes)

- Then you need to bandwidth to actually serve all that data. Ideally you have servers geolocated close to the user.

As someone with a slow internet connection, I generally despise self hosted videos. If your video won't load because I don't have a >100mbit
connection, I will likely leave.
Things you need to know to stop a coup
The Guardian highlighting Paul Manafort as a way to tie this scandal to Trump is interesting for sure. The scandal is certainly bigger than one person.
I have a hunch will go the way of the libor scandal which resulted in mostly fines, and the panama papers scandal which resulted in the journalist (Daphne Caruana Galizia) who broke the details winding up assassinated by a car bomb.
What is your point exactly?
I'd add two more:

- estimates: ability to balance between showing off when estimating the skills and technologies you know well and then underestimating the process ahead and overestimating the unfamiliar territories.

- fast typing: I could never relate to developers as senior, no matter the years of experience, if I see them shooting the keyboard with two or four fingers. Despite my subjective position on this, fast typing "releases" your brain to think only about the problem you're solving or achieving the goal you have without dialing 911 to "find that letter".

EDIT: I've used a wrong phrase in my second point. I meant "touch typing" instead of "fast typing".
I don't get it, Trumps name is only mentioned twice, and both times it concerns facts to place Manafort in the bigger picture.
> How hard can it be to scale seaweed farming?

Really hard, trust me. Coastal areas and sea platform tend to have a high level of occupation.
So literally the only 2 publications remaining with a semblance of journalistic integrity that have proven to be beyond political bias? Sure, that makes complete sense. /s
Seriously. If the reports are “years old” then there is no excuse for these to not have been dealt with.
>What is a "statistically high crime demographic"?

Young black men

This is drilled into the head of every cop before they leave the academy.
I think most of us think it is possible to live healthily as vegetarians, but much more difficult. Meat from other mammals contains almost all the nutrients we need in a convenient and properly balanced format. In particular the protein quality and digestibility is higher than in most plant sources.

For those of us who are active athletes, there are a lot of anecdotes about people who tried vegetarian or vegan diets and found they had trouble recovering from workouts or healing from injuries. I suspect many vegetarians suffer from subtle, sub-clinical nutritional deficiencies
and that makes me hesitant to give up meat.
Patent this? This is just a microphone, an amplifier and a headphone jack. That's the most obvious thing.

There is no real innovation here. The work being done here is closer to a market research: find the cheapest components that do the job.

Cheap is also its only quality. $5000 hearing aids are better in every other aspect. It makes no sense for big hearing aid manufacturers to use anything about this design.
I wonder what It would give with Nathan W Pyle's Alien.
This man has been studying/researching Fungi his entire life.
Very interesting, well spoken, human.
Amazon’s Echo conquered the smart home – what comes next?
If you don't mind, what are your grievances with Rust's borrow checker, and do you have any ideas on how it could be improved, or any alternative implementations of the idea of "ownership" and "borrowing" that do some things better?
While they certainly would have the resources “to go anywhere else” - where would all these very rich people actually want to go? Where can they maintain a high status lifestyle while also enjoying low taxes? Maybe I’m wrong, but it seems like a mighty short list and, hence, an empty threat.
I'm not a lawyer, but my understanding is:

The company owns the code but has given permission to use it as specified in the license. Fortunately, the MIT license is very permissive. You thus have their permission to do a lot. You don't have rights, you have a license.

You may have signed an employment contract that puts limitations on what you can do. I wouldn't hesitate to fork a MIT licensed project, but your other contracts with the owner of the code may complicate things.
> It sounds like a reference to the policies around WFH and changing locations

Yes, but that was also behind the snack complaints.

According to the article, everyone got monetary bonuses, but it seems the problem wasn't the cost of the food, it was not having "hired help" to stock and cater the food for you.
I like going on Youtube and see what gets recommended to me, sometimes I discover useful/entertaining stuff that way. But most times, the recommendations tend to be terrible:

- repetitive, as if they insisted in the same specific video dozens of times

- not using the full breadth of a given channel I've subscribed to, e.g. just recommending a few videos out of 100s

- recommending stuff that has absolutely nothing to do with my interests, simply because it's going viral or it's been a previous big hit in the mainstream

- similar channels almost never get recommended to me. This would be super useful, since maybe I'm subscribed to 5 channels for a specific topic, but I could be subscribed to 20 as well - I just can't find them naturally

A good recommendation algorithm might be worth paying for, as it could provide endless entertainment.
This site seems overwhelmed with traffic. If you can't get through, luckily the Internet Archive made a copy this morning: https://web.archive.org/web/20200924101441/https://wagingnon...
I'm thinking more about a website (Client) where you get the recommendations then if you click on one of the recommended videos (either by watching the embed or redirecting from the website) we'll assume that you liked it.

Outside of this website (client) you won't be tracked.
Although I understand the worry, I am getting more and more annoying with people painting all populist leaders as anti-democratic, even when they are trying to make institutions more democratic.

I am from Brazil, and media (both local and international) loves to portray him as some sort of conservative dictator.

Except he been trying to do the opposite for a while now, for example people called him "genocidal" because he opposed cities issuing lockdown orders.

Thing is, in our constitution only the president can issue lockdown, and only after being reviewed by three different oversight groups, because we had a nasty dicatorship during cold war, our new constituion was written deliberately to make really hard to create a new dictatorship, yet our supreme court is happily ignoring a lot of parts of our constitution to give the government dicatorship powers, and the president is opposing it, but every time he does so, people say he, is the dictator.

Another case: population voted against arms control in a country-wide vote around 2003, government back then issued arms control anyway (they made it legal to have weapons if you had a license, and then stopped giving licenses, thus effectively banning weapons against the wishes of the population), Bolsonaro more than once talked about it, and tried to undo the ban and follow what was voted for, again people kept saying that this was him being a dictator.

Our supreme court been under heavy criticism lately for various reasons, and they reacted badly (for example one judge called police on a guy that criticized him in person on an airplane and got him arrested), the media is portraying this as the president trying to get rid of the supreme court and have more power for himself, and the supreme court as democratic heroes, but that is obviously not what is going on, the supreme court for example breached a fundamental principle of democracy recently when they started a case themselves, becoming court+pŕosecutors at same time, something that is NOT supposed to ever happen, they also are trying to institute a "Fake News" law, something that obviously goes against our constitution that guarantees free speech.
> The big complaint is about lack of snacks!

I don't think there's anything unusual about talking about that in a company-wide Q&A. It's minor, but people will want to know how they should adjust their budgets and how long. This is a good platform for such a question since it's something that affects everyone in the office.
Intel details chips designed for IoT and edge workloads
Easy Speedup Wins with Numba
I find it illuminating that this website tries to load at least 7 trackers, including from Facebook and Google, and that scrolling is broken when they are blocked.

No current app store effectively blocks any of this, but I certainly imagine their envisioned free-for-all involves even more invasive trackers, to which I say "no thanks."

I hope Apple quadruples down on their privacy stance and starts blocking this BS that's built into apps.
Resize and optimise images on upload with ActiveStorage
Kind of ridiculous if you ask me... "possibly corrupt"? Is the court of public opinion taking on suspicious financial activity reports now?

My gut says these leaked reports will have a greater negative impact on current corruption investigations than any positive impact from public consumption.
Actually Excel was the only one that had official, freely available documentation for the old (now legacy) file format.
TinyCC is easy to confuse with the well known Tiny C Compiler (usually abbreviated TCC) by Fabrice Bellard though ;)

There's also SDCC, the "Small Device C Compiler".
Whether this is part of your job probably depends on how your team is structured. I have yet to be on a team where the part about building the right thing was the engineer's role. There was a product owner or project manager for those decisions.
As an engineer doing APIs for a company that is involved in online retail, and having built shipping integrations and exported this sort of data in APIs...

This is a pretty good schema.

I was expecting something a little more naive, but there are concepts in here that I believe would let us expose everything important to Google about our shipping options. Enough to let them compute an accurate price, time, and label, at any given point in time.

Things like the cut-off time, and being able to represent which days/hours your warehouses are open is really important in this sort of thing.
>Is anybody actually buying a latte for $3?

I don't disagree that sitting down and having a latte with someone (or even by yourself) is sometimes social/a break/a chance to work with some WiFi/etc. But for a lot of people it's just part of a morning ritual.
For best user experience centralized is the way to go. Imagine a video goes viral hosted on a shared server. Not a good experience for anyone. You could build a cache layer on top of it but then how will you reward the creator?

Are you expecting people setting up, and maintaining their own servers to host videos? Those times are gone. Content creators want to upload where millions of users are already present.
I even do

_ : (f x y) == expected; _ = refl

makes tests shorter.

I also put my tests in the same file that define them by adding a private module

module X

record X : ...

private
module test where
_ : (f x y) == expected; _ = refl

This way it's not possible to export record X without its tests passing.
Another report that points out some interesting legal precedents involving Lauri Love and Gary McKinnon: https://shadowproof.com/2020/09/23/doctor-assange-aspergers-...
Just for accuracy, Project is available as a subscription.

https://www.microsoft.com/en-us/microsoft-365/project/compar...
I wonder if the marriage between China & US for the past 30 years have played a role in this. Generally manufacturing are moved out of US which could cause a bigger wealth gap between the the rich and working class. Rich people become richer because they are the first receiver of the benefit from exploiting China, while working class don’t have much better alternatives. Democratic system IMO is more fragile when the gap is widen
For me, this project is the biggest FLOSS success story after Linux, xBSD and the GNU stuff. Great quality, amazing team. The best RDBMS that exists today and that includes commercial ones (imo).

Thank you.
Huh. I wasn't aware of the conspiracy theory association around the idea of intelligence interference in media. I was just mentioning what appears to be the simplest explanation, in the light of Snowden's intelligence revelations.

Just seems to me that mostly-secret media interference is a less complex problem to solve than the type of pervasive surveillance that requires installing extra rooms of equipment at numerous telecommunications nodes around the world. And we have confirmation that the latter has happened, at least.

Granted, you would expect to hear rumors eventually, as lots of people would have to be involved and still manage to both keep their mouths shut and hide the activity from everyone else.
I think thats SMIC China’s own company that’s trying to rival TSMC
It was already going down, it's just that the new chair did not succeed in stopping the fall.
I remember this problem. Different framework though. It’s probably something buggy deep in whatever driver library we are still using. Our solution was to not use that function.
How to Advance Your Career in the Cybersecurity Field
You made a programming language because you were bored? I'm not so studied. What tool do you use to make an interpreter?
What It Takes to Design an Aircraft from Scratch – Lilium
Push for Digital ID Tech Spurred by Pandemic
Elon Musk Promises a Next-Gen Battery Equipped $25,000 Electric Car
>"when in doubt, gas it out"

Worked great for Jeremy Felts...

(but yeah, it's good advice most of the time)
Remember, convenience trumps all other concerns in capitalism. So your distributed solution has to be as convenient, or more so, to use than YouTube for content creators. You also didn't mention monetization, and again, it needs to be convenient. Allowing "roll your own" monetization is great, but putting a default revenue method is essential.

I think it can be done. The product looks to me like a cross-platform thick-client application that manages your content, both serving it locally, but also putting it on various platforms. I think it could be a real winner if done right! You might even be able to give it away, open source it, if you can sell default space, like Mozilla does.

The obvious starting point for this product would be the content creation tool itself. I'm sure Adobe (and Apple!) would love it if this was a reality, just to stick it to Google. The enemy of my enemy is my friend, after all.
The problem that companies are trying to navigate is how to keep speech as free and open as possible without permitting state-sponsored disinformation operations to fester within the platform.

I agree that individuals should have the right to believe what they wish, however heinous their opinions may be. But it's clear that social media platforms are very powerful credibility launderers that give nefarious actors an incredible amount of power in shaping public discourse, and we can't ignore that either. We have to take disingenuous efforts to pollute discourse by malicious actors as seriously as we take protecting genuine speech.
As someone who knows quite something on this topic, I do not really see what is the surprise here. Let's ignore the title (neural networks don't struggle, they just require a sufficiently large network) and go to the heart of the article, which is that neural networks need to be a lot larger than the most efficient solution to work.

What did people expect? That you could use gradient descent to find the optimal solution from a random solution? It would have been very surprising to me if that were the case. The reason neural networks work, is because they have so many solutions which are relatively close in parameter space (due to the high dimensionality) such that they can find a local optimum which is decent for most data.

To me, the surprising finding of the lottery ticket hypothesis was not that you can show that only a tiny part of the final network is necessary for the final solution, but that if you would have started with only that tiny part, you would retrieve almost the complete performance. I.e. that the initialisation is really important, perhaps more important than your architectural choices.

The Game of Life article is merely confirming the finding from the lottery ticket hypothesis paper, but then applied on the Game of Life. I am surprised it picked up so much attention, maybe the Game of Life is a sexy topic to illustrate the issue?
Hilarious!

Nicely done.
I think the first question is, are you still working for that company / do you have a contract / agreement about what you can or can't do?

I'd be first concerned with what your employer might think / what if any restrictions / you agreed with.

MIT license could say one thing, but an agreement with your employer says something entirely different regarding what you can do.
I don't share your pessimism. This is clearly a political extradition and it will be seen as such by the UK Supreme Court.
The Dark Secrets of Fast Compilation for Kotlin
If they weren't all entry level and highly general they'd be for a niche audience and wouldn't make the front page of HN.
In my experience, most of the opponents of minimum wage laws are not opposed to market wage realities.

If the market values your labor at $25/hr, neither you or I care whether the minimum wage is $7.50/hr or $15/hr (with respect to you).

If you can create $10/hr of value for a business, I think there's a reasonable argument that it's better for you to be able to have a job at $8 or $9/hr than to declare that arrangement illegal and force you to either be unemployed or find an employer who is willing to for whatever reason to pay you $5/hr more than than the value you contribute to the business.
Especially after we spotted the bullet galaxy.

Two galaxies collide. The dust stops, the dark matter keeps going... it isn't looking good for MOND.
Can TikTok help Oracle stay relevant in the cloud-computing age?
What Tesla will put in its new batteries
What if instead we had the recommendations from the main sites YouTube, Vimeo, Dailymotion and if you want your personal video hosting site to be recommended you would fill in a form to add you sites to the collection of sites the recommendation system crawl through?

This might be helpful to avoid bad quality recommendations?