skysight-inc/HackerNews huggingface dataset:
> It's declarative, so it tells you what you're actually doing, rather than just how to do it. This is like the difference between saying "get me an orange", and giving full instructions for finding a shop that has oranges, navigating to it, etc. I know declarative programming exists (and it has these advantages) but I've never seen it used outside CS courses.

I find this to be a problem quite often. Maybe my brain is wired differently, but I can't keep declarative definitions in my head and apply them unless I know of an imperative strategy to make them work.

I've first noticed this when, in high school, I was struggling to understand the epsilon–delta definition of a limit. The one that goes like this: https://wikimedia.org/api/rest_v1/media/math/render/svg/619d....

Only after many hours of classes, followed by many hours of staring at the formula, all over the course of weeks, I finally understood what it means. The one missing puzzle piece that no one explained to me was that, when you see "\forall _{sth > 0}", you should read it as "in particular, for a sth arbitrarily close to 0".

Declarative notation is fine if you comprehend all consequences of that declaration. In cases where you don't, it would be nice to have it spelled out which consequences are relevant.
Surely they IT depts won't be 90% baby boomers forever. At some point even the most rusted-in-place employee has to leave the company, either through retirement or because they died of old age. Slowly but surely even late followers like banks will move into the 21st century. Banks are not very keen on spending money on things that "aren't broken" but they're even less keen on losing customers and paying fines.
> Wonder which will be easier for the 80% of people outside these 2 countries.

I'm Russian. Neither. We have our own Facebook that doesn't moderate as much and explicitly allows adult content as long as it's marked such.
I have to use a fountain pen at work to write certain documents, so knowing about good pens is very useful.
Glad it turned out, but that sounds like a risky and hard road.
We found mongo expensive for documents. We had simple documents basically saying X sent email Y to Z. The mongo db was cloud hosted and was over 500gb and costing nearly 3k. Moved them into S3 with a simple SQL dB to look up reference IDs. Certainly reduced the cost!
> Now if we had custom fast/ray-casting technology

No offence but I just cannot understand this viewpoint. A game is about fun, about gameplay. Pretty graphics do little for that (IMO) once the novelty's worn off, and can easily start to get in the way. A game's tech is mostly decoration (I said mostly, sometimes it can help). The real breakthrough in games would be in their depth of interaction, and that would take some kind of comprehensive model of humans and human experience, and more. We're not getting that soon.
Interesting info :

"Microsoft has deemed C++ no longer acceptable for writing mission-critical software"

"70% of the CVEs originating at Microsoft are memory safety issues"
‘Forever Chemicals’ Are Building Up in the Arctic–and Likely Worldwide
Oh. I was expecting someone to post the original APL paper here.
While I like PyTorch very much I have found Julia + Flux to be even better.
"Plans are worthless, but planning is indispensable."

(can't recall where this is from but it resonates)
The core of the matter is in the word "cutting". It is possible to pick points off of a connected sphere in such a way that you have 5 different collections of points on the surface of the original sphere (they are NOT connected surfaces). You then take these 5 sets, apply rotations and translations, and at the end, you have 2 spheres of identical volume. During the process, no 2 points from the same piece have changed their relative positions (of course, points from different pieces have).

The 5 pieces are highly un-intuitive objects. I imagine if you were to realize even an approximation of them, they would each look like a complete sphere, with infinitely many infinitesimally small holes poked through. But when you do put them together, each and every one of the (uncountably) infinitely many holes in the 1 sphere is perfectly plugged by one of the (uncountably) infinitely many points in one of the other spheres.
Yes - intentional or not - the same thing happened with the bulletproof glass on the Tesla Cybertruck.
Show HN: Errors.fail – free service for probing errors
I have recently started to use Prometheus and blackbox_exporter. My main interest was to build up SLI/SLO dashboards for the services I run. The SLI dashboards are configured to compute the ratio between "all good events" divided by "all events" over a period of 28d, as suggested by the SRE books.

I was looking for a way to get some "probing errors" delivered to blackbox_exporter, so I could see how the dashboards evolved. For this purporse, I could have just spun up a local webserver and configure it to deliver 200 OK and 500 Internal Server Errors, but what I was really looking for was an Internet-accessible service that I could make to do exactly those things.

I started to write some code and evolve it into a service that could be used by other people. This is my Covid-stay-at-home pet project: the service is completely free and all source code is available as OpenSource. I would be curious to receive feedback from the community about it:

Website: https://errors.fail/

Sources: https://github.com/dlorch/errors.fail

Thank you in advance and have a good day.
Hi, CEO of Rainway here.

You actually don’t need to sign up for Discord, emailing support@rainway.com is enough. You can also close your account from the app.

Discord is a convenient medium since our audience largely engages with us through it daily. I’ll update the article to reflect all the valid options.

And to be clear, our business model isn’t in data nor do we share data with others. Outside of basic engagement telemetry we don’t even know what games you own.
I use dictation a bit for prose, but my voice wouldn't be able to handle more than a couple of hours a day of that.

Can you use a touch screen or mouse? I went ~13 years without using a keyboard, and typed with mice (some customised), trackballs, and touch screens, mostly using predictive typing software I wrote. In that time I did a lot of programming, including a whole applied maths PhD.

One of the best mouse setups I came up with a variety of versions of was moving the cursor with one hand, and clicking with the other. Holding the mouse still to click the button accurately is a surprisingly problematic movement. I made a button-less mouse with just a flat top to rest the side of my hand on, with a bit sticking up to grip. Standalone USB numeric keypads can be remapped to mouse clicks and common keys.

Touch screens can also be very good, if set up right, as all the movement can come from the big muscles and joints of your upper arm and shoulder, and your fingers and wrist don't need to do much. The screen needs to be positioned well, not out in front of you, but down close and angled in a comfortable position to hold your arm for long periods.
I saw them on HN when they allowed to remotely turn on the Webcam on Macs.
The Economy Is Reeling. The Tech Giants Spy Opportunity
I can still remember the fountain pen randomly refusing to write and my constantly ink-stained fingers during primary and middle school.
I would suspect they'd keep the core money transactions in the existing DBs, but use mongo for less important things like sending junk mail, customer support sessions.
Ask HN: Raw Data on Total Mortality
I'm trying to find raw, recent data on the number of deaths (from all causes) by country. Essentialy the source data for a chart like https://www.ft.com/__origami/service/image/v2/images/raw/http%3A%2F%2Fcom.ft.imagepublish.upp-prod-eu.s3.amazonaws.com%2F6e7ccec8-ab22-11ea-a766-7c300513fe47?dpr=1&fit=scale-down&quality=highest&source=next&width=1260

I can't find it, for example the WHO website lists it only up to December 2019. I would appreciate if someone would put some links to such datasets, preferrably for countries affected the most by the pandemic.
This is the only comment worth a thing here. Unless mongodb causes irrevocable data loss, eventual consistency is easily mitigated using an accounting service. I have seen one of them at work. Transaction amount comes in, it is compared with initial value and the session is kept open until the quantity is fulfilled. If there is a timeout, secondary systems try to recover or alert. Recovery can even deduct overfills or complete fills.
I know nothing about this, but wouldn't most textures be quite small, and with a large page size you might end up reading in much more than you need, making it often worse than useless?
That's not delivery, that's the storage part of distribution.
So, serious question: if I was going to buy a ring for my girlfriend, would this be a good time to buy?
Sensitivity of commercial Anti-SARS-CoV-2 serological assays [pdf]
In writing:

> Even if you go in reverse, finding premises for your conclusions, your conclusion must still follow from the premises you found.

GP means 'follow' in the sense of logical deduction, not follow in time.

Having found the premise (after the conclusion), the conclusion (we started with) must then logically follow from the premises (we later found).
I just started reading excerpts on the web and did not find it captivating either. The ones I read would need to be pronounced with an exaggerated British accent to be remotely funny.

My first impression was: Oscar Wilde (who is captivating after a single page) for the masses.
> I don't understand Banach-Tarski, but it seems like the common version which you just explaing must be wrong. It is not possible to double the volume of an object by cutting and reassembling.

Well, it seems that you DO understand why it is considered to be very surprising and unintuitive.

The definitions of "ball" and "rotate" are perfectly normal. The definition of "piece" is slightly odd in that the "pieces" don't have smooth surfaces -- they are "jagged" or "fuzzy" down to an infinite level. (This is why common notions like "volume is conserved" don't apply -- such notions don't apply normally even to simpler objects like a fractal Serpinski Sponge.)

What is especially weird about the pieces (axiom-of-choice weird) is that specifying exactly what the boundaries of the pieces are is so hard that no clear description or algorithm can be given that specifies them. It's sort of like if you said "cut a ball so the prime-numbered points are in piece 1 and the composite points are in piece 2", except MORE strange because the definition of "prime" is easy to understand.

My favorite explanation is this one: https://www.irregularwebcomic.net/2339.html
There has been a number of fines. British Airways is on top of the leaderboard this far with €200M.

https://www.enforcementtracker.com/

I'm not sure about how efficient the process is, but there is some enforcement.
I also feel the exact opposite, I have almost no personal control over the state. Not to mention the relentless incompetency and bureaucracy of state institutions, which often end up covering up their own mistakes.
Calling people "defective" is highly pejorative in virtually any context. It's certainly a great way to get people to stop listening.
That the protestors aren’t using this as one of their main demands gives a clue as to their motivations.

They clearly aren’t above advocating extreme solutions and the far left generally seems to recognize the importance of legalization.
In my data science org, virtually NO ONE joining new prefers MacBook Pros because of the lack of CUDA. Yes production workflows run on cloud and you can spin up notebooks on the cloud but having the flexibility of CUDA in your laptop for dev is just really high. People who joined with Macs are trading in for more powerful Windows machines
The idea of using code to represent math in a paper is similar to an “idea” to stick with printing code in TeX instead of letting it be converted to the neatly typeset result.
Don't personally have much of an issue with YAML but Python itself seems like an odd choice for an automation tool given the dependencies incurred with it by default. Does anyone know of any tools with binary deployment like Go or Rust that can do this job?
World's largest pizza box collection
I have a special place in my heart for F#. While I do a lot of Scala these days, professionally and open source, F# was my first introduction to functional programming that eventually got me into Scala.

F# and Scala are extremely similar languages: garbage collected, hybrid OO/FP guest languages hosted on a widely-used runtime. Even though the superficial syntax is very different, and the advanced language features they provide are pretty different, the core experience of modelling your data as "dumb" data structures and transforming collections of data using higher-order functions is almost identical.

Scala ended up winning out for me due to a broader ecosystem (Much more OSS Java than OSS C# out there), better tooling (Visual Studio's F# support was always disappointing...), and easier interop (F# <-> C# feels a lot more clunky than Scala <-> Java). But I can easily imagine an alternate universe where I'm happily writing F# all day, and almost nothing would be different from my current work writing Scala.
Should I start changing my code, from "foo.bar" to "foo.__getattribute__('bar')" ? Probably a bad compare, but I'm looking for someone to tell me why.

Meanwhile, my pretty python foo = bar().something has gone all foo = (await bar()).something
Facebook force Kaggle into disqualifying winner of $1M deep fakes competition
That’s to be expected, but they could still recover audio at vastly lower DB levels.
Perhaps it is unsurprising, but it remains relevant. In a set theory that allows infinite sets, but does not allow the axiom of choice, you can construct the Hilbert hotel, but not the Banach-Tarski paradox, if I understand correctly.

On the other hand, to me it sounds like the distinction may also come from the difference between countable infinities (which Hilbert's Grand Hotel is limited to), and uncountable infinities (which BT depends on).
That's not the right comparison. To use your example, a closer example would be

You believe it's unjust to have those FB/Twitter accounts shutdown and you host a Zoom call to build a campaign to voice out. Your local government ask Zoom to shut you down. Zoom then deletes your account as well as those of your allies in Vanezuela and Iran. On top of that, the local law requires Zoom to give data to identify you at which point your life is at risk or a jail term without a trial.

That's what those people face in China.
I hear you (and I obviously made a bad inference re: your background - apologies), but there is a distinction to be made between large-but-finite (computable? halting?) and infinite (non-computable? non-halting?) sets.

We can't comprehend the universe using numerical methods - it's too complex for our brains/computers.

But we can understand complexity using symbolic methods.

Symbolism/representationalism (religion) is rather inevitable part of the human condition.

∞
> No, they are not really useful

Pens aren't useful?

> it's hard to edit or search through what you wrote on paper

As opposed to every other document not written using FPs? I don't even know what your point is here.
I would use the “smart constructor” pattern for this: https://draptik.github.io/posts/2020/02/10/fsharp-smart-cons...

Things like that require runtime logic, there’s no way around that.
Well, obviously! That's by design.
This is what I see coming as the mega corps eat our society alongside software. Look at the regulatory capture the telcos have managed with their negotiated service area monopolies or duopolies. It’s easy to say “buy something else” until there’s nothing else to buy and the product is a requirement for functioning in society (insurance, internet connectivity, healthcare). We need trust busting candidates now.
I work at another big corp in London and mongo has been doing a major sales push on us in the last 18 months (which wasn't pleasant to push back on).

I'm fairly sure that this was driven by a similar sales push.

Mongo has always been a sales and marketing company first and technology company second.

I'd love to see a tear down of their sales and marketing strategy coz its clearly top notch.
Computer Architecture (2017)
> standard meat-with-vegetable

"Standard" in the countries I've lived in would include a starch. Part of your reaction may just be to cultural differences in what's considered a standard meal.

Your "2 cents" is nothing more than an expression of the food culture you grew up with. There are many other amazing food cultures around the world - even in parts of the US, although you don't find them in the chain stores and chain supermarkets.
Is there even a single fine about Facebook/Google Analytics/Mixpanel/etc tracking? This is one of the major problems with online privacy right now, should be very easy to detect (run a web crawler and look for the analytics code being loaded) and yet nothing is being done.
You are demanding to be able to read a random line in the middle of a book and understand everything. This is stupoid, the book/article/theory will have a section that defines everything is used.

You have same shit on JS where + can mean do a numeric addition or it can mean concat 2 strings and other powerful languages will allow you to have + enhanced so you can use it to add matrices,vectors,fractions time intervals etc.

If you want for example to understand the fundamental theorem of statistics you can read only it and his proof you need to read and understand everything in the book before it.
Everyone has been discussing relative performance of different techniques within Python; there is neither a basis to suggest from that that people don't understand that aspects of that are Python specific, nor a reason to think that that is even particularly relevant to the discussion.
Surveillance Without Limits
> Performing the actual training is currently complicated; I am working on making it portable and more turnkey, but it's not ready yet

I'm eagerly awaiting this! If I wanted to try to get something working now, I'd need to invest a lot of time - being able to get started quickly would be amazing.
my brother-in-law has used his first fountain pen, a pilot metropolitan which I gave him about six months ago, and he wrote left handed using the ink that came out of the cartridge and does not seem to have any smudge.

I would say his writing style somewhere halfway between hook-handed and left-handed pusher.
Interesting, thanks for the feedback. I often miss having a type system in Clojure and I was really hoping that core.typed might be more ergonomic these days. It sounds like it's still a pretty serious tradeoff, and probably not worth it for most code.
They do. Because their bonds currently trade at ~0.4 of $1. And considering equity owners are the latest who will receive any money following the bankruptcy, they know well they aren't going to raise enough money to even deal with other creditors.

And they go and issue another $1bn of a worthless equity because never in the history of financial markets there would been so many idiots who would be buying it in such a frenzy.

A little chance though that this cash raise could somehow help them get out of the bankruptcy - sort of "a bailout by the shareholders" - but it's still unlikely.
I do. Not code, but a mix of a custom cheatsheet, notes and blog..

It's not that elaborate, but I found it the best solution for cross platform and cross-location.

I can access it everywhere and edit it from everywhere, where I have a IDE available.

I like a 1 for all solution more then specific tools, like the specialized cheatsheet CLI tools - it gets messy after a while...

I use https://docsify.js.org/#/ at https://slashlog.org/#/
Exactly this. This is an ad, nothing more. “Company uses discord for support system” is uninteresting.
Wow. Respect, I guess, but I definitely never had the motivation to approach 10,000 women. That would indeed be brutal as all hell, and it's hard to see women as being worth that sort of trouble.
> ZFC is not regarded as sound by some because of these Paradoxes.

Can you give relevant pointers? I'm curious because while I do know a couple of arguments for the inconsistency of ZFC, none of these are related to the Banach–Tarski paradox or similar nonintuitive results.

Also I'd like to stress that ZFC and ZF are exactly as consistent: If ZF is consistent, then so is ZFC (and vice versa). This meta-result is proven in a very weak finitary logical meta-system ("PRA"), hence can be trusted even if one is wary of set-theoretic infinities. The keyword is "Gödel's constructible hierarchy".

In this line, there are even more astonishing meta-theorems, all provable in PRA:

* From any ZFC-proof of a purely number-theoretical statement (a statement which refers only to natural numbers), any usage of the axiom of choice can be mechanically eliminated. That is, any ZFC-proof of such a result can be transformed into a ZF-proof.

* From any ZFC-proof of a statement of the form "for all numbers n, there exists a number m such that ...", where in "..." no more quantifiers ("for all", "there exist") appear, any usage of the law of excluded middle ("any statement is either true or not") can be mechanically eliminated. That is, any such ZFC-proof can be transformed into a proof in IZF ("Intuitionistic Zermelo–Fraenkel"). The keyword is "double negation translation".

These meta-theorems indicate that the axiom of choice and the law of excluded middle can be regarded as "mathematical phantoms". Just as the complex numbers work wonders for us but can be compiled away to pairs of real numbers, these set-theoretic principles promise to work wonders for us and their usage can be compiled away if we wish so.
It took them quite some time to start supporting Intel Mac last time.
The acronym N.W.A., with its meaning, [1] is self-chosen. It is an old, long defunct rap group from Comptom. Quoting from Discogs: "American group, seminal purveyors of the gangsta rap sub-genre. NWA stands for "Niggaz Wit Attitudes". They were active from 1986 to 1991, and for a short period in 1999/2000."

Their most defining album is probably Straight Outta Comptom from 1988. [2] TL;DR these people are one of the pioneers of west side hip-hop, and gangsta rap in general.

What's in a name? Rap music is filled with controversy. Apple bought Dr Dre's Beats, too. Dr Dre was one of the founders of Death Row records.

As a non-American, I find the name "Death Row records" more intimidating than N.W.A. or what it stands for, btw.

[1] https://www.discogs.com/artist/13726-NWA

[2] https://www.discogs.com/NWA-Straight-Outta-Compton/master/26...
> weren't shipped to Guantanamo for indefinite periods of time for "reeducation."

But Ramsey Orta essentially was.

The difference in the USA is solely one of pervasiveness, focus, intensity, not any particular outcome.
He did not found Tesla.
That’s brilliant
Texture streaming is a thing in current gen https://www.youtube.com/watch?v=mvdTtl27TpM
People who pay astroturfers by the dozens might not be trustworthy sources of information.
Any ideas what some of the challenger banks are using? I've not seen any examples beyond Nubank (~$10B valuation), who have bet big with Datomic: https://www.youtube.com/watch?v=VYuToviSx5Q

Also: https://www.datomic.com/nubanks-story.html
> rather look toward what our grandparents had for lunch when they were kids. I don't think they were doing so badly.

This is baseless nostalgia, not something to base health advice on.
Docusaurus is so cool!

Probably a bit overkill for a simple blog, but it should be evaluated whenever someone is looking for a end-user friendly doc generator.
Spot on Gdebel

Food in USA has extra
bacon
sugar
oil
corn crap

If you get a chance before SHTF or 2030

Visit Japan
Food is cheap and healthy

When you goto japan , be sure to buy a JR pass 2-4 weeks before you leave