skysight-inc/HackerNews huggingface dataset:
I got a credit card with them a few years back and immediately regretted it. Their tech (website, security, etc) seems okay at first glance, but almost immediately it turned into agony. Even just logging in is a chore, and often doesn't work. Their two-factor implementation is a mess.

In short order, I cut the card up. Still get sad emails (which they provide no way to stop) begging me to use it.

Also, interviewed at MongoDB once. Couldn't shake the feeling of a cult, where everyone was careful not to speak of the product's serious limitations.
Proper mathematical notation is absolutely for the input. Maybe not integrals and sums (which are a bit unclear), but fractions, powers and the more specialized notation is quite nice for readability.
I don't because I'm not left-handed - but my spouse is left-handed and uses fountain pens. And dip pens. And whatever else will give him writing and/or art he likes. (He does asemic writing in artwork... whole books of nothing but giggerish writing and charts and things). I honestly haven't really paid attention to his method, though. I just know it can be done without smudges everywhere.
>Access to pre-production should be limited.

Banks have extremely strict rules when it comes to system "access".

When it comes to "System Design" they have very little.

This are two separates topic.
Not sure you'll be able to use it. Abandonnware?
Today enhanced interrogation just means torture to me. Which quickly happens to any such phrase, they may start as spin but quickly turn into a euphemism and eventually gain all the negative connotations as the original.
Mentions in the middle Google also doing this a much bigger instl base then just ignores it. Also more specialist devices justs asks for all data that Apple or Google has in the health apps so how is this a moat?
I am sorry to be blunt, but that sounds like a PR statement filled with nonsense.

> If I'm writing a generic database-backed web app

If you are writing a system where performance does not matter, then performance does not matter.

> a machine learning system or a video game. Most of those, when written in C, are finished once they work, or at the very most have some very basic, minimal profiling / optimization.

Wait, what? ML engine backends and high-level descriptions, and video games are some of the most heavily tuned and optimized systems in existence.

> At this stage, the automated systems do better than most programmers do, at least without incredible time investments.

General-purpose JIT languages are so far from being an actual high-level declarative model of computation that the JIT compiler cannot perform any kind of magic of the kind you are describing.

Even actual declarative, optimizable models such as SQL or Prolog require careful thinking and tuning all the time to make the optimizer do what you want.

> 2) I'll be able to do algorithmic optimizations much more quickly in a high-level programming language than in C.

C is not the only low-level AOT language. C is intentionally a tiny language with a tiny standard library.

Take a look at C++, D, Rust, Zig and others. In those, changing a data structure or algorithm is as easy as in your usual JIT one like C#, Java, Python, etc.

> 3) My low-level code gets to be faster once I get into a very high level of hand-optimization and analysis.

You seem to be implying that a low-level language disallows you from properly designing your application. Nonsense.

> I can design memory management better than the automated stuff, but my get-the-stuff-working level of memory management is no longer better than the automated stuff

You seem to believe low-level programming looks like C kernel code of the kind of a college assignment.
Yeah, you got it right, I'm a native English speaker. I wouldn't say the first-person experience is entirely the same as forgetting a spelling, when I misspell a word I usually get most of it right and mix one or two letters up like piece/peice.

With a Chinese character, it's like you can't get the first stroke down and you're unable to reproduce anything. But once you've worked out the first two or three strokes, maybe by getting a dictionary, for me at least muscle memory seems to just take over and you can kind of just finish it automatically.

It's interesting though, these little quirks definitely give some insight into how the brain's underlying OS works. Funnily enough talking about dyslexia I often wonder if Chinese dyslexia and English dyslexia is the same condition, or if they're both completely different. Would an English kid be as dyslexic in Chinese if they were bilingual, or would they find reading one language easier?
I get the "Make illegal states unrepresentable" in theory but how do you do it actually for nontrivial preconditions like "this list must be sorted"? (as a precond for a binary search on a vector, for example).

OOP is fine with functional if you make it immutable too, so I don't see the problem (I've not really got a problem with mutable OOP, or state generally, if it's done carefully).
Temperature spike: Earth ties record high heat May reading
food?
> A lot of developers really hate committing to any kind of estimate

In development (as opposed to production) I personally fight against any commitment if it comprises the "what" as well as the "when".

You fix the date of the next release and provide me with a prioritized list of bug fixes and features to work on? Nice, let me start to work!

You think that a specific new feature could improve our sales and you let me drop anything else and call you back as soon as I have any news? Wonderful, I'm already analysing the issue in my head!

Anything else, and I'll let you know that your dreams are not likely to come true.
Transactions in bank accounts are actually not realized through DB transactions. It's easily visible if you ever had a failing payment: the amount gets subtracted but added again right away after that. They have pretty strong auditing requirements.
Parasite Burdens and the Flynn Effect
>The cost of architecting relational model that would be cover for 65 mini databases in a bank will be astronomical.

But they already have relational models, right? Can't you port the DDL over to centrally managed instances?
There is now: https://join.slack.com/t/ulws/shared_invite/zt-ewevpfmf-s1r3...
The circularity supported in programming, that programs ("quines") can refer to their own source code, illustrates the same issue at heart. Yusuke Endoh created a tantalizing Ouroboros quine cycling through 128 languages: https://github.com/mame/quine-relay
Spaceship Prompt: A Zsh Prompt for Astronauts
The physical sound of "haha" might be the same everywhere (to some degree, people laugh differently obviously) but different languages write "haha" different. Spanish: "jaja" or "jeje", Japanese: "wwwww"
Discord has(had?) the worst account management system I've ever experienced. I've never seen a site that makes it so hard to log in/sign up/reset passwords, etc. I think it was fixed for the most part now but I'm still bitter about discord.
I've now made a Slack for it: unlws.slack.com. Invite link:
https://join.slack.com/t/ulws/shared_invite/zt-ewevpfmf-s1r3...
Exactly. It could be what you expect, or it could be that the particular paper/journal/field has a slightly different syntactic convention, where underlined or bold letters mean something entirely different than usual. And even if the paper explains the syntax it uses somewhere, it's still a new ruleset that you have to constantly remind yourself of as you're reading the paper.
Four Ways to Preserve Company Culture as Work from Home Continues
They’ve clearly went through the process of setting this up with Discord, so it sounds like they thought about this. This day and age, I almost expect every product to have a delete button.
Well, it should be if you ask me. When a user wants to delete his account, it usually is because he isn't happy with the company or the service. I could imagine that by making the deletion as painless and fast as possible, a company could go a long way to regain that user later. Some "sorry to see you leave, but we try to make as easy for you as possible" message and maybe even a goody the user can use elsewhere. After all, the account deletion is an opportunity to get in direct contact with your users in a critical point of the relationship.
Cool. Searched for 'elk meat', was not disappointed. Are you using elastic for the search?
Only because the market has been killed by freemium games. Look how the Nintendo Switch is a huge game platform, where you basically only get full-paid games without in-app purchases.
Since I'm not in a Rock band, no.
What architectural level capabilities?
This is kind of true. For decades I was an ardent leftist. These days I just can't stomach what they're doing. It's a measure of how far they've fallen that Donald Trump doesn't seem that bad (by comparison).
Google Search trends in the US suggest a second wave is on its way
The problem with the GDPR is that there is no enforcement. At best, you're relying on the other party acting in good faith and wanting to respect the regulation.

I've had companies that breached the regulation, complained to them with no effect, raised it with the ICO, they got back to me, upheld my complaint, reached out to the company and still nothing despite them being based in the UK thus enforcing fines is trivial.

There is nothing preventing this company from getting back to you saying that "for security reasons (or other BS reason) the Discord-based process is the only way to delete your account" and you wouldn't be able to do anything about it because even the relevant authorities don't seem to care.
You aren't hearing me.

The difference is the order/sequence in which the events take place.

Regular maths starts with premises then looks for conclusions.

Reverse maths starts with conclusions then looks for premises.

So in reverse maths the premises follow from the conclusions - quite literally.
Mathematical notation is great at facilitating formal manipulations. This is its critical feature, and without it we would get stuck at the level of ancient mathematics. This is the reason it was invented a few hundred years ago in the first place. That said, I find that notation is often abused in texts as a mere substitute for the normal human language which, while allowing to compress the text, does in fact nothing to help the reader better understand what is being said but rather looks like a crazy mess of characters and other marks in a multitude of fonts, styles and sizes the only purpose of which seems to be to cause an eye strain.
"bullying" is definitely the word. And no one should be forced to take a political position, especially in a work context. There's a reason why our forbears left their politics at the workplace door.

Beyond that, I'd be nervous that a co-worker like this might advance to physical violence.
I'm not accusing hddherman of bad behaviour, but seems like this could be a decent way to advertise/astroturf without raising suspicion. Bring up flaw that, while bad, is irrelevant to most of the target market, and then splatter links over Reddit and HN.

The first thing I did after clicking reading the linked page was to go to their homepage and see what the hell Rainway even was. I don't need the service but it seems potentially useful to many.
Hence you ought to rebuild it from the ground up and if the police breaks the law they'll be punished for it.

Why is it so hard for americans to imagine that it's possible to have atleast a semifunctional police apparatus?
Reflections on GPT-3
Ask HN: Is there a compiler powered by a neural net?
OpenAI has recently shared a demo[1] where they "translate" English descriptions of tasks to Bash commands. I wonder if somebody experimented with using neural nets to compile code, i.e. to "translate" for example Java to JVM bytecode. The dataset for such neural net is easily obtainable and wouldn't require manual labelling at all.

[1] - https://beta.openai.com/?app=chat&demo=5
Been ages since I used a fountain pen, but did for years in school. https://www.nibs.com/content/left-handed-writers has a few techniques - #5 is close to what I was taught in elementary school. Ink selection also helps, some inks dry a lot quicker than others.
Yeah this can't go well...
Haha I feel this. Did you also have the credit card sized token generator with a keypad? How convoluted was that login process? Agony is the correct term!!
> An async implementation that does multiple ("embarrassingly parallel") tasks in the same process

You mean concurrent tasks in the same process?
As a freelancer, I often do not see the problem in the estimate or forecast as such, but in the willingness to accept an honest / realistic one. This of course has a direct impact on my sales position. To make a long story short: Most people want to be lied to as long as time is what is being sold.
The chart takes a sharp turn upward. Arkansas, Arizona, Utah, South Carolina, oof.
https://scholar.google.com/scholar?q=privatization+of+securi...

https://cdn.mises.org/qjae2_4_7.pdf

https://cdn.mises.org/22_1_23.pdf

There are various positions. Generally most disagree with the concept of intellectual property as it is now.

There are some who would disagree that property as in land can be owned outside of the ability to utilize it. Many point to the first principle of ownership stemming from utilization and improvements upon the land.

Generalizing about ancaps is a difficult proposition. "Herding cats", is an apt description. However your final statement seemed divorced from anything advocated by anarcho-capitalists.

There are real pragmatic concerns about advancing anything outside of the current paradigm. Even within the narrow confines of what is possible with the current system, we see deadlock and endless bickering.

At the end of the day reading political philosophies can be interesting, but not fruitful in the real sense of bringing about change. Just the same, misconstruing the arguments advanced within these philosophies isn't helpful.
Obfuscate JavaScript Code in 3 Steps
Probably not good for your case, but end of the summer we are going in beta launch for our product which is a visual + speech controlled programming language. It's very niche as it's a new language and IDE, from scratch, but so far it's been fun working on it.
Show HN: Jott (Fast, Local, Linked Notes) Is Out of Beta
It's about control. The CCP sees religion as a threat because it challenges the party's atheistic view. The underlying issue is the rejection of a pluralistic society which religion is a part of it as well as language, way of life, etc...

https://nypost.com/2020/02/01/how-chinas-xi-jinping-destroye...

https://en.wikipedia.org/wiki/Xinjiang_conflict#Re-education...

https://en.wikipedia.org/wiki/2008_Tibetan_unrest
Author of the article here.

There are situations that are way more predictable than the stock market. We as humans use the past to successfully predict the future all the time. For example we predict that we won't be able to walk through walls not because we understand how atoms bounce off each other but because we experienced not being able to do that.

Software Development is certainly more predictable than the stock market but less predictable than the walking through walls example.

In a stable team, often past performance is a strong indicator of what will happen next. It's not perfect, black swans can occur, but no one is asked to predict if your project will get cancelled for example.
You mean express.js ?
You could kind of do this using ansible-runner to dynamically generate a playbook that does what you want.
It’s an interesting description of the space of computation and I quite enjoyed this article even though, as many, I have issues with the way wolfram participates in science. Certainly what he is describing can be a way to view the universe but that is somewhat trivial. It is not surprising that you get something like the universe when you start considering universal computation. The fact that we can write down e.g. equations of motion means there is a Turing machine that computes it. The real test is whether this perspective is useful in the sense that we can predict properties of the universe with it. That test is still out and until it’s addressed there is no way to evaluate or criticize this model. It’s too flexible to be useful at this point.
It was 5 year ago, I don't really remember...
The technology and the research has always been cool. That doesn’t mean people are happy with the application of it.

What you’ll also find is that the people who like the surveillance could barely give a crap about the technology that enables it.

The Venn diagram here isn’t one that completely overlaps.
Face Masks Considerably Reduce Covid-19 Cases in Germany
SQLite is incredible, especially for embedded applications. It's one of those perfectly-scoped tiny pieces of software that consistently makes my heart sing.
The ticket process would involve the CS agent pressing a delete account button, so the majority of the work is already done, exposing the button to the user directly is very easy.
There seems to be a lot of people just assuming that ARM macs won’t be able to run x86 virtual machines. It’s a reasonable assumption, but since they’re designing the chips themselves, and it’s highly likely that they’ll do a Rosetta-like translation system to maintain backward compatibility, it seems almost inevitable that they’ll have some built in hardware for x86 virtualization. Maybe not as fast as native x86, but might not be far from it. The only problem is it might take quite a while for software like Virtualbox to be compatible with it, if Apple even makes the instructions or APIs publicly available
If a goal is worthy, one should keep persue it. It often takes preserverance to achieve an abitiuos goal. Don't let people win, just because they are stalling the discussion.
You are spot on! The paradox uses a, from the point of view of everyday life, highly perverse definition of "piece".

The definition of "piece" used is: "Arbitrary collection of points which need to bear any relation." This is in contrast to pieces of things in everyday life, which are firstly not made of infinitesimal points, but even if we keep rolling with that, satisfy the restriction that with every included point also some neighboring points are included.

This is not so with the "pieces" appearing in the Banach–Tarski paradox. In fact, they are so extremely rigged/fractal/dislocated/non-contiguous, that it is not possible to assign a meaningful measure of volume to these. For instance, the unit cube has volume 1. The empty set of points has volume 0, and so do sets which contain just a finite number of infinitesimal points. But the "pieces" appearing in the paradox are so weird that we cannot meaningfully attach any volume at all to them.

Also, there can never be any formula or any other explicit description of which points the five pieces consist of. This is because the proof employs the axiom of choice.
> how do you do it actually for nontrivial preconditions like "this list must be sorted"?

This depends on your data model, of course. But for a list of integers you could do the following:

1. Have a unique data type that is the list of Deltas, plus the initial element (So for instance the list [5, 3, 6] would be encoded as (3, [2, 1]).

2. Provide a sort function that creates such a sorted list.

3. Make the sorted list your input parameter.

This is obviously oversimplified, but I hope you get the idea.

A cheaper alternative is to

1. Make an opaque datatype "sorted list", together with a function that translates this type to a normal list. Implemen this type just as a list, but keep the implementation private.

2. Provide a function sort, that is the only function that can yield that type.

3. Demand that type as input.
Well, I did a PhD in quantum field theory and as part of that published a paper on renormalization..... Of course the infinite sets involved can be approximated using finite sets if one does not mind losing important symmetries. Still, these finite sets would still be frightingly and incomprehensibly large.... If one wants to comprehend anything one may be better off just ignoring quantum mechanics..... And I am not talking about the measurement problem. I am talking about the incredible vastness of the state space. The wave function of the universe is an incredible and completely untractable thing even if one assumes it is finite. It contains all possible histories of the universe for one thing and lets all of these possible histories interact with one another.
I think we're talking about different things.
Out of curiosity, what driver problems did you run into? I switched my primary laptop to an XPS 13 a few months ago after almost exclusively using MacBook Pros for over a decade and I haven’t run into a single driver issue. Even the usual suspend issues I seem to have with almost every single Linux desktop I build didn’t show up.

If anything, I feel like I ran into less issues overall on the XPS 13 than I did in macOS once I had everything set up properly. That being said I suspect part of it is due to having a very minimal setup. I have no DE, no DM, a lightweight WM (dwm), etc. so there are fewer moving parts that can cause a crash (in addition to a much more responsive feeling UI on cheaper/slower hardware).
>The real price of delivery of software over the Internet is zero.

Let me know the name of the apt mirror you're running. I'll be sure to point the couple hundred machines I admin for their hourly updates.
When I was at a school at age ten you had to hand-write a thesis on a subject of your choice, in fountain pen in joined up writing, in order to graduate to using a ball pen or some other more convenient pen. It was called your Master Scribe and I remember all the pupils taking it extremely seriously.
Nah, you can solve that by just using more expensive tech (ie higher adc bit depth and faster sampling). The cool thing is that it's doable!
Morning thought: if I was a marketer I'd try to confirm my hypothesis of an "I care about this topic" window with the most recent BLM movement. Will it also expire from the world's attention in the same time frame or will it actually create some lasting change? At least one big difference is that BLM is US-focused.
I also love rollerballs (bad name since even the shitty 20 cent ballpoints are technically rollerballs). I personally prefer the Uni-Ball Vision Elite, and compared to the cheap but well-regarded fountain Pilot Metropolitan fountain pen (which I used for 6 months before giving up on it), I really prefer the Vision Elite by a large margin.

The big 0.8mm ball feels much better to write with, and the ink is really great. While you don't have the same variety in ink as fountain pens, the black is really dark (& waterproof), and Uni-Ball has some nice BLX colors - the dark blue is also great. But the rollerballs are less sensitive to any imperfections in the paper, will write at any angle and rotation, never leak (so I don't need to constantly pay attention to what angle it is in in my pocket), don't get ink all over your fingers, and don't need special handling to take into airplanes. Just much more practical overall, and more of just a tool that works rather than an art piece that needs strict care (analogy).

Using rollerballs is more expensive over time; a bit less so if you buy refills instead of a new pen every time. But it's worth the convenience. And while I do keep them close since they're expensive, they're cheap enough that I never have to worry about losing one of the pens. I can afford to buy 12-packs and have 3 pens scattered around the house + a stockpile of extras.
why is stolon more safe than?
I tought stolon uses synchronous replication of pg aswell?