skysight-inc/HackerNews huggingface dataset:
I don’t understand, am I supposed to think it’s a problem that German companies are being managed by native Germans?
>Taleb talked

Only because I happen to just starting reading this 4 books [0-3] motohagiography (word-depipction-of-saints?), and until 2-3 weeks ago I am ashamed to say I didn't even know who that was:

Nassim Nicholas Taleb.

[0-3]: Antifragile, The Black Swan, Fooled By Randomness, The Bed of Procrustes
IANAL but my understanding is you're pretty much right. The problem is that there is no standard established way to disclaim your rights. And, in continental Europe in particular, it's not totally clear that you can disclaim "moral rights" to something you've created.

A lot of this is mostly theoretical legal stuff but lawyers worry about that sort of thing with the result that a lot of companies won't touch public domain software even if they know its provenance.
Their HEJNE shelves are particularly good if you have longer rackmount gear.

https://www.klos.com/~john/hejne.jpg
A lot of people are claiming “customer funds have to be segregated” and that “funds can’t be used to actually buy the security and are not released from the customer account until the trade settles”.

I think these are massive oversimplifications to the point of being useless or outright false.

I suppose if you wanted to learn a little bit about how the regulations are actually written, you could start here:

https://www.finra.org/sites/default/files/SEA.Rule_.15c3-3.p...

These are just some of the requirements that brokers have to “reduce securities to possession or control” for both fully-paid or excess margin securities.

Here’s my (mostly uneducated) opinion on what is really happening. It has roughly nothing to do with Robinhood not being able to execute Buy orders because they couldn’t post the funds required. Because fully-paid securities (non-margin) are paid for with customer funds, not floated by the broker while they settle.

The problem was that too many shares have been lended out to short sellers out from under long positions that are now trying to sell.

The hedge funds that borrowed and sold those shares simply
don’t have the cash or credit to buy the shares back at the current market price that the rightful owner has rightfully now sold. Failing that the broker needs to find someone else willing the lend a share the the hedge fund. And who would want to lend a share of GME to an insolvent short seller?!

So there is a deficiency, but the deficiency is because of hedge funds which are now $30B underwater while unrelated parties are trying to sell shares that have already been sold.

Yes, this is a long way of saying there’s a short squeeze. But you know the saying “owe the bank $1 million you can’t pay, that’s bad news for you. Owe the bank $100 million you can’t pay, that’s bad news for the bank!”

It’s a game of musical shares. The brokers that let the hedge funds load up on 140% short interest now need to either force-liquidate the hedge fund shorts to get back the share that’s being traded and needs to be delivered to Robinhood, or they need to find someone else to borrow the share from.

When the broker fails to deliver the share at the time the original holder sells it, the broker is now on the hook for any price movement that occurs until they can deliver. Which of course the hedge fund can’t afford, so it’s lose-lose.

In the end Robinhood disabled the buy button because all the shares being sold have been loaned out and shorted, there’s not enough shares available to borrow, and the hedge funds are way past bankruptcy at this point and hoping for some massive price reversal or else they take a lot of people down with them.

The counterparty risks at this point are extreme. It’s not Robinhood that’s the problem, it’s the people selling Robinhood shares that they can’t actually show a clear title on. I think what Robinhood is worried about mostly at this point is contagion when the hedge funds holding 140% short interest can’t afford the $30B bill.
“Govconnect powered by Salesforce”. How many licenses did the Federal government buy from Salesforce either through lipstick on a pig resellers like Deloitte or directly. You scratch my back, I will scratch yours.
Signal is GPLv3 software, so it is free as in freedom.
Common Lisp invented the REPL, Clojure only provides a subset of it.

Have a look at, "The Interlisp Programming Environment",

https://www.computer.org/csdl/magazine/co/1981/04/01667317/1...

Or online demos like https://youtu.be/OBfB2MJw3qg for Symbolics.

Ultimately you can try the community versions of Allegro and LispWorks.

https://franz.com/enterprise_development_tools.lhtml

http://www.lispworks.com/
Well out of the four of them I’d certainly want Tim Cook in the job.
Thank you for sharing that! It has never occurred to me but that makes sense.

For my Go/Haskell binaries, I usually do need to make changes in order to get them working. The smaller image size is essential in my use case though so I pay that penalty.
So this is an important point.

An American in Germany would probably knee-jerk to 'racism' for a few reasons, and although there are different kinds of unfairness, I'm not sure if that's quite the right word.

America is an open place, Germany, not so much. America has tons of really high-level aptitude migrants, Germany doesn't quite have that.

With respect to 'glass ceilings' - it's more complicated.

As a resident of Germany for some time, as an outsider ... I would have expected to be promoted well enough if I was materially 'that much better', but frankly, not otherwise.

I actually accepted the fact that 'this is a German company, it's going to be run by Germans'.

I was in France I felt the same way.

I don't believe in the notion that a random person from country XYZ has the 'right' to be an executive for example at a local company.

Definitely treated with respect and not face racism, definitely promoted rank and file based mostly on performance, definitely the same material, legal rights - but beyond that ... I always felt 'it was their country, not really mine'.

Also, there are quite a number of these countries run by foreign nationals anyhow, it's just not quite as common as in the US.
Well, if they work, pay taxes, can have a driver licence... Yes they will get citizenship after 5 years of residency.

I just hate this smug american BS. "We love XYZ", but will exploit it, and change rules every 4 years.
It’s actually really different in treatment, at least in Germany. Yes, you can loose your job but you get to stick around until your visa expires, which in my experience is tied to the visa term rather than the employment.

When you loose employment you’re also allowed to collect unemployment.

My visa class (basically the equivalent of an H1B) also allowed me to work as a contractor in my field.

Finally, getting the visa transferred to another employer just requires you to show up at the immigration office with an employment contract. Your employer doesn’t have to do anything.

There is also an assumption here that you’re a guest who is trying to do the right thing rather than someone who is trying to game the system or steal a job from Germans.

So, the reality is that it’s hugely different from the experience I’ve heard of people having with the American immigration system.
> equally whacky things trending on the left side, e.g. "Russian Ads on Facebook won Trump the election".

Why is that "whacky"? There were Russian ads.[1] They obviously intended to affect the election result (because why bother otherwise). Whether or not they were actually successful in affecting the election is unknowable. But it's not flat-earther-whacky to think they succeeded.

1. https://en.wikipedia.org/wiki/Mueller_report#Social_media_ca...
And yet if I recall correctly, they were quite deceptive and cagey about simply telling everyone the truth upfront. Instead they said it was for everyone's own safety.
It’s in Robinhood’s interest to speak in ways that indirectly support the conspiracy message.

They don’t get implicated in the conspiracy statements, but benefit from attention seekers like the Barstool guy screaming and hand waving. That distracts from the pretty obvious reasons why Robinhood is an awful and dangerous business and business model.

Now the mob is moving on to crypto and other scams, so the Robinhood PR strategy is perfectly executed and frankly, genius.
Lambda Stack: 2-Minute Install for PyTorch, TensorFlow, CUDA, CuDNN
Thank you for mentioning that and reminding me about two of my favorite projects, Eiffel and PyContract. (Is part of why DbC is so useful is because it's an extremely concise way to write assertions?)

I'd love static typing systems if they allowed for DbC-style type declarations. There are times when the thing I need to use isn't a generic int, or even a short int, but an integer three or more. That's also type information, just not type information based on the shape of the data in memory. I've never seen a type system that can make those determinations at compile time, even when working with literal numbers in source code.
I'm not sure I understand, but it seems like you mean greying out fewer comments, i.e. restricting it only to those which are more heavily downvoted? Unless we added some other visual indicator, that would be the same as ignoring the first 1 or more downvotes. I'm not sure that's a good idea because there's a lot of signal in comments being at 0 points, -1, etc., given that they start out at 1.

Two things are true: (1) not all downvoted comments deserve that status; (2) most downvoted comments do deserve that status. #1 sucks, but #2 is really important. The benefit of displaying #2 outweighs the cost of #1, which is not to deny that cost.

Of course it would be vastly better to only have the #2 comments displaying as downvoted, but with a community mechanism like downvoting, there's unfortunately no way to have only the benefit and not the cost. Moderation can help, though (we'll often restore comments that are unfairly downvoted) and maybe there's a place for something like vouching to return a comment to a neutral state.
This could be a combination of several possible things:

- Yes it sounds potentially like burnout. You’re recovering from a major illness which can make even minor work effort feel overwhelming. Give yourself some grace here!

- Covid also has cognitive effects on some, even after recovery. It’s possible you’re feeling fatigued or impaired, even imperceptibly, which could make you feel more anxious about your capability to contribute. Again, give yourself some grace, and try to pay attention to whether this might be a factor.

- As others have mentioned, potential contributing mental health issues like depression and general anxiety (these can form a feedback loop with burnout as well). Do consider looking into identifying and treating any mental illness you’re experiencing.

- You may be generally unhappy with your career regardless of title or compensation. You’re allowed to feel that way! Not every “good job” is necessarily a good fit.

- This time has felt isolating for most people, especially anyone who’s been sick. This isolated feeling can lead to or amplify any of the above. If you’re able, try to make extra space for whatever kind of social you feel comfortable with.

Most of all, just don’t be too hard on yourself. You’re doing the best you can, and seeking outside advice is a great step.
>Your observation about young people with four-figure net worths thinking it’s rational to gamble it all on options is pretty much this week’s equivalent of those living paycheck-to-paycheck “investing” in the lottery.

One difference here is the solidarity aspect of meme stocks vs lottery.
You also lose a lot of the cultural baggage when you go somewhere new, which when it's holding you back is a great thing to be rid of.

As a guy from northern England I have been held back in my career when working in the south because of my accent, which is not very strong anyway. For example not being allowed to give presentations, or meet clients, as there was someone who "Would give the right impression".

In the US I just have a weird accent. No cultural baggage, no jokes about being thick etc. If you can get past people trying to get you to say lines from Game of Thrones, you're accent doesn't mean anything.
How’s that for irony.
Ah I see. Got too excited.
It’s probably burnout. I felt the same after grad school. I couldn’t look at my computer for a year. I spent half that time traveling and the other half getting into visual art. I begrudgingly took a job because I was broke, and gradually got into a groove and found my passion again. About 10 years after that I hit another burnout wall due to an extremely demanding job.

I suspect it’s not age. I have a friend who is in his late 70s and he cranks out quality open source code using keen knowledge of the latest frameworks and community trends. He’s continued inspiration for me.

My advice would be to detach and take plenty of time off, and explore things unrelated to computing.
Building upon this idea: UbiSoft could license a version of the engine stripped of its game features (e.g. combats & health, climbing of buildings) with the purpose of creating historical reconstructions. These would be open source projects supervised by historians; every single detail could be discussed and improved, and changes merged via pull requests. Maybe UbiSoft's interest in the deal would be the free usage of the generated contents in the next instalments of its game.
I got sucked into that one as well and then went to the internet archive to watch some others. It was called the Computer Bowl:

http://tcm.computerhistory.org/computerbowl.html
Counterpoints:

- People will write long, impassioned screeds in response to the things they despise most.

- People don't just view posts that are about things they hate/fear, they "like" and share them because they feel the need to approve of and disseminate every "exposé" of the "bad guys". Even though most of it is vacuous FUD or twisted misinformation that accomplishes no such "noble" goal.
The article outlines the conceited maps of man; the overarching conceit being: the territory can be conformed to some arbitrary map.

Not unlike the counterintuitive way I am telling you the truth, a positive thing, and getting modded down for it in this thread in the most punk-tacular fashion.
No, the point is that while the model would have caused the collateral requirements to jump, that's not all the DTCC did - they enacted a 100% collateral requirement on specific stocks, which is not something the models required.
More Mental Model Missteps
I agree. With you and with the other opinions (why should only one perspective be right?).

I've been the lead developer on teams where I introduced Docker to solve consistency/reproducibility issues in AWS and Azure.

I've also done smaller applications in DotNet Core, Go, Node, Python, and Ruby. In those cases I've use other alternatives, including:

- Known Linux version, with git push-to-deploy (my favourite)

- Packer (the server), with embedded codebase (still quite simple)

- Docker (for most non-trivial deployments)

- Known Linux version, with chef or ansible (as an alternative to Docker)

- Terraform the machine, upload the codebase, run scripts on the server (ugh)

Every method had it's place, time, and reason. If possible, for simplicity, I'd go with the first option every time and then the others in that order.

The thing is, though, I may have an order of preference but that is totally overridden by the requirements of the project and whether or not the codebase is ever to be shared.
For solo projects and small sites, I've not benefited from Docker as I have never had any server/OS issues (and I've been doing dev stuff for decades).

However the moment there was a need for collaborators or for pulling in extra dependencies (and here is the crunch point for me) such as headless browsers or other such 'larger' packages, then I would move on to either Packer/Terraform for fairly slow-changing deployment targets or Docker for fast-changing targets, as otherwise I inevitably started to find subtle issues creeping in over time.

In other words keep it simple while (a) you can and (b) you don't need to share code, but complexity inevitably changes things.
Because the people who feel robinhood wronged them are most likely to donate to her campaign. Not as many IBKR users in her fan base.
Thanks. We didn't originally set out to write a new license, but when we did, we put real time and thought into it. It's nice to see that appreciated.

We've shied away from declaring one "right" way to use the license, because norms, conventions, and expectations vary so much across development communities. What's right and normal for, say, Maven artifacts would seem a bit strange in, say, an npm package or a C library.
I’ve heard people use the number of the store they’re at. It worked at a local Safeway when I tried it.
Oh absolutely. Boeing "subcontracts" out tons of what they do to as many states as possible. Each state == 2 senators that are worried about "jobs". Turns out in the long run it's cheaper to ship pieces around the country than "lobby" just 2 senators from Washington.
Until 5 minutes ago, I thought myself pretty copyright-savvy. I've spent perhaps $200,000 on IP attorneys over the last couple of decades--far more than most HNers, far less than many others. I also follow IP law loosely because it interests me.

Turns out I'm still a tyro.
One development since that article was written is Source Link:

https://docs.microsoft.com/en-us/dotnet/standard/library-gui...

It makes it easy to publish symbols for you .NET nuget packages. When debugging, Visual Studio will automatically download these symbols and the source code from GitHub, so you can easily step through third party code.

There is also support for C++
That's part of what I was talking about, but the original statement in the article was that rigorous testing guarantees software quality, and it also says "there is no other solution", and that is demonstrably false.

One example: A telecom product that processed phone calls. I stepped into a role on the team building the call progression handling system, which was based on an ad hoc state machine and some inter-task communication that included a combination of mutexes and message queues. It was a mess. Our testers succeeded in churning out a lot of bug reports. Not a single one of those bug reports did anything to improve the quality of the system -- even if we're not being pedantic and saying that only the patches in response to the bug reports were what might have improved the quality. Because none of the patching we could do really made any net increase in quality. The only thing that improved system quality was stepping back and re-examining the design. We changed the existing undocumented design to get rid of deadlocks by just using one inter-task mechanism (just queues, no mutexes) and by formalizing the state machines so that none of them got stranded in an unexpected state. Once the design was formalized this way we found -- by inspection, not testing -- a number of fundamental bugs in the states and transitions. After fixing those, more system testing showed some more bugs, but we were able to assess these in the context of the design and fix them at the root cause rather than just hacking on patches. The design changes also enabled automated integration testing that wasn't possible with the old ball of mud. This helped save time in allowing the [mostly manual] system testers to focus on certain areas of the system.

I've worked in other situations where lots of testing just resulted in lots of bug reports, which ended up mostly getting deferred and thus did nothing whatsoever to improve product quality.

And I've worked on software teams that were in fact producing rather high quality software, but we were building the wrong thing. It's really hard to fix bad requirements through testing.

I don't want to sound like I'm anti-testing, but I think it should be understood that testing isn't the source of quality, it's just the last phase of a process that hopefully has (non-test) mechanisms to ensure a quality product in the upstream process phases.
It's worth pointing out that with Oracle's new Java licensing model whether something is free on charge depends on a number of things including how Oracle thinks it's being deployed.

The Oracle JDK is indeed free of charge for developing aplications, but running that app using Oracle Java on a server as opposed to a desktop needs a paid license subscription & generates exposure to Oracle license audits.

Many, many firms are now using OpenJDK and the like, and have policies against even downloading Oracle's version.
Hey, It's already harder in that it takes lot of money to get married)
If you do any trading at all, you want a margin account so you don't have to wait for settling before making another purchase. While technically the money is borrowed for the 2 days to make your trade, I would never considered it borrowed in the typical use of the word margin.
I believe that twitter shouldn’t be legally forced to share whatever things someone wants to say on it, but I also think that it can be bad for twitter to choose to exclude certain positions.

Sometimes someone should do (or refrain from doing) something, but shouldn’t be made to do (or refrain from doing) that thing.

I think my major expectation for what claims a website allows users to make on that website, is that they make their policies for what they allow, not just technically stated in a ToS somewhere, but actually generally understood by viewers of the site. If someone wants to make a website which forbids any speaking in favor of putting orange juice on cereal, but allows lots of other things, then as long as what they forbid is clear, that’s not something I would think is bad. (Weird, yes, but not bad.)

Now, for handling libelous speech on a platform, I guess that is an issue maybe?
Honestly, “what about libel” seems like the most convincing argument I’ve heard for “websites should know who the users they automatically publish submissions from are”. But I’m still not convinced.
Your example doesn't highlight something important about this though: they explicitly disclaim the "implied" warranty of merchantability in addition to disclaiming all warranties in general. In other words, that means that in your example, you hadn't merely declined to say it works in a car, but you had in fact already said "I guarantee NOTHING about this oil filter; it comes with absolutely NO WARRANTIES", and yet someone would've still called you up and said "despite all your disclaimers you still have an implied warranty because you didn't disclaim it explicitly"... which is far less obvious than what you wrote.
To see the [dead] post, you should go to your profile https://news.ycombinator.com/user?id=crazypython and enable "showdead".
He’s a fantastic math personality...
To be honest it just sounds like you're one of those people who goes on social media, makes a claim, then when someone asks for evidence you just say "look it up". Unless you have something to contribute other than smug comments that amount to "look at these dumb plebs who know nothing about the market", then please stop posting FUD.
genlib to the rescue! Where would i be without genlib...
The project is really interesting and I think I am going to try it.

It looks like it's text only? would it be possible to add a very filtered, low-bandwidth audio stream since the phone can do all the calculations?

I have no idea on the actual bandwidth of these devices, wikipedia says LoRa is 0.3-27 Kb/s and Opus should work decently at ~10Kb/s I think. So maybe?

Although audio would probably be half duplex and only point-to-point instead of mesh, but it still could be interesting