skysight-inc/HackerNews huggingface dataset:
A TLDR for the tour[0] based on my understanding (please fix me if I’m wrong):

Unison is a functional language that treats a codebase as an content addressable database[1] where every ‘content’ is an definition. In Unison, the ‘codebase’ is a somewhat abstract concept (unlike other languages where a codebase is a set of files) where you can inject definitions, somewhat similar to a Lisp image.

One can think of a program as a graph where every node is a definition and a definition’s content can refer to other definitions. Unison content-addresses each node and aliases the address to a human-readable name.

This means you can replace a name with another definition, and since Unison knows the node a human-readable name is aliased to, you can exactly find every name’s use and replace them to another node. In practice I think this means very easy refactoring unlike today’s programming languages where it’s hard to find every use of an identifier.

I’m not sure how this can benefit in practical ways, but the concept itself is pretty interesting to see. I would like to see a better way to share a Unison codebase though, as it currently is only shareable in a format that resembles a .git folder (as git also is another CAS).

[0]: https://www.unisonweb.org/docs/tour

[1]: https://en.wikipedia.org/wiki/Content-addressable_storage

[2]: https://github.com/unisonweb/quickstart

PS: The website is very well made, but I would like to comment that there should be two buttons on the top front page, the tour and installation, as I think most people want to have a glimpse of the PL before installing.
I, at least was puzzled because I thought the button was a link to an introduction of the language.
ALIAS is not a valid record.
GraphQL Subscription
There’s no legal requirement to filter transactions with this message:

> “Thanks for all your excellent work and especially the Gray Zone’s coverage of the murder of Soleimani and war with Iran. You fellows are so insightful and brilliant.”

There’s zero indication that this might be an Iran-related transaction.
I too am part of a well funded university, arguably one of the richest in Europe, and we were recently informed that it's possible we won't have a Nature subscription this year. Of course the reasons are complex, and there'll no doubt be a workaround arranged, but it goes to show that even the most fortunate of us aren't necessarily immune to needing sci-hub to get work done.
Oh, sure, it was obviously limiting the other tasks. The point was that this is almost always the right choice for a general purpose operating system: no user wants to have their music skip, UI go unresponsive, file transfers to fail, etc. because the OS devoted resources to a batch process.

You’re only partially correct about classic macOS: you could definitely hang the OS by holding down the mouse button but this wasn’t a problem for playing music, burning CD-Rs, etc. in normal usage unless you had the cheapest of low-end setups because a small buffer would usually suffice. I worked with a bunch of graphic designers back then and they didn’t get coasters at a significant rate or more than their Windows-using counterparts, and they burned a lot of them since our clients couldn’t get large files over a network connection faster than weeks.
Pharma industry in Switzerland also grew rapidly after start due to the fact that it didn't have patents, unlike neighboring countries.
My note app hopping days ended the moment I first encountered Joplin, which I now use for almost all my writing.

Killer feature being the encrypted sync via more or less any kind of storage back end (where presently I use Box via WebDav, but that's easily switched). Seemless work across all my devices, all data in nice and portable markdown.

It fits my needs so well that I have taken the extraordinary step of allowing the desktop version on my pc's, even though it is Electron based.

https://joplinapp.org/
I really like the idea, I like the language, but the world will not be rewritten in Unison. A web assembly FFI story is needed for Unison to succeed.
More complex than that even.

If Hong Kong was British under treaty then this area is not covered by British control. If the British exercise control then they are saying the treaty is invalid.

The Chinese didn't exercise control because to do so would validate a treaty that they objected to after the fact; that the original colony was seeded in perpertuity . They didn't want to fully disown it because they claimed the whole colony back, not just New Territories.

It was clear by the 1970s that since the Chinese could just cut the water supply off to Hong Kong if they wanted to, that the compromise solution was to pretend that the 99 years New Territories lease treaty had always covered the whole colony and just agree to handover with a two systems one state solution.
Upvoted because even though I knew the context of that comment, I consider it poor form to expect everyone else on a public forum to keep up with every bit of daily news.
We used https://www.avodocs.com

There's also https://www.iubenda.com/en/ (You can find a discount here: https://tr.im/startup_discounts).
Do you have any links to some examples or help on how to do this exactly?

Reason being that in our group we have a ton of normalization code that looks exactly like the 'bad' example from this post. As we use relatively large datasets (4D MRI images), memory is a bit scarce...
This talk highlights the benefits and interesting features of Unison much better than the docs.

Highly recommended.
As a side note, it is not like the kids live in the classroom, they are exposed nonetheless - when outside the classroom - to "normal" air, let's say that in a week they are 30 hours or less in class and the remaining 138 hours they are not.

So these magical filtering allows for intellectual improvements when impacting roughly 30/168=17.8% less than 20% of inhaled air?
She was a star of New York real estate, but her life story was a lie
I like plain text backed in google drive. I use The Archive [0] but Notational Velocity [1] is popular as well. I don't have a bookmark system though. This book is an excellent explanation of a plain text knowledge base system [2].

[0] https://zettelkasten.de/the-archive/

[1] https://brettterpstra.com/projects/nvalt/

[2] https://www.amazon.com/dp/1542866502/
> browsers are still not able to handle very large files well

They are. But every improvement is matched by websites getting even larger.

https://zainamro.com/notes/unbearable-news
really cool, guys!
The text itself is not so damning as the picture it paints of a company contemptuous of and comfortable lying to the regulators
>Given the way most crypto exchanges are run, I wouldn't even think that it offers much protection against getting caught.

Ever heard of localbitcoins.com? Most exchangers require no KYC whatsoever.
I think you should have indicated that you weren't certain in the original accusation.
That's easy enough, e-mail me at aaron@lookbusy.app and I'll add you to the beta list
On the other hand, I frequently get approached about Machine Learning positions that I'm utterly unqualified for (I did do a maths undergrad degree, but I've never done any machine learning whatsoever).
These are, unfortunately, falsehoods that keep getting perpetuated despite efforts to the contrary.

While you can become slightly more tolerant with repeated exposure (as you can with anything noxious), the the discomfort never goes away.

And it's not just game character motion. Any camera movement can trigger it, at different levels for different people. If you don't get triggered, count yourself lucky, and don't tell the rest of us to "just practice" or attempt to explain away that it's only X and not ABCDEFGHIJKLMNOPQRSTUVWYZ. Listen to what we're actually SAYING.

I still remember Valve responding to complaints of motion sickness in Half Life 2 with the lame excuse "It's because our technology is so amazingly lifelike." I wanted to punch the guy in the face and ask him if that was lifelike enough for him.
I've used "Modified Preorder Tree Traversal" as a method for storing tree-structured/hierarchical data a few times. (Threaded 'forums', 'Folder'-type management/curation of RSS feeds (to churn out OPML, for example)

Walking the tree like this provides some mind-bogglingly easy ways of presenting 'branches/nodes' of the tree and their descendants, as well as the pathway to a node.

It required each item to have a 'left' and 'right' value, along with efficiently (as possible) updating those values when the structure changes.

I've always thought there must be many more ways this could be used these days, for things we haven't thought of yet.
When we ran a daycare we were specifically told NOT to install air filters because there was research that suggested it would cause the children to develop problems and have a reduced resistance. I would guess for older kids it's fine, but you might want to consider that if you have or will have kids when talking about the home, or come up with some mitigation strategies.
Thx. Not a english native speaker. In german it would be just "quant".
Thanks a lot, I will check these which are totally new to me.
ISTR a tale of Legal keeping a large slush fund from which to pay off all the ex-Apple-employees that Steve 2.0 would straight tell to their face to fuck off. Just because that is what worked best for him†. :)

“But let us admit, it is not just one for all. But all for one.”

Damn straight. Epically focused leadership.

--

(† For all others who aspire to build their own businesses, there is HR procedure and askamanager.org—and do not for the life of you ever bypass either!)
I am brazillian.

Here people BUY pirated stuff, sometimes more expensive than the original.

The reason is convenience and good service.

When you buy pirated software and games from the street dealer, you get:

often, better support than the publisher (specially for popular software, you ask him what is bothering you, he probably memorized the solution and tells you, while publisher support often is completely null, Google-style)

easier to install (custom installers are popular in pirated stuff).

sometimes have better patches, for example games with custom patches to run in older versions of Windows, or that fix popular issues (like Dark Souls at launch had tons of problems on PC, pirated versions fixed it, or Final Fantasy XV, the pirated version runs faster than the legitimate one, some people speculate that is because Denuvo, or because the lack of Denuvo allowed better optimization settings during compile time).

Translated to portuguese.

Has manual! Yes, sometimes the original software is lacking manual, while because during ancient times pirated software had no printed manual, people would add short manuals as a read-me file, some pirates still do that, even for software that has no manual at all.

Regarding games, Valve realized all that and Steam helped a lot, but before Steam it was common here to people buy even stuff that was free (many piracy dealers sold linux distros and other FOSS stuff) because of the convenience.

EDIT: forgot a big one... pirated stuff you can pay for it.

Yes... as weird it sounds, sometimes people wanted to buy a something, but it wasn't available here, often due to a stupid combination of region restrictions + exclusive publishing deals, since we are in South America, sometimes stuff would get into a legal limbo, whoever had "America" rights would focus in publishing in the US, and would block whoever had Europe or JP rights from publishing here.

This sadly is still common, specially with books, Barnes & Noble is a company that greatly aggravated me on that, I bought, legally, a lot of books that were only available in my country on the store "Fictionwise", BN bought them and demand me to be physically in USA to download the books I bought...

Or Electronic Arts, that only allowed officially USA players on Ultima Online, leading to a vibrant pirated server community in Brazil, since you couldn't play legally here.
> With a normal RAID, if the data at some address is different between the two disks, there's no way for the fs to tell which is correct, because the RAID code essentially just picks one, it can't even see the other.

That's problem only with RAID1, only when copies=2 (granted, most often used case) and only when the underlying device cannot report which sector has gone bad.
Re: "... only true for cookies that are not set as 'HostOnly'"

Technically, you're right -- but that implies a commitment to vigilance in setting that attribute on every instance of every cookie across every page or endpoint on your apex domain. Further, if you ever want to support some use of a subdomain, you have to deal with the ability of any page therein to set cookies on ".example.com". And when you inevitably miss any instance of any of these, you're unlikely to notice, because everything will still function normally. So in practice, using the apex paints you into a corner and makes the domain less useful.

There's also the issue of DDOS attacks and related problems, for which the fastest and simplest mitigation is updating DNS entries for your CNAME(s). Why take that option off the table?
It's completely off, haha, since I emigrated. But my grandfather did indeed come from Scheveningen, which lies inside that one hotspot. There are basically a handful of last names that up to a few generations ago were as good as unique to that fishing village, and Van der Zwan is one of them. I try not to think too much about the genetic implications of that fact.

(now I wonder how you knew that "Kees" is a Dutch name)
Isn't HN a kind of social media though ?
Is this satire? Web assembly has no real adoption on the browser yet, is waiting for a standard I/O interface on the desktop to be useful and is itself the nth iteration of an old concept.
We have build Emvi[1] to solve many of the problems when it comes to managing a long living personal or teams knowledge base. The idea is, just as you describe in your blog post with notions tables, that if you can remember a fraction of the information you're looking for, you can find it using text search, filters and sorting. A fixed structure won't cut it when you have to maintain it for a long time and I believe it's better to add meta data (like tags) to make it searchable. Emvi has a free tier with way higher limits than notion, so that should work for most personal knowledge bases.

[1] https://emvi.com
Assuming you're talking about web push notifications in general and Chrome for Android it's super easy and exactly the same as Chrome for Windows & OSX:

- When on the site in question just tap the padlock/favicon in the URL bar, tap "site settings" and then you can see the permissions granted and change them as you want to.

- Alternatively, you can get to the same "site settings" screen directly from any web push notification in your Android notification panel simply by expanding the notification in the usual way and selecting "settings", which takes you to the "site settings" screen as before.

So if revoking from any page on the site and from any notification pushed by the site isn't straightforward enough then what do you propose instead?
From paper:

> Our goal is to propose numbers of rounds for which we have strong confidence that the algorithm will never be wounded

They take algorithms, past 10 years of public crypto research and shave off rounds, until it just about starts falling apart. AFAIU having security-reducing attacks is the target.

I prefer to have ample confidence in my crypto algorithms. Would not recommend BLAKE3 (without those extra rounds).
Intel DG1 Xe Discrete Graphics First Look: These Cards Are Shipping to ISVs
And I was thinking of the story of Mel, a real programmer...
But, GM doesn't make cars.

https://www.cnn.com/2018/11/26/business/gm-cars-dropping-pro...
Nice explanation, thanks. Nevertheless some countries have just introduced these laws recently and there probably are more countries to follow.
At the moment I use Linux (Didn't see any Linux ports?) with ngSpice, I haven't found ngSpice that useful though
At my University in Germany maybe 10% of professors required a textbook (usually their own), and they were always reasonably priced (20€-40€, depending on size). Also the university library always stocked a healthy amount of those books, enough for maybe 10-20% of the students taking that course. Usually the library either didn't run out of books, or you could still get a copy at a more distant library.
It's exactly like the premise for Black Mirror episode "Nosedive"!
January 1947| Stanford Scientists Isolate Polio Virus
We're hoping they are using a news aggregator or a friend will refer. Hard to spread messages nowadays without FB/etc. In addition: "If you are using social media and want to quit, tell us during the application process."
I don't really see the issue. It changes nothing from the DNS client's perspective.
Neeraj kumar 10/01/2020 – Google Sheets
It accreted, it wasn't planned. They just built things on top of other things.
I have learned a lot from the creators Paul and Runar in that past. Their book on FP is legendary in some circles. Unison seems like a super ambitious undertaking, but I wouldn't bet against this team.
Color vision is encoded on the X-chromosome, right? And human tetrachromatocy depends on having two X-chromosomes with different color vision genes[0]. So wouldn't a hypothetical tetrachromatic male need to be an XX-chromosome male[1], and on top of that have one of the X-chromosomes carrying the deutanomaly, protanomaly or tritanomaly mutation, and on top of that have this mixture manifest itself as having four color receptors instead of three? Or is there another theoretical way that I'm missing?

If my educated guess is correct then "somewhat unlikely" seems like quite an understatement to me! :D

(I have protanomaly myself, and never considered that men could hypothetically be tetrachormats as well. This was a fun through exercise)

[0] https://en.wikipedia.org/wiki/Tetrachromacy#Humans

[1] https://en.wikipedia.org/wiki/XX_male_syndrome
Check out nnn - https://github.com/jarun/nnn

To install - brew install nnn
This needs to be more widely known. Sun was never as open or innovative as its engineer/advertisers claim, and the revisionism is irksome. I saw what they had copied from earlier competitors like Apollo and then claimed as their own ideas. I saw the protocol fingerprinting their clients used to make non-Sun servers appear slower than they really were. They did some really good things, and they did some really awful things, but to hear proponents talk it was all sunshine and roses except for a few misguided execs. Nope. It was all up and down the organization.
I don't disagree with your overall point, but this specific episode likely was just the usual big-company problem: https://twitter.com/felixsalmon/status/1215092889090392064
Using AWS Cognito with Node.js
Short term framing of "destroying neighborhoods" is exactly why we can't get anything done. For some reason everyone wants to try to freeze development so that things stay the way they are or revert to some past state. This is frankly stupid and in the long term has terrible outcomes. Look at SF to see what this does. Yes, any time land is taken by the government it sucks for the people there. Nobody is disputing that. What we are saying is that this short term pain is necessary for longer term and bigger picture improvements.

Look at the wealth disparity between the Worcester area (tolerable commuting access by rail and car to Boston) and the Fitchburg area (far less tolerable commuting access by rail and car to Boston) and then say that. As regrettable as it may be the best way for people who do not live in Boston to move up the economic ladder is to commute into Boston where you can make the big bucks and for practicality reasons doing so in a car is the least worst choice available to most people. Literally no party involved likes this arrangement but forcing every commuter that has to go somewhere between I93 and I95 onto surface roads ASAP does nobody any good. I'd call it cutting off your nose to spite your face but spiting one's face implies a level of forethought that was clearly absent.

Any major city is going to have a huge number of car commuters no matter what and decreasing the distance between the highways and their destination makes all the infrastructural changes at the surface road level that make a city less car centric more palletable.

The thing that really pissed me off about I695 isn't the specific highway or lack thereof specifically but that is represents a turning point prior to which it was possible to step on a few toes in order to get something that benefited everyone done and after which everything had to be compromised to hell and back in order to not run afoul of even the most microscopic stakeholder. This has just as big of an impact for public transportation infrastructure as it does for private transportation infrastructure and one would have to be a very near sighted fool to cheer that.

At the end of the day it comes down to regional interests vs local interests. The way I see it is that if Boston had built good highways in the 50s and 60s they would have been building subways in the 90s and '00s instead of digging overpriced tunnels. By caving to special interests they screwed themselves onto on a path that led us to where we are today.
Nominative Determinism
That list looks like its very available to me? The only overlap with software are two unmaintained projects.
Has anyone used Pocket for personal knowledge base?
It's already the case that the a user engagement heuristic (along with other criteria) must be met before the prompt appears, but the engagement heuristics vary between browsers, see https://developers.google.com/web/fundamentals/app-install-b...
There are more photos, and discussion of installing electricity and water, on this website. (It seems to be by the same author as the Atlas Obscura article, or at least the same photographer.)

https://cityofdarkness.co.uk/category/the_city/
What I find surprising is how many people downvote anyone who says they suffer from this...
Cheers. Do you already have a use case for bamboolib in mind?
Show HN: Railroad Ink Game Implemented in TypeScript
I can have multiple copies of the same document in the system. My notes are associated with documents via md5 hash, so it'll link them with all copies that are present. At some point I'll get the script to automatically hardlink or symlink duplicates. To be honest though, trying to decide which location best fits a document is quite a good way to engage with the document content -- so even though decisions are often suboptimal, it isn't really the final hierarchy which is the product here, it's what goes on in my brain during the process of trying to organize the papers. As far as the NLP libs question is concerned -- so far this is just an excuse for me to play with SpaCy .... I'm still at quite an early stage and haven't made much progress (my background is more machine vision than NLP - which I haven't touched since I was an undergrad 20 years ago).
I found this rather incomprehensible.
Blazor is currently being developed to take on the role of an official cross-platform UI.

https://visualstudiomagazine.com/articles/2019/09/26/blazor-...

https://github.com/SteveSandersonMS/WebWindow
Inequality Imperils Cooperation
Synology uses standard linux md (for btrfs too). Even SHR (Synology Hybrid RAID) is just different partitions on the drive allocated to different volumes, so you can use mixed-capacity drives effectively.
Teardown of a Sonoff Basic WiFi Relay
Age-Partitioned Bloom Filters
There's some BBC footage from Wicker's World where Alan Wicker is walking through the city and talking to local people.

He actually refers to an older documentary he made where his team were basically run out of the city by some local triads.

https://www.youtube.com/watch?v=JchVQMuxRVA
Unintended consequences: How ‘green’ regulations exacerbate the housing crisis