skysight-inc/HackerNews huggingface dataset:
> authoritarian leaders will they comply?

Apologies for the seemingly seagull-ish comment/rant, but it is 100% true: "money talks, bullshit walks". Zoom is not going to miss out a 1bn ppl market because of ethics. Apple will not miss out a 1bn market because of ethics. Blackberry handed the keys to the kingdom so fast the heads of the tortured people were spinning, and the tale goes on and on. Autocratic regimes play by our (civilized) rules when they claim "local laws, terrorists, pedophiles", etc.)(hey our govs use the same narrative, right?)

We don't stoop to their (autocratic regimes) level and ignore there legal (and unethical requests).

Capitalism (aka money flowing from country A to country B) is cross-border, freedom-agnostic, and amoral (not IM-moral)(utter lack or morals instead of bad morals).

I use a phone made in China, and thus allow a USA company reduce the number of workers in the USA market and increase dividend to its shareholders. That empowers China to continue its thing since all they care for is my money. Not my attention and my opinions. In the end, I help them get the power they seek. This is why we placed embargo to Iran, Russia, NK.. to teach them a lesson. But China? Too much £€¥$ at stake to isolate them.

May the one without sin cast the first stone. We are all in this together unless we ALL boycott Zoom, Apple, Google, Cancerbook, and the rest until they either help CHANGE China, or we let them isolate and starve until the people will start the fight back.
Σ(x*y)^2 is the closest to the traditional notation, which does not mean that it is the best one.

I have a strong preference for notations that can be read consistently from left to right (vide pipe operators, chaining, etc). A litmus test is if when I read something I use the word 'of'.

If you do anything more complicated that only vector-matrix operations (i.e. a lot of quantum information, all deep learning), with all multiplications you need to specify dimensions somehow. Having only two operators for multiplication is not enough.
I don't think there's a word like "Huh" in Hindi.
No, the concept is different in the US. It's conceptually not the same as an EU union.

If you think EU unions are great - then you'll need to first educate American union advocates about what they're doing wrong.
There is also a JavaScript engine called Hermes.
yes I like Julia very much because it seems to put the natural instincts of mathematicians upfront. When programming in Julia you do not have the impression of fighting against the language continuously. Everything that you want to do is accessible, and it is alright if you implement your computation in the most natural way possible. If I try to do that in python, I always end with an ugly mess of numba, numpy and calls to C code used at different places for different reasons.
Even so, 50% is hardly a monopoly and consumers have plenty of other viable, cheaper options.
Yes, one of the founders is a coder who developed RSI and couldn’t find a good tool. In a form of UX bootstrapping, I’m pretty sure the product is being used to build itself
'How my photo ended up breaking Android phones'
You just described exactly how insurance actually works. I don’t really want to live in a world where the higher risk people are MORE disincentivized from being able to secure insurance by eliminating “subsidies” because of their behavior. Insurers need more of lower risk people to subsidize higher risk people (or events) otherwise the whole thing simply doesn’t work.
My story:
My very first job was as COBOL programmer aged 20. I was made team leader after a couple of years and found it was a great job for me. You are hands on but you get to be involved in more stuff. I stayed in that sort of role for pretty much the rest of my career, sometimes with a team, sometimes on a team. Out of 43 years I spent about 7 years in the middle away from coding in management and sales. They were not my happiest time but I got paid well and I am sitting in a house it helped buy. Make of that what you like.

My problem when in my 50s was putting up with how ridiculous some of the people I worked with seemed to be. Shoehorning in the latest (now obsolete) technology where it did not benefit the end result was common. In the end I settled into being a Java full stack contractor, remote from internal discussions, just getting on with doing a good job. I retired myself from that at 63.
I think this isn't primarily about a database migration/consolidation and specifically not about MongoDB. IMHO it's about cutting cost and complexity by building a single world-wide software platform. Of course this also means that local specialities and local teams will be questioned and probably be made redundant.
Have you looked into ansible pull mode?
Transparent superpages solve this

http://u.cs.biu.ac.il/~wiseman/2os/superpage/navaroo1.pdf
I generally agree with your points, especially with the flagrant discrimination between processed and unprocessed food, but I think you're being unproductively predantic, especially if it comes to what might be useful for the "general population". My impression is that it's easiest to be consistent if you adopt a fairly simple (unnuonced) set of principles that guide your doet and lifestyle, then adapt it as you gain more control. Exercise good, processed bad, is probably a great place to start for most people —including the author if they hadn't already done the research. As a Canadian, even though we get a lot of stuff from the states AND even though the states has some kind of "added sugar" labelling, I was pretty disgusted to see some things in supermarkets. Yes Walmart has a pretty decent grocery section now, but it sits next to McDonald's where you can get 30 chicken nuggets for $10, the boxed foods aisles that have an exhaustingly low supply of no sugar options, and the fried chicken section where $3 goes seemingly a lot farther if you don't think about it.
Surely apple is to blame for it though.
I disagree. With that outlook, we would never have had the social movements that changed Europe for the better in the XIX and XX century. In modern terms, stuff like BLM influences who your colleagues are, how you treat them, and how you react to their demands for fairness.
But both are package managers.
Viraptor is right. Your "solution" is far from unversally acceptable. If you came to me as developer telling me that you did 2 months debug on test that fails randmoly once in a week and you didn't do much else, I would probably show you the dor as a team lead. We need to put things into perspective.

I hate the flaky tests just as much as a next dude but seriously, you need to factor in everything - deadlines, features, CI/CD, metrics etc, while still having constant time frame.

So lets not get into such polar opinions, its just not realistic at all. Life is never that ordered.
When a quick project gets out of hand
In the future, I hope, there will be more convergence between formal proofs systems and the mathematical notation for learning, teaching, and storing knowledge. Systems like Lean, Coq, Sage Math, Octave, etc should work together on bringing more uniformity to the representation. Not for the actual code or an engine but some uniform language/format/interface, bringing the way to read and write it as a daily math, while preserving portability between those systems.
I try to use sqlite for all projects until i cant.

Its a little scary how much it can actually handle, and how lazy and sub optimal it is to reach for a "real" sql server before you need it.

Having the database as a simple file right next to yoyr application is incredibly convenient not to mention how brain dead things like backups are to grok.
A big thanks for all the comments! Looking at Caddy now. Hoping I can put it in front of a Rails app fairly easily.
Show HN: A multi-markup reader in less than 100 lines of Python code
Also a coronavirus convert to "skip breakfast". That has let some weight to "effortlessly" slide off. Down about 7 pounds (3-ish kg) from 195 (88.5). I have many more days behind me that before me, so I refuse to give up on eating things I've spent a lifetime consuming (red meat, super processed snack foods: high density carbohydrates, fat, salt and probably more sugar/HFCS than I care to consider. Mmmmm). It has been all about quantity for me. I have been consistent about getting exercise, but that has minimal impact on weight as has been pointed out.
Meh.

Majority of time, in my experience, flaky tests has nothing to do with the software but it is about faulty test infrastructure.
I guess one core thing is that I don't think that the traditional mathematical notation is particularly consistent. (For a reference, I published over a dozen mathematical papers.)

I love when the "data-flow" is consistent, from left to right.

The Julia code (and traditional mathematical notation) reads: middle, right, left.

Plus, instead of inventing infix notation, I find it cleaner to write custom methods/functions rather than rely on (a fixed, limited, and non-apparent) set of built-in inflix operators.

Made-up .^
Congress only comes up with broad guidelines. The actual implementation of laws are done via departments like the FTC, FDA, FCC etc. (of course I am just giving examples). Those committees are run by unelected officials. If someone wanted to get those laws enforced they would go before unelected judges with lifetime appointments - again chosen by the executive branch. The Justice Department is also suppose to be independent, but again is heavily swayed by the executive branch.
Not picking a side on Zoom, but the idea that people in poorer countries can’t restrain their impulses to a high degree is preposterous bordering on insulting.

The US doesn’t censor based on a moral compass, either. They censor based on an idea of (extremely) basic decency that actually permits a lot of immorality.
Yep, and I am old enough to have actually worked several years at a time when certain official documents/registers had to be hand-written.

I am not talking of one line per day, I am talking of tens of pages per day.

When you have to write at length (hours per day) there is nothing as "light" as a fountain pen, using ball pen or rollers invariably get your hand more tired.
For me, each of those text based representations is more clear, despite their divergence, than the symbolic version.

I have a lot of frustration with this notion of the "visually evident formal properties of the integral" -- I think the existing visual-symbolic paradigm of mathematical notation is intuitive to some subset of people, but that subset does not encompass everyone who could do mathematics at a high level, excluding those for whom some alternate, in this case more text-based, representation is more tractable.
Looks like a completely stock S&W M&P 15 Sport II, 16” barrel, GI style mag, collapsible stock, plus a cheap airsoft optic.

M&P 15 is a complete knockoff of US military M4/M4A1 carbine, except barrel is longer and has no full auto function to comply with regulations.

Way too boring configuration to build from parts or build out of an 80% blank, and also probably not an airsoft.

Disclaimer: I’m an airsofter outside US at best in the context
This is true. I should have stressed the "while you're new" part and added "say yes but communicate when you're overloaded". After a while you'll start to see the good projects from bad ones and can stategically keep your mouth shut when someone pitches them.
For those who are wondering about reasoning behind this being the path to full AGI I recommend this Gwern post that goes into detail: https://www.gwern.net/newsletter/2020/05

From what I understand, its not just that the GPT-3 has impressive performance but more what is signifies and that is the fact that massive scaling didn't produce diminishing return, and if this pattern persists, it can get them to the finish line.
Awesome. I’m looking forward to reading this given you’ve just finished thinking through all these details.
Escorts Trans Y Travestis En Argentina – Acompañantes Traviesas – Sexo3
Reconciliation and the Love of God
No. They are different use cases. Personally I prefer the 45W chips with higher base clocks at the expense of battery life. 15W is unsuitable for some workloads, though the latest 15W "U" chips from AMD are making some waves there.
The push versus pull difference between ansible versus salt is a worthwhile design choice. In my opinion, salt does start to make sense until about when you would outgrow ansible. That said having to replace all the playbooks and. Roles written in ansible.when you outgrow it is a bummer. I don't want ansible to move away from push, but it would be nice if there was a layer to let it work both ways.
I think that is inevitable as long as the top N companies enforce their morals and standards on consumers all over the world.

If the world could agree, we can legistlate these companies to be neutral and grant then protection from some state lawsuits if they don't enforce standards that aren't globally agreed upon (by the UN for instance).

It will be tricky because that means admitting that internet companies are their own independent states and many countries will not be happy with that.
To be honest, I do everything inside my nodes via https://cloud-init.io these days. A single YAML file (yes, yes, I know) that typically bootstraps the machine, grabs a compose file, end done.
India considers a blanket ban on cryptocurrencies
I don't see anyone else mentioning that the selling point of using YAML in Ansible is "human readable."

I see no practical benefit to requiring devops people to use one scripting language over another, when there are so many equivalent choices to accomplish the same tasks.
What’s the over/under odds on betting about how long it’ll be until it’s accidentally exposed to the internet and hacked?
Been using a Gergo for well over a year now. I think I might own the first one that was made with the low-profile Kailh Choc switches.

I can't imagine going back to anything else. The low profile, combined with custom key layout (workman, modifiers on homerows, etc) has done wonders for my RSI. Of course, tho "wow, what's that"-factor is also fun.
This article is misleading. They have migrated some of their databases to mongo, not all of them
And yet in some crazy parallel universe, content authors choose to tag telephone numbers as such to make them clickable, rather than having to tell a browser not to incorrectly interpret text.
why is "@" so bad? i mean it's a huge glyph but it's just an operator like +-×÷•, you get used to it
Breakdown by David Sinclair in this Twitter thread: https://twitter.com/davidasinclair/status/125991292869585715...

Highlight:

>The result is so literally incredible that even the first author, Prof. Steve Horvath, didn't believe it at first. I suggested he check if the rats were mixed up, but he assured me he checked their genomes. The rats weren't mixed up and the data is the data.

>Using the final versions of their epigenetic clocks the reversal was: liver 75%, blood 66%, heart 57%, hypothalamus 19%. Average rejuvenation across four tissues was 54.2%. This is astounding.

>What else did they see? Accumulation of fat in old tissues was greatly reduced. All health-related blood biomarkers they assessed (lipids, liver function, blood cells) "were altered towards the values of young rats, without exception."
"First they came for the communists..."
I'm now old enough to retire if I wanted but intend to go on for another ~5y. Worked at the first place for 26y (3/4 different employers, mostly takeovers). When I got made redundant, I retrained as a teacher, which I stayed at for 5y. Managed to find another dev. job which I've been at for 10y. Could go higher and still be entirely technical but would be expected to mainly manage a few levels up. Still have to learn new things and am happy to.
a) I'm not suggesting this for banking transactions- that'd be crazy. However customer service, interactions whilst at a branch, handling all sorts of loyalty programs and etc. To my knowledge, Barclays in the UK use Salesforce for some of these.
b) Don't know SAP licensing model but I can't see a major bank not being able to afford $100/month per user for Dynamics/Salesforce.
c) They do some offering for these kind of things,but I can't comment on how itd work on such a scale.
> see what the hell Rainway even was

What's up with all those game streaming services that seem to be popping up everywhere? Was I just not paying attention or is it the new hype of the year?
The researchers discuss the question whether “huh” is a word or just a grunt in the linked paper. (https://journals.plos.org/plosone/article/file?id=10.1371/jo...):

> Huh? exhibits linguistic conventions that speakers need to learn in order to use the form properly. A learner of Spanish has to know that repair is initiated with the mid front unrounded vowel ‘‘e8’’, a learner of Cha’palaa has to know that the form is more like ‘‘aQ’’ with falling intonation, and a learner of Dutch has to know that a glottal fricative at onset is common: ‘‘h38’’. Its acquisition follows a normal trajectory, at least in American English-speaking children [37]. Second language learners’ reports confirm that the precise form of this interjection has to be learnt, and that intuitions are not necessarily a reliable guide in this process [38].

> Perhaps there is a continuum from non-linguistic vocalisations like sneezing and crying to prototypical conventional lexical items like bless you and pain [39]. Our evidence suggests that huh? is more on the word side of that continuum. Based on the fact that huh? is integrated in multiple linguistic subsystems and conventionalised in language-specific ways we conclude that huh? a lexical word.
I think there's a place for alternate representations like these outside of proofs that need to be exhaustively machine-checkable. I have, for what it's worth, had far better experiences with Coq and the like than with mathematics in general.
> With code, I do this on a regular basis. With mathematics, it is plain impossible.

It's easily possible with systems like Coq [1] plus a nice IDE [2]. There are mathematical libraries for the foundations [3][4].

[1] https://github.com/coq-community/awesome-coq

[2] https://github.com/coq-community/vscoq

[3] https://github.com/UniMath

[4] https://github.com/math-comp
Okay - thanks for refiling and spelling it out; it's a legit thinko which we're fixing.
Everything based on historical data doesn't work for me, because there are too many variables.
I have no problem with this. If Facebook is a private company that could use its monopoly power to censor people and ban them arbitrarily, certainly it is a private company with the power to end relationships with employees who disrespect and harass their colleagues.
Remember when Zoom bought Keybase last month and some of us were raising concerns that Zoom is beholden to the CCP and most of the HN discussion thread was defending the company saying how just because they employ a lot of people in China doesn’t mean they will do anything like this? Pepperidge Farm remembers.
"The engineers knew their jobs, not much opportunities to copy/paste blocks from the interwebs, nor asking in a forum what the problem might be :-)"
Logicomix is the best. I strongly second the recommendation.

This novel not only discusses the logical aspects of self-referentiality, it also goes strongly meta on it. At one point in the novel, you see the authors of the novel debating on how to best present a particular story.
If you build a general ledger application for the 10th time, sure forecasting is fairly straightforward. Nothing I do at my (very large, non tech but highly software driven) employer has ever been done before here. All estimates are treated officially as if they are date time accurate, but changes happen during the lifetime of the project so often you may as well use a random number. I call it a "nod nod wink wink" estimate: every wants it to be accurate, but no one really expects it to mean anything, other than the budget people.
I’m sorry, he’s from Barcelona.
In my city's Spanish it's "eh?" or "hm?"
Is the Youtube entity dealing with EU users a US company ? Aren’t they based in Ireland for all business and legal purposes for these users ?
> The whole point is not having to understand everything at once. And I would expect to understand what that particular line does to whatever level of detail I want by reading that line and recursively working backwards through the definitions of each operation invoked. Like clicking on each identifier and then doing ‘jump to definition’ in an IDE, instead of reading a book from cover to cover.

You regularly do that, using a tool built specifically to do that because it is close to impossible to read code without said tool. So are mathematicians just in need of better tooling?

> (And yes, this is why literate programming is a silly idea best forgotten.)

That style works pretty well for all other thought-transfer (i.e natural language)... are you sure it's a silly idea? or has the computers programmed us more than we have them?
Show HN: CodeBERT a RoBERTa model pre-trained on Python Code (Colab)
If you want to just learn notation and you're starting from scratch and know how to code, the linked article fits that description.

However, notation for its own sake is not really something I'd suggest sitting down and learning. If you have some maths you want to learn, the notation will come along with that, so any book or article that introduces the maths you want will also introduce the notation (usually building on some foundation level of existing knowledge, e.g. high school or whatever).
The Varsity pens are the only fountain pens that "just work" when I use them. Any other ones I own (Parker, Monteverde, Cross) seems to get dried up if they sit too long. My only complaint about the Varsity pens are they are too light -- I like a bit of weight to mine.
I might need to look at Crux again for my prospective it was missing pull syntax and schema on write

But reading from this thread that documents are converted into EAVT for every attribute? Sounds interesting
Not the OP but I think it's essentially a event driven system as opposed to real time.

Think of a account with $0 in it.

1. A -$25 event comes in

2. A +$50 event comes in

3. A -$25 event comes in

The first event would fail in a transactional/real time system, but in my bank it doesn't. This tells me the balance is only calculated every once in a while. The balance you get in a app is only a estimate.

This makes sense when you think how slow bank transfers and using paper checks is. At some point it is decided to run the events "for real" and that's where overdrafts and the like are applied.

Don't think of them as transactions, instead it's a transaction request that can be rejected.
> Politics between colleagues should not be done at all.

Hear, hear.

In fact, it's an age-old addage that politics and religion should never be discussion topics at work because of how easy these discussions can spiral down to hostile work environments due to assholes like this guy.

And this case is just yet another example reinforcing the addage.