skysight-inc/HackerNews huggingface dataset:
From experience in reading machine learning and computer vision papers (shared by many of my peers), it's often way more enlightening to see the code corresponding to a paragraph of equations. Some non-programming math people are angry at this view, but really a lot of mathy presentation is there to impress and obfuscate. Many times the code is straightforward and clear but it has to be artificially dressed up in fancy Greek letters and symbols to make it look like "proper science".

Also a lot of math notation is very sloppy, the opposite of unambiguous. Math people will say it's necessary for brevity, context is important, you must take the relevant courses beforehand etc, be properly initiated etc. then you will understand. But for me it's still annoying even after a CS master's with many math courses. In code, I can jump to the definition of anything and see precisely what is meant. But a math person would say ambiguity is a feature because, say, the integral sign may stand for different definitions, but in this context we don't care which one it is. They'd often say, well, here you could substitute anything, you could use anything here, it doesn't matter what we use for this and that. But really anything? Can I use a pound of dog fur? No. In working code there is at least one working example to suggest what you mean. I will have a much easier time to understand your abstraction and though process.

I think people often think in concrete terms but intentionally keep this secret because abstract ideals are more prestigious, so it becomes the reader's job to figure out what the actual motivation and reasoning of the author was.

Thankfully AI papers now mostly release their code so it's possible to see what they actually do behind the smokes and mirrors on the ground level. I'm all for abstraction and general patterns and proofs but there is such a thing as too much.
Very cool. Digital archeology. Sounds like a new degree program for a school somewhere. Trowels not required.
Not sure if off topic but it wasn’t the RSI that put the nail in the coffin for my programming. It was spine injury and I had to have a surgery.
There’s lots of jobs around programming that don’t require as much typing and even when you do, it’s easier to dictate email than code.
Basically you got RSI from coding and generally spending too much time with the keyboard.
Maybe at least consider alternatives where you are not spending lots of screen time again.
> When you are new, say yes to everything.

Maybe, but not if you already know what is being asked of you is boring because you have tried it before and it did not work. Also, don't be afraid of sharing experiences that you may have had - if a particular library/algorithm is sub-optimal and you know it, speak out.
That only works if someone bothered to write their proof in Coq in the first place. Most don’t.
Absolutely. Now we realize the decades of voting more softly were just a waste of time.
That sentiment makes me pretty uncomfortable given the proximity of this article's topic to wider ongoing events. Like we should all pour glasses of single malt and sit around a table in our smoking jackets having a languorous discussion. These issues are too important, and the horror and shock and outrage are too fresh, to react to nauseating views by politely sipping your whisky instead of throwing it in their face.
First, he clearly says his friends chose. Second, is it not good enough that they're doing good deeds with any disadvantaged people? Third, these friends may a host of reasons to only return to a couple of places - they may have built relationships with the local residents, for example. And fourth, is every place mentioned in a hip hop song now "privileged" or something?
None of this stuff works with pipelined / staged deployments, where tools cannot make changes across stages using SSH.
Not on google cloud, more like tree fitty.
then you really havent been paying attention. most of their activities are doxxing white supremacists.

Seattle is a special snowflake because their PD is actively white supremacist and they regularly have out of town white supremacists harassing the local populace.

I'm happy their doing their thing when government fails so hard at its job.
Won't someone please think of the pedophiles?!
If you're joining a company that does not have an established, tried and tested onboarding programme you may find documentation missing (whether it be technical or process) and pitfalls you fall into as a beginner. It may help to write it down in a public forum or help fix the stale documents which'll help other new joiners.
Indeed this would be the fourth time they successfully switched architectures. They went from m68k, to PPC, to x86. Apple is in a pretty unique position in that they make both their hardware and software ecosystem. It gives them a lot of flexibility that companies who just make generic Wintel systems lack.
>Maybe that's true of low labor jobs, but Employees in six figure jobs have tremendous power.

You may be right. I don't know enough about those specific dynamics to argue against it. It doesn't feel right to me, but that doesn't necessarily mean anything. It does bring to mind professional sports in the US - Football, Basketball, and Baseball. All have player unions, and all have players that make six figures at minimum, with a fair amount making tens or millions and some making hundreds of millions. But, the NFL is famous for having the most toothless union, and, as a result, its players have the worst contracts/conditions - by a wide margin. It seems to me that unions could still help people who make six figures.

One issue I saw with the pre-Covid job market is that it's too often all or none. Either you spend a ton of time and resources getting a position that pays well and then asks you to work 60+ hours a week, or you take a job that lets you scrape by (even if those positions still ask its workers to put in a lot of hours). It's hard to find balance in either situation, and unions could help restore some of that balance to both situations.

>One of the reasons companies try to create anti-potching rules is exactly to try to get back some power.

What I've read indicates that anti-poching rules are BS. They seem to exist so that employers can control their employees without adequately compensating them. Pay for talent or let it walk.

>The unemployment rate in the US was 4% prior to covid, and even lower for tech and white collar desk jobs.

Beside the point, but the 4% figure doesn't account for gig work, underemployment, or people who have stopped trying. I believe you, and it makes sense, that white collar desk jobs would be in better shape than lower-class positions.

>This issue simply must take a back seat to bigger problems in America.

The hollowing of the middle class is as big as any issue imo, and if we prioritize building the middle class, it will aid in solving many of our other issues. As far as I can tell, nothing would help bring people out of poverty more than a strong union presence.
Why not use the filesystem?
The first picture made me think of a milking line for cows, or whatever the terminology is.
Hello,

We have released CodeBERT few days ago and now we make available the first in a series of notebooks to show different aspects of it. We will also provide fine-tuning and other types of notebooks soon.

If you have any questions, please post it here. I will do my best to answer your questions.

Happy coding!
> I had read that for an FBI agent to look into HSBC was a "career-limiting move"

Do you have any source that substantiates your assertion?
You will say that if you live in the US, try living in some other developed countries with free healthcare, you will change your mind.
In a perfect world the EU/US (and others with big tech presences) would have laws that state companies based in their jurisdictions can only operate in other countries where they aren't required to change their policies or practices in ways that would breach UN human rights guidelines.
Apple wouldn’t be Apple if they wouldn’t abandon old technologies in favor of newer ones.

This actually splits developer mindset into two camps: those who love the introduction of new stuff and deem it necessary to achieve progress, and those who accuse Apple of planning obsolescence into their products, and deprecating technologies too early (it’s a little bit hard too believe when you compare Android to iOS, but Linux or Windows vs. macOS tells a different story).
I'm not so sure about this... I speak 3 languages and it does exist in only two of them. The closest you can get to "huh" is probably "eh" in the last one, though that is still fairly close. Mind you, those are all European languages so they probably have influenced one-another significantly over the centuries (even the Slavic language of the bunch). I guess "huh" might have been transferred over to other parts of the world during the time of the colonial empires, making it more common. But all languages? I Doubt it. I happened to be chatting with an old friend who is originally from Lebanon and she said that's not the case in Arabic for instance(with a grain of salt since she also says she's anything but fluent in Arabic).
> While F# allows C#-like OOP, and while this can be an initial stepping stone in the path towards F#, you must go all the way.

I'd be less charitable and say that OOP in F# is a tedious, verbose mess. Functional programming in F# is extremely concise, at the expense of OOP. I wrote a parser/lexer in F#, to be used from C#, and ended up rewriting it in C# instead of dealing with the interop. I'm hoping that some day, C# will eventually have F#'s pattern matching power. They're slowly introducing more and more features to do it, and there's no major technical reason why C# wouldn't be able to.
the people involved in this have a very adversarial relationship with SPD, which is likely a big part of the reason SPD abandoned the area.

but the fundamental nature of these people are live and let live. So i'm not surprised at all that the area is doing fine and is perfectly safe.
There is this too:

https://docs.saltstack.com/en/latest/ref/modules/all/salt.mo...

You can reuse all the playbooks and start scaling with salt.
Looks like the two asterisks cancelled each other out in

torch.sum((x @ y)**2)
while I understand your point, I often geht frustrated when there's text what should have been maths. It is very easy to skip details which are then hard to pin down when you try to translate it into Mathmatical notation. It can become a real problem.

Many fields have over time developed a Mathmatical notation that's most suitable to it. A notation where irrelevant details are just skipped over (e.g. with neural networks we don't carry explicitly our implicit parameters around, it would be very noisy to have thetas everywhere. Statistics/Probability has other common notation, e.g. the usual symbol for the logical and/logical or meaning min/max). One needs to learn how to read it, bu that's just practice.

Regards your comment about substitute in normal human language, often it's just easier than prose. You can of course explain something in normal language, but whats a quick equation or formal statement might become a whole paragraph in english. If you're comfortable with Mathmatical notation it's just faster to read, easier to understand and more "specific" than prose. It only looks like a crazy mess of characters if you can't connect the dots, it becomes "obvious" very quickly.

I always try to formulate Mathmatical ideas in Mathmatical notation first. It's ways easier to spot weaknesses or details you've not considered compared to prose.
Another important thing to know, is that people's advice will be based on their personal life goals--which is likely different from your personal life goals. If you go ask wall street playboys advice, they are going to give you advice on how to make $X,000,000 (start a business on the side) and become a player. If you ask a preacher for advice they are going to tell you to do a mission trip abroad, find a wife and get involved in a church.
This is HN, where commenters liberally espouse variants and competitors.

Props to you, the author of pgSodium, for being the first to mention pgCrypto.

The extra features of PgSodium look handy. Is featureset the main reason you created PG sodium? Or are there other reasons, like performance, or interfaces, for example?

New entrant risk aside, are there other reasons to maybe prefer pgCrypto at the moment?
"auto-conform" is a bit of a rich phrase, up there with "schema-less" and "my data doesn't fit in tables"

Not to sound pedantic or old or curmudgeonly (because while I'm 45, I was already curmudgeonly and reading Fabian Pascal when I was 28). But c'mon.

All data has a schema, it just takes effort to discover it. A relational database is a set of facts about the world. Lack of effort in finding that schema and normalizing data, "conforming" it... it means effort from very frustrated people who have to clean up the mess later and make it conform.

FWIW SQL can seem like a clunky and dated way to talk about data. It is. But it's not the relational model's fault, it's SQLs's. Going "NoSQL" simply makes data modeling problems worse. It pushes the problem til later, and pushes reasoning about the data into places where it shouldn't have to be. Even more so when the underyling data storage tech is dubious, like Mongo appears to be.
Ask HN: Communication between domain specific services
Hi HN!

We're in the processing of deploying a series of internal domain specific services (Ala Microservices)

I'm currently investigating the best mechanism for communicating data between them, For example service A gets a list of data which includes an ID or ID's of an object in service B.

Would a simple REST API that takes a list of ID's on Service B work well enough or would a Pub/Sub Bus between services be better suited, or a third option I've not listed here?

The services are likely to independently hold O(10M) records.
You missed the point. They will use pedophiles first as a rationale and after some time they will not even bother to give you an excuse as to why they broke into your e2e communication.
Very interesting read, though it hurts me to see optimism in this paper mostly unwarranted from today’s perspective.
Chinese firm can go into USA, build a firm and control USA media but not USA firm. It is asymmetrical warfare.

War? USA firm are not party and national related. Chinese firm all are.

USA is naive for a long time to look the other way and that china will change to better. So what I treat you fairly but not the other way round meant ok.

Good luck but luck is running out. They do not need to be successful, but once like editing gene of baby. You lost.

If they fail to control their virus handling from low tech like bat eating to virus testing in their 44 p3 lab and the p4 Wuhan one. Just once. Or maybe twice. Humanity lost.

Or done with.

To be fair if all are equal. But if china is more equal than USA in market access. Good luck again
Just to circle back here, seems the official date of AT&T shutting down their 2G (GSM/GPRS) happened in Jan 2017. Their 3G (HSDPA/UMTS) network is tentatively scheduled for about 1.5yrs from now.

So my suggestion, if you’re building anything IoT like on AT&T, make sure you are using LTE-A, LTE-M, or NB-IoT for your radios or you’ll have a short operational life, if at all.
Not Twitter!
probably they claim hes a white supremacist. i suspect he is probably know by the locals as being associated with proud boys or some shit.

notice how they are peacefully escorting him from the area? its fine.
There’s a lot of complaining here but MongoDB has been used by startups for like a decade?

I don’t think I’ve seen a single HN article complaining about actual data loss. That would be something that would get upvoted immediately.

So what gives? Especially since earlier and older versions of Mongo apparently had far less data stability.

I’ve probably read far more complaints about Postgres in HN articles (difficulty setting up, poor defaults, etc). And Postgres may not even be as popular as Mongo. So what gives?
It is complicated, but necessary. You will get to the ridiculous part once you realize that executing brokers don't care about your acid guarantees or whatever.
I think you mean sum((A*B)^2)? That's one character shorter than pytorch if you import sum out of it, and Σ = torch.sum would be fine in Python too.
This is fascinating to me, as someone who manages and Ansible-based config management infra that keeps thousands of servers running. The problem I have with Ansible isn’t the YAML, it’s the Python. I spend at least half my time struggling with reconciling which Python runtime and modules are installed on which hosts. And between the Python 2 EOL, the growth of ARM hosts in our inventory, a fuzzy and changing line between what’s “Ansible” or “Python” or “Jinja” in the syntax, and regular OS upgrades, it’s a lot more work than it ought to be. And at scale there are some really frustrating performance issues that aren’t entirely Python’s fault but which would be much better if we could use native code. I’ve been hoping for years that someone would build a Golang tool that could take Ansible playbooks and do the right thing with minimal tweaking, but I think we’re beyond the point where anyone is going to invest that much time and effort into new CM tooling.
Conflating Apple and Zoom is fucking ridiculous.

Apple complies with Chinese law in China. Chinese products comply with US law in the US.

There is no universe where Apple is going to change Chinese law, and arguments to that effect are stupid nonsense.

Zoom applied Chinese law extraterritoriality to the US. THAT is reprehensible.
Was it unwarranted?

> While the presentation frequently touches on Smalltalk "motherhood", the principles themselves are more general and should prove useful in evaluating other systems and in guiding future work.

Indeed the principles of Smalltalk went on to guide the design of many future languages
I find searching google/ddg to be a good place sometimes. Wikipedia has a list of mathematical symbols I sometimes consult (also includes latex code!) [0]. You could also try Khan Academy videos, which are often helpful.

0. https://en.wikipedia.org/wiki/List_of_mathematical_symbols
Feature request: Connect Diabetes Insulin Pump, and Sugar level measurement devices.
The "hmm?" is the "word" that's shared by all human languages, not "huh".
Ask HN: Do you read aloud or silently in your minds?
Most times while reading a new topic that I am not familiar with, I tend to read aloud in my mind.
Yet that changes based on the content and the way it is written.

When I'm focused, I notice that reading silently helps increase my reading speed and cognition, like everything is flowing in.

Other times I don't seem to understand anything if I'm not reading it aloud in my mind.

Has anyone noticed such a thing and if so can you share any tips or information you've learned about this behavior
In Europe the most terrifying words you can hear are "We're gonna switch to a US style health system."
But we all use "huh?".
I agree with you a 100%. Your bike should help you maintain good riding posture even when you are becoming road tired. Just be careful about who you pay to fit the bike. Most shops claim to be experts, but I have had bad experiences with some shops. It doesn't show until you've ridden a great many miles.
What should we implement/do next to improve GC?
Cmd Hijack – An argument confusion with path traversal in cmd.exe
But only one in a literal sense and the other one is just a metaphor. They are very different things. Sure, they have in common the logistics of bundling things together in units and bringing them on track. But the same applies for kindergartens.
Here is an article summarizing some nice stuff : https://www.nature.com/articles/d41586-018-05588-x

I always wanted to learn vimspeak: https://news.ycombinator.com/item?id=5660633
yeah, I would view every Mathmatical discipline or any discipline that heavily involves maths as a different "programming language". Each having evolved their own sets of conventions and styles (e.g. Mathmatical physics vs Statistics sometimes differ in notations despite describing the same thing). You can't switch from one to the other without learning their style of writing.

They seem like a crazy mix of noise at first, but that's just because you're not used to it. It's like a javascript developer reading their first lines of rust, or the C-programmer reading their first lines of Haskell.
This might help though it’s relational: https://sqlite.org/appfileformat.html

But yeah for blobs I’d just use the file system or something like s3
This is fab. It mirrors and takes far far further ideas I have been noodling around with for a while. I will be reading and rereading this for a while.
Feels like the current events aren’t really going in that direction.

And it’s sad because we’d really need to have decent govs and leadership where the power concentrated.
I would not compare something like DO with Google/AWS/Azure.

Google has a globally spanning Network under its own control. They have peering with all bigger ISPs / Networkowner.

DO doesn't has that. They have barely a few locations and not all locations support all services.

When Google tell you they have 1-3ms latenc between Zones, thats what they have. On DO you probably don't even check that.

If you need to operate globally, you will probably not go to DO. You wanna provide a good service with low latency globally, you go to GAA.

What Google also does, it terminates your TLS connection as close as possible, for low latency for that expensive roundtrip and encrypts it internally.

When i'm looking for my private stuff, i'm not going to GAA, i go to DO or Hetzner. They are cheap, relativly reliable and thats it.

When i'm doing something at work, i will not go to DO or Hetzner if it costs me overhead. That stuff needs to run, 24/7, without me or my colleges interacting with it. That would cost much more. It is also an operational risk.

The scale also changes: If a Service costs me 500$ more per month on AWS but it allows me to have a few new bigger customers (b2b) onboarded, no one will look at those 500$. An external developer costs between 600-1000$ per day.

I still can't tell you how reasonable those Bandwithprices are, but i do know, that when i would need low latency or high bandwith also at peak time, i would go to GAA and i assume that that is part of the cost you pay for it.
As an European, this question doesn't even deserved to be asked, of course it should. Not just higher education, but at all level. More educated population is always better for any country, so education should be accessible for anyone and not hidden behind paywalls. Education and Healthcare should be where most of the tax money goes.
As far as I know they use or have used fountain pens, because it forces you to use more proper technique, e.g. not pressing too hard and be more careful while writing to not cause a mess.

Which I find interesting, because we often use highly simplified versions of things for kids and then give them the real deal later on. But I know very few Millenials or younger that used Fountain pens regularly after elementary school.

Maybe because of how much of a pain we remember them to be and never tried a more quality pen in a different context. I recently got into ink drawing with dip pens and quite enjoy their capabilities and limitations. I definitly wouldn't have as a kid.
Neither Apple or Google's solution actually does contact tracing. You still need an army of people and drs working together to contact trace, their solution augments it nicely, but is useless without the people and drs.

Apple and Google are (corporate) citizens of our society, I don't see an issue with governments at least asking (if not coercing) them to help in times like these.
Totally troll comment. Zero trusting in your words.
> Pens aren't useful?

Yes, this is my point.

> As opposed to every other document not written using FPs?

As opposed to documents not written on paper. Please, read carefully.