skysight-inc/HackerNews huggingface dataset:
Yandex is the company whose sites actively fight ad-blocking more than anyone else of whom I know. Afaik Yandex is just not in the uBO lists anymore, because it was no use changing the filters again and again. So I guess Yandex might allow installing filters which can't catch it anyway, but I wonder if it won't cripple the extension somehow for good measure.
would you be willing to share the resources you used to get started with algotrading and understanding options?
You seem to be misremembering. It was separating children from their family, not caging them, that people were complaining about last election season, because of perfectly ordinary border enforcement arresting illegal aliens.

The exception was some misaligned activists that accidentally posted Obama-era photos of "caged" children (behind a fence) a couple weeks early, which happened before some lawsuit forced the feds to release the children instead of housing them with their parents.
Agree 100%, + fresh content
100% agree, I worked a digital marketer and we needed TONS of copy all the time and paid people a lot of money for writing emails and subject lines.
Worth mentioning that USB Type C is the plug and it is indeed universal. The protocols are a whole different matter and finding a good cable is a challenge.
Would love to see a feature where we can search for a button/setting, and Blender would highlight it. Just like search in DataGrip (JetBrain) for Mac.
> What kind of project would be a sweet spot to ATS?

I'd say a large mission-critical C codebase that decides to grow and expand a formally-verified kernel of its most important functionality - it can be a real-time sytem, an OS kernel, a HFT algorithm etc.

Nowadays people seem excited about gradual typing in widespread dynamic languages like JavaScript and Python, because it allows them to adopt the best parts of static typing without having to rewrite the entire codebases in new langauges. Now imagine that you can introduce gradual formal verification to your battle-tested C codebase, without a loss in performance[1] and without forcing you into a new tooling ecosystem (compiler, debugger, profiler etc). Actually, you don't need to imagine it, because that's what ATS is :)

> I would love to understand the nature of the theoretical advantage ATS has here over Rust.

I'd say it's a synergy of two key features, that produce miracles when put together - 1) direct and safe pointer arithmetics [2], which enables the same data structures and optimisation tricks available in C, yet in a verifiable environment, and 2) refinement types [3].

> Would it be comparible with F*

Unfortunately, I don't know much about F*, MS Research regularly releases a new PL prototype after the other and I lost my count on Koka[4].

> ATS seems to be very much a concept/language in R&D phase. Its ergononics are difficult ergonomics (have a look at the error messages), documentation and example projects sparse

All true, but nonetheless it's a solid implementation of the mentioned theoretical parts, and if one dares to get through the objective lack of docs and ambigouos compiler messages, they are rewarded with an impressively powerful production-ready system-level compiler, complimentary to their standard C ecosystem which has decades of accumulated wisdom. That's the level of code-reuse other ecosystems can only dream of.

[1] http://blog.vmchale.com/article/ats-performance

[2] http://blog.vmchale.com/article/ats-safe-pointers

[3] http://ats-lang.github.io/DOCUMENT/INT2PROGINATS/HTML/c2584....

[4] https://www.microsoft.com/en-us/research/project/koka/
I think the world needs a gizmo with two USB-C terminals, one for each end of a USB-C cable, and LEDs that light for each feature supported by the cable.

For data, there could be a range of LED to display the throughput of the cable.

Because honestly, I have some cables and no idea what some of them can and cannot do.
the founding fathers didn't draw that line. they didn't say "free speech, except inciting revolution", they said "freedom of speech", particularly allowing for insurrection speech. the supreme court upheld this interpretation a number of times, for instance[0],

> "In Brandenburg, the US Supreme Court referred to the right even to speak openly of violent action and revolution in broad terms"

no one is breaking any rules or laws here, as far as the constitution is concerned.

but see, that's all beside the point regarding facebook. they have no binding legal requirement to that same standard of free speech. the debate there is how much corporate censorship people are willing to tolerate without injury to facebook's bottom line and stature.

[0] https://en.wikipedia.org/wiki/Free_speech
This has never been my experience, FWIW.
I still use good variable names in projects where I'm the only person reading the code. I wouldn't remember what things mean otherwise.
It's not full VFIO, but it still takes hardware support. It's not really a comparable solution.
Apparently you can hear it from pretty far away and not just as you go over the bridge: https://twitter.com/Shirin_Jnk/status/1269143410268467200
Sure. But updating the equations doesn't change the outcome of the Michelson-Morley experiment or make a ball fall up instead of down -- it simply converges on a more precise outcome.
Ask HN: More Bots on HN Lately?
I've noticed instant voting on comments submitted lately. As in click submit on comment, immediately go to profile and check the score on it. Appears to be damn near instant (<2sec even on long comments) so its not a human. Mostly up, sometimes down.

Voting bots are nothing new of course, but I don't recall seeing visible bot action on hn before that I could see with my own eyes. Plus the both up & down suggest some sort of logic driving it - even if crude.

Anybody else notice this?
I used to say it a lot. It's been a long time now, but heck for old time's sake: how I miss Windows Phone.
I switched for that exact reason - Firefox was starting to become really slow. After a few years of exclusively using Chrome, Firefox (thanks to Quantum) became my default browser again. It still sometime feels slower than Chrome, especially on Google sites (YouTube and GMail are incredibly slow). But that could just be my current pc starting to show its age.
Onshape is made by former SW devs and is incredible. If you're used to professional CAD you'll feel right at home. Here's a stool I made (no login required): https://cad.onshape.com/documents/3a4dd47b03e073e4d7848163/w...
Have you written about your experience with Firefox somewhere else? I'm curious to hear your thoughts.

I just wrote another comment here about its performance, about how I want it to succeed, how I donate to Mozilla, and yet still use a Chromium-based browser due to the performance issues.

At this point (I mean, they've literally invented a new programming language to make it faster, and it's still slow) I think the only thing left to do is to learn C++ and Rust and fix it myself...
Recipe for Restaurant Survival? Become the Next Domino’s
Do you find that there are irritating glitches?

A lot of the web doesn't officially support Firefox anymore (Groupon, Airbnb, my organization).
Wow. Didn't know that existed. Hard to see what legitimate, user-serving purpose that would serve. Or at least how the good of it's inclusion would outweigh possible harms.
Name checks out. I'm from Winnipeg as well and moved to Van 5 years ago. Salaries, diversification of market, proximity to other cities, and proximity to the kinds of nature I like, and better climate are the obvious benefits. Have you stayed? I find that I actually ssave money by living in Van than Winnipeg, with a higher potential salary and better options.
I was even asked to change my nickname once, I think it was by you. The nickname was nothing bad, you just didn't like it.
2 data pins is USB 1.X/2.X USB 3.X requires 6 data pins at a minimum.

USB type-C cables that only support charging will only have 5-8 pins 1-2 GND, 2-4 VBUS (power) and 1-2 CC (cable connect/config channel) pins.

The standard config for charge only cables (e.g. the Nintendo Switch charger) is 2-2-1.
Given it makes sound, it vibrates at high frequency. I've troubles understanding why a vibrating bridge is "better for structural integrity". I remember some of these in the past which broke

Bridge engineer cares to enlighten me/us?
Sorry, my comment wasn't in the HN spirit.
If you mean commercial aviation, and if by normal you mean “the way things were”, there’s no way, not for a long time, maybe never.

In my opinion, based on general reading and observations, Zoom has seriously shifted perception of the value of in-person meetings. Some routine business travel for meetings will remain valuable; much will be considered unwarranted, both in terms of cost and, until there’s a vaccine, risk. More things that can be accomplished remotely will be.

I think leisure travel will also wait for a vaccine. The loss of hotels, restaurants, retail and visitor attractions will make many destinations less comfortable and less appealing.

Airlines struggling to survive will cut costs, making flying suck even more. Bring your own sandwich to the airport. Check and recheck your rental car reservation, maybe make more than one.
I think these articles usually ignore the fact that in most cases USB-C is a strict improvement over previous state of having a bunch of proprietary ports with proprietary cables and chargers.

When it fails, even in most cases, it fails in a way that you still get some result - your device still charges, your data still transfers. More slowly, but it still works even if you need to grab a suboptimal cable.

In all the other cases, you're pretty much in the same (or better) situation as you'd be with specialized proprietary port - you need a special cable (e.g. Thunderbolt 3 for fast transfers or 4k@60Hz image) which then ends up being compatible with slower and less capable devices anyway.
It's absolutely crazy to me how fast the sculpt mode has improved, especially since it's mostly done by one guy!

It's not going to "catch up" with zbrush, but it being integrated into a complete 3D suite is a huge boon. It's still missing some key features (e.g. polypainting, which is coming soon I think), but if it keeps improving at the current rate, I could see it being a serious contender especially in areas such as concepting.
The problem is, that the assumption is not rooted in any empirical phenomena. They have neither historical data to fit to (which itself would be tenuous) nor do they have any sort of first order justification for it.

It's like doing a car crash safety simulation and stating that the airbag provides protective force "linearly proportional to the force of impact, with alpha > 1" ... without ever measuring it or doing any calculations on why this would be the case. Would you drive in a car that was tested this way?
This actually exists (press F3, with default keybindings)
Because between the $2 cheap charging cable and the $40 do-all cable there are many variations; the $2 cheap cable can be limited to USB2 speeds (480 Mbps) and 3 Amp charging, but when you go for better you can pick and combine more charging current (5A), better data speed (5 Gbps or 10 Gbps) or both. Depending on what you want, current requires thicker wires but data speed requires better electrical quality, putting everything together is more expensive. Still, you can find good cables at $15, but not in the Apple store or on Amazon, their costs and margins make the $10 cable from China retail for over $25, even $40.
I'm sorry but I think warming up old chestnuts about Mao, Lenin, Pol Pot, Che, Ho Chi-Minh or Stalin would be pointless by now, decades after since their "progress" has been laid bare.

Maybe I'm biased, but I come from an underpriviliged background (in a first world country), yet made great strides and climbed the social ladder. Throughout my experience, people the most concerned with trying to frame my poor childhood as a "class situation" were almost always middle-to-upper-class people.

At some point it even felt like rich kids use this framing to keep poorer ones form passing them on the social ladder. But I'm convinced by now that the urge to frame groups into instituitional victims, is something more personal: Having the luxury of never having to grow up because of their parent's financial background, they rather choose to pick a fight they can't loose because it's not theirs.
> How about keyed connectors and sockets?

The only cable I can think of that had keying for capabilities was DVI, and that turned out awfully. So many times you had cables that could work, but the keying rejected them.

Keying is much worse than simply having cables of different speeds.

> Why have incompatible cables with identical form factors?

They're not incompatible.
Oh great. Yes, I guess not seeing the voting on one's own comments would be good too. (Looking at the score on my comments is a very small percentage of my HN time, but my HN total score is there every time I return to the main page. Have to learn to ignore it I guess.)

As long as it doesn't mess with the voting system too much! Maybe there'd be many more bad comments if people couldn't see their points total/comment scores.
I have family members saying “All lives matter.” It might be a bit ignorant, but for most people—who don’t live in big urban areas and who aren’t exposed to all the back and forth on these subjects—it’s not a dog whistle.

What exactly is someone who spent their whole life in coastal Oregon or rural Iowa supposed to do when they see rioting and looting in Seattle, Portland, Chicago, etc., and then hear people say we can’t condemn it because of structural racism. They’ve never seen the block-by-block segregation in Chicago. They’ve never lived in east coast cities where highways were built where cities had previously been divided on segregationist lines. They certainly didn’t vote for the municipal governments that hired the cops that killed black property with impunity for decades. Their experience with the police, meanwhile, is with small town cops, not big city police departments with body armor and armored vehicles conducting no-knock raids.

I happen to agree that people in Osceola County Iowa (where my wife grew up, and which according to the census has six black people in a county of 6,000) should educate themselves about what’s going on in the rest of the country. But saying they’re using “dog whistles” is ascribing to them a state of mind that’s completely unwarranted.
What kind of breakthroughs? How long do the benefits last after the silent period?

Thank you for taking the time to answer
The UI, both mouse and gestures were really fantastic. SketchUp gravity points and gesture inference was exceptional. I've used it to get thoughts out quickly since 2013. I'd pay $25/yr for it. Although I've never 3D printed anything, I just find it intuitive and a fast sketchpad.
It doesn't just work. If I get a wireless keyboard and mouse that "just works" in theory but in practice does not "just work" always, then that's a load of hassle that far outweighs any advantages it may have.

In essence, the drawback is the lack of trust, because the promises of wireless that "just works" have been repeatedly made and broken. Fool me once, shame on you, fool me twice... I won't allow myself to be fooled again by such promises.

So if you do have a system that just works, then I'd refuse it on principle (because I simply won't believe your claims, no matter what you say) until at least multiple years have passed with it being widely used resulting in a general consensus that it really does just work in all cases, without there being e.g. a 1% minority talking about all the many edge cases they encountered where it turns out that it does not actually "just work".
I just hacked together a little blog directory recently - woozymans.com.
See arguments against excel/vba...

Nothing has changed, today's web frameworks are pretty much worse on all fronts than the mess of excel, access, vb apps written by people without any formal training. At least many of those utilities worked for years after being created, unlike this mess which requires constant reworking just to continue working.
I'm still on Lightroom 5, I bought it years ago and that's where all my photos live. If I'd been forced into a subscription the total cost would have been many multiples of what I paid. I don't rent my camera for years on end- why would I rent the software that organizes all my photos?
FFS, they build newer packages than Debian.

If you don't like that, use Debian directly. It's a good distro that has stood the test of time.
Programming 'language': Brain scans reveal coding uses same regions as speech
Agreed. If a cable plugs in it should "work", and all usb c cables "work". I can use a crappy usb c cable to charge my laptop.
The issue is that how "well" the cable works varies wildly and is not visually determinable. I can use this cable to charge my laptop...but how long will it take? That's the issue
They are opening it up, just taking time as they are developing the appropriate API points. This is a complete rewrite, going to take awhile before all the same API is available. They have opened some major addons as they are tested and stable.
That answer is still correct, which is that Blender's workflow and concept of 3D geometry is good for making nice pictures that don't need "correctness", but not what you want for mechanical engineering.

FreeCAD tries to be like SolidWorks/AutoDesk Inventor, and I think you'll find the workflow much better suited for designing mechanical parts in a precise way. Last I tried FreeCAD, it felt pretty alpha quality, but that was a long time ago.
Apple gets billions and billions each year to make Google the default search engine in Safari on iOS and Mac OS. (reported to be 12 billion in 2019 [1])

Apples privacy efforts and signaling are motivated by differentiation to Android/Google and are mostly just marketing targeted at increasingly privacy-aware consumers. Not some value judgement. (in my opinion)

[1] https://fortune.com/2018/09/29/google-apple-safari-search-en...
IMHO, the language size DOES matter and IS related to the language complexity and especially the syntax complexity. However, I believe many designers ARE aware of complexity issues and many languages turn into a mess only with time. BTW, I have designed a PL with a syntax, which is specifically designed to be not-prone to this syntax complexity problem as the language evolves.

There's also general philosophical advice that one should use the LEAST powerful tool for a task among all viable options. Many, especially newbie, developers just don't get it.

So, in general Wirth is right. But he is also known for oversimplifying his "50-page" language reports, and according to my experience, 50 pages is not sufficient to specify precisely even a small (but useful) PL. One such well-known lack of precision is nominal vs structural type equivalence in Pascal.
Can you explain how this would be different from the current situation? When both cables and devices are usually backwards-compatible, what do you even key?

The main thing I can think of to key out is charging-only cables, but those aren't even supposed to exist as far as I know. Cables are all supposed to have at least the USB 2.0 wires.
222 is also the hex color, so the name would make sense still.
Speech and language are related! I suspected as much, thank you!
Dang congrats that is a solid monthly income and solo wow.
"because of perfectly ordinary border enforcement arresting illegal aliens."

Sorry, no I am actually super upset about the ongoing detention and inhumane treatment of people at the border. ALSO about family separation, but the cages are immoral to me as well. Many of these people are not "illegal aliens" but people seeking asylum which is NOT illegal.
Yeah, but computer performance isn't a bottleneck in most applications, engineer performance is.
Dj Tablet Sa – New Beginning
1 million views
I'd suggest Fusion360 for this. Solvespace or FreeCAD if you must use OSS software. It depends a lot how complex the stuff you plan to build is.

Fusion360 is free for personal use so you can wait until you actually earn money with whatever you create until you buy a license.
I was going to say "yes!" because we do have some telemetry/metrics improvements coming up, but then I realized those won't address your use case. It seems like aggregating cluster resource usage by job priority is what we need for that. Our UI might be able to calculate that, but I don't think our metrics include job priority so there's no way for your existing tooling to display it.

Please file an issue or link me to an existing issue of you have time. This seems really compelling!
> Probably part of the issue is use case.

Style alone seems like a fun reason.
I use 1blocker but its a paid one - there are a bunch of free ones as well but I got bored working out which ones were scammy and 1blocker (at the point in time I started using it) seemed not to be scammy.
By being obsessed over a topic I meant that back then I'd take any kind of criticism as a personal attack or just presume that everyone's not educated enough on it, instantly resorting to using "ad hominem" arguments myself. Thankfully, today I'm a completely different person. Being passionate about something is something completely else that I personally consider beautiful in its own way.
So I take it you won't be signing up for Adobe® CloudBrowser™ any time soon...?
Not really.

I see fear behind most of the worst behavior in our modern politics. Education goes a long way to address fear.

Want politically charged? I suspect the reason the U.S. has its current president is due in part to a emasculated voting class lashing out from feelings of powerlessness. Education would have gone a long way to making them feel more relevant in a constantly changing economy/society.
Who pays for k8s development?
I had a look and this might be a completely ignorant suggestion (I don’t have a dog) but to me it was very surprising that dogs would like frozen food, so maybe you should explain that/why they do. Just seemed counterintuitive, I’ve never seen anybody give anything frozen to their dog.
Tumblr implemented this about two years ago, not sure on revenue but I imagine it's been very effective for them.

(You can disable this for your personal blog posts in settings)
I've had this conversation a lot lately with a friend of mine who is a React developer. And I recall a thread on HN where someone broke it into a dichotomy.

There are those who believe strongly in the web as interactive documents. I fall largely into this camp. I want small pages with a minuscule amount of JS.

On the other hand, there are those now using the web as a distribution platform. My favorite example is Figma. Figma is my favorite vector graphics program of all time. Compare it to something like Illustrator, but with file syncing, collaboration and updates abstracted. I don't have to expose myself to the horror of Adobe bloat.

So I must disagree. SPA and the rise of JS frameworks is not one of the worst things to happen to the web. Look at what Facebook has become. It's an application, not a website of interactive documents. Or see what GitHub is doing. They are soon to integrate a whole IDE into the browser with Codespaces. I'm bullish on WASM as well. I envision a future where all software could be distributed via the browser.

The problem I think is that too many companies have become overly ambitious and bought into a lot of unnecessary tech. Reddit is a great example, and they are also guilty of pushing their native app incessantly.

The problem isn't the technology. It's the misuse of the technology.
That smacks of sample bias and survivorship bias.

Sure, you and your social sphere have done well; but what about the population in aggregate?

Not everyone will or can work at a FAANG, or is competent enough to rise to that compensation level within those companies.
Wow, I completely missed this! Nice.