skysight-inc/HackerNews huggingface dataset:
just a rethorical question: whats your point!?

because there are lots of people who have other things to do than "bring up anything" on some cheap "roll-your-own" hosting-platform.

... ever considered TCO !?

they just want some problem solved, and don't care much about the current "trends", "buzzwords" or whatever there is in 2020 which may be of interest for "it-nerds" than "getting things done" and move on with their core-business :)

just my 0.02€
Thanks, I realize I was not as clear as I wanted to be in my comment above

1)

I wrote:

> What would a F/LOSS world, without IP enforcement, BUT with authorship claims and a shared record of 'who was first', look like?

I'd evolve this to: What would a F/LOSS world look like with a system that rewards copying and giving attribution (by being able to find, and getting to work with, other humans that have complementary skillsets), but that doesn't pretend that humans can 'steal' something that is a non-rival resource (software/digital media) [simple example: I can give someone a blueprint of a bike, and I wouldn't lose (access) to my own]? What would a system look like that focuses on tracking authorship claims, which helps humanity see which teams achieved what (a shared record of 'who was first' that helps assess the productivity of a certain team)?

2)

My second argument comes with the way our economic system commoditizes information, creating essentially a world with 'information feudalism'. My question is: is this inevitable? Or can we create non-rival ways of acknowledging wealth? [1]

Sensorica and Mikorizal are moving away from dollars, euros, etc. and towards asset backed accounting, with the use of the Resource Event Agent (REA) accounting model, in what they call an 'Open Value Network' (OVN). An Open Value Network inverts the closed corporate Value/Supply Chain accounting. A 1kg bag of carrots stays a 1kg bag of carrots, instead of becoming denominated in dollars, euros or pesos [2]. This means we start being able to see the flows of resources flowing through our communities. This has never existed before so it's hard to describe.

I'm glad I got to clarify thanks to your comment - also helps my own thought processes

I'd be curious to hear if this resonated, or made some sense to you?

[1] https://eric.harris-braun.com/blog/2007/11/05/id-55

[2] https://medium.com/metacurrency-project/the-metacurrency-myt...
So when Coca-Cola Germany could no longer get Coke syrup, they came up with their own flavors, called Fanta, which are still with us today.
There were no real testing infrastructure in March. Everything was an unknown, and most people didn't get tested unless they showed serious symptoms and were close to hospitalization.

The current assumption in Norway, based on testing and WHO guidelines) are that we detect about 1/2 of the active cases through testing now, compared to 1/10 back in March. Applied to your numbers, the current outbreak in Germany is about a fifth of what it was back in March.

Be careful about assuming the numbers represent the same thing over time and between countries; in general the ratio of positive cases compared to the number of tests has changed a lot during the last eight months.

Some of the reports from the Norwegian health authorities has explicit notes about where reporting and testing criteria changed during the timeline.
Can confirm, after being blocked from the org I can't fork the project via GitHub.
This makes me hopeful that we would have access to more high end parts not too far in the future. To ditch my flagship spec phone , I need similar specs as replacement.
"Relaible Execution", "Ready for Teh Cloud".

Doesn't feel very professional.
I do not play 3D games in the browser. If that is a usecase, then webGL has to be enabled of curse.

If browser games were a usecase of mine, then I'd keep my safe "daily driver" Firefox for surfing the WWW with the mentioned restrictions in place. I'd use a separate Chrome browser as a "game client".
I thought the scale factor is either 1,2,4 or 8?
Sorry, I think I didn't articulate very well. It's not just ISPs, can't we arbitrarily nest networks? And you might foreseeably desire privacy on one of these interior LANs. Or perhaps your ISP is abusive and you can't switch for some reason. I dunno. (I know, it's not expected to be an issue in practice, but edge cases bother me.)

At what point (if any) will a scheme relying on NDP begin to break down due to collisions becoming unacceptably expensive to resolve? 16 bits of address space? 10 bits? Or is the algorithm behind NDP so robust that it will work right up until the network is completely full, with every last available address in active use?
Just look at how many web sites/apps hijack or break scrolling

Hardly any? That's been a minor trend in web sites for a while, but changing scroll behaviour for no good reason is widely regarded as an antipattern by UI professionals. I don't recall ever seeing normal scrolling behaviour subverted in anything I'd call a web application.

or the back button

This is a tricky one from a usability perspective, because some users see URLs as shortcuts to particular parts of a web application and expect the back button to behave accordingly as they navigate information in the app, while others think of the whole application as being a single page and expect the back button to just leave everything. But there is a whole set of browser APIs for managing that behaviour, and it's something a well-designed application will at least present in a consistent and logical way.

or the ability to middle-click on a link and get a new tab

This sounds like you're talking more about web sites than applications again, and again it also sounds like you're talking about bad design that web UI professionals would universally disagree with. It's usually caused by newbies who read some style-over-substance tutorial and decided that making links or buttons with elements other than the designated anchor and button ones that exist for that purpose was a good idea. After the first few glaring usability problems, they'll learn better.

or the ability to highlight text.

I don't really understand this one at all. The only times you wouldn't be able to highlight text in a web application would be if the designers have actively prevented it, for example to prevent selecting UI labels along with the content of a text field. This typically works exactly the same way as any native desktop application.

But in spite of that, nobody ever really expects drag and drop or rich copy and paste or any other data exchange mechanism to work between web apps.

I don't know what you mean here, either. Dragging and dropping text between web applications typically works fine. If by "rich copy and paste" you mean other more complicated data types, what happens is obviously highly context specific, but once again, this is the same story on native desktop applications. It's not as if you can copy a selection of spreadsheet cells and paste them into a drawing package with obvious and meaningful results either.

As a final comment, the examples you're talking about here all seem very "meta". As such, they're not particularly interesting to me, because as a UI developer working on a web app you generally get the expected behaviour by default with these kinds of things. Sure, some people can and do break them. They're just bad UI designers. Some people make native applications with shocking pink skins over the normal window dressing, too, but that doesn't mean all native apps are bad.
Some lost the chance during the lockdown mate
First thing to do when you buy a mac: buy a two-button mouse.

For when you only have the trackpad, enable two-digit touch as secondary button.
You can combine them. For example, [rax+rax*8+1] (base register, register shifted by 8, constant).
*sometimes happens
Have they complied with the AGPL though? They're required to share and improvements they made in their closed-source version.
Interesting that you mention pycharm. VSCode has a superb integrated experience for TypeScript ootb with language, refactoring, IntelliSense support, etc, no plugins or additional language servers needed.
This seems to be connected to FileVault. If the volume is FileVault-encrypted, it can get quite “greedy” about holding onto deleted files.

Even though it is supposed to let go of the space upon demand, it is my experience that it does not.

When a big update came out (don’t remember exactly which one, but it was a couple or so months ago), my disk space was down to about 13GB free, even though I had deleted over 150GB of files. The update refused to run, citing lack of space.

I had to wipe the disk, and use Migration Assistant to restore the disk.

That was the second time this has happened.

I think that this particular aspect of APFS still needs a lot of work.
I would buy a book about big health announcements dying in a corner since mice trials didnt replicate to humans.
I will create an effective instagram hashtag growth strategy for $25
Isn't the scale factor encoded in just two bits?
(i.e. 00=1, 01=2, 10=4, 11=8)
Melbournian here. It's now time to Get On The Beers.

Edit: Donuts.
> because otherwise I think it would have been Microsoft Word.

No, those are formats with completely different scopes. They don't compete and are essentially non-interchangeable.

> There was a time when papers, books, resumes, contracts, etc. almost always came as Word.

There was never such a time. I mean, sure, you could (and can) send people Word/LibreOffice documents, but things that needed some reproducibility and finality [1] were distributed or published is MS-Word format - almost ever. Postscript used to be pretty popular though.

[1] - Yes, PDFs can be edited too, I know.
Leon Baradat: “We are starting to talk about preparing a release soon”
I was really considering making it my primary/only phone and pre-ordering, thinking I can put up with issues since I barely need/use a phone really and it'd be fun to help where I could.

But then I realised that most of my limited phone use is instant messaging/video chat with family etc. and it wouldn't have WhatsApp, Telegram __might__ work but most of my contacts use WhatsApp and wouldn't switch for me.

So really I think I need to hear anecdotal reports of anbox working well on it, perhaps even for WhatsApp specifically before I bite the bullet. (I don't really want it as a toy/secondary phone, would just be a paperweight I think.)

It is my 'dream phone' though really I suppose - Linux & hardware repairable. OS is cool, but honestly I'd be happy just to see more Linux and designed for repair phones.

(Yes Apple phones are not the worst in that regard, but only because of sheer volume. Also, using multiple screw shapes, sizes, and lengths is pretty hostile/'authorised only' compared to Pine's single screw type.)
Just edited with an example; I’m on my iPhone so assembling via nasm takes an extra minute ;)
GCC has some support for fixed-point arithmetic, as an extension to the C language. Unfortunately only a very few target architectures are supported, not including AMD64. [0] (Unfortunately this page doesn't list which architectures are supported.)

As carlmr mentioned, the Ada language has built-in support for fixed-point arithmetic types.

[0] https://gcc.gnu.org/onlinedocs/gcc/Fixed-Point.html
I like Racket, but

>> My one requirement is that it must be available in ubuntus repositories.

You can install Racket directly from the download page or you must add the PPA https://launchpad.net/~plt/+archive/ubuntu/racket
I use the PinePhone as my daily driver. Telegram Desktop actually works rather well, so does Matrix with Fractal, but I don't think WhatsApp can really work without an official blessing from FB.
When designing an ISA, I assume a basic step is figuring out which instructions to include.

For each instruction, I would guess that a 'draft' compiler is produced that can use that instruction in its code generation steps, and a few 'draft' CPU designs are made which include support for that instruction.

Then cycle accurate simulations can be done on a set of test benches to see how the addition of that instruction affects performance, power, and code size across a wide array of different usecases.

In the case of RISC-V, where some CPU extensions might be emulated, I would expect the test to also cover the performance hit of emulation of the extension for those machines without native support.

If all of that was done, and still it made sense to add the instruction, then most of these critiques aren't valid - since there will be hard data that the approach taken was the best one.

Perhaps when RISCV was a young project, too many design decisions were made without the massive compute farm to do all these simulations, or before more complex multi-issue CPU designs were added to it, and therefore some decisions aren't optimal?
In what ways is it preferable to ODT (OpenDocument format)?
Do you play games on your phone? Otherwise I really don't understand why anyone needs faster and faster flagship phone every year or two.

Sent from my 2014/15 (low-end, year or two old parts then) Wileyfox.
Yes lots of caveats... but it works for Ruby in practice, often getting 10x on template rendering workloads.

Particularly, you 'actually...' me about how fetch and store dominates... but we're not storing anything into existing memory! To concatenate strings we only create new nodes and refer to the old nodes. You don't even need to read what's in the existing nodes! The essential fast-path of building up a template is write-only with bump-allocation into the extremely well-managed TLAB. No reading required. That's why it works so well.

Yes traversing the tree means writing it out is a little slower, but that's one small part at the end, with good pre-fetching opportunities.
You’re living in it now.

Success for a lot of startups isn’t really anything noble, it basically just means making a lot of money.
I was always wondering how French can survive so much bearnaise, and cheese.
Does Glenn Greenwald not also own The Intercept? He was drawing a 500k salary and was also the CEO no?

Did he lose equity at some point?
Thanks for the example. I was assuming that a and b are variables in OPs posting.
True. On the other hand, it also fails to handle lanes properly:

https://youtu.be/wPJc9_gJHtM?t=431
How is this example not simply fraudulent / lying?

https://www.growthunt.com/record/rec2WipWzOnr06ODF/getting-
400-signups-with-a-video-of-a-product-that-didn-t-exist

... leading to:

https://www.lunadio.com/blog/i-got-400-signups-with-a-video-...

"Hi, we created plugin for generating ads in Photoshop"
... after faking a video to make it look like this what had been done.

If this is the kind of crap that goes on to 'create a business', damn glad I'm not involved with it.
Ask HN: What positive value has Twitter added to your life?
The answer is fasting. That’s the missing feature of our modern life. Humans need to fast to clear out the glycogen stores and liver fat.
What were the biggest challenges with your experience?
I wonder if it would be faster for me to assemble a phone from spare parts instead of waiting for my delivery!
Agreed. I'm labouring the point because a lot of comments here are waving this away as a one-line stateless change ("just check the fragmentation offset is zero"), when in fact it might mean switching from a completely stateless ALG to a stateful ALG. That is a bigger deal from the code complexity point of view, because it means the ALG has to start tracking TCP connections.
Montreal has a public housing initiative, but so does Toronto. The public transit networks are municipal, so maybe those? We've also got a good library system...
Every design has its flaws. Intel's instruction set is probably closer to the lower end of the spectrum than the opposite. Still there are very performant implementations (probably at the price of increased power consumption).

Any educated opinions how bad the RISC-V problems are compared to others when looking at the big picture?
It's important to note that the actual slice names in this article may vary, depending on whether you have a HDD or SSD, and whether you've upgraded macOS through several versions.

For example, if you upgraded to Catalina from a pre-APFS version of macOS on an SSD, "Macintosh HD" will likely be disk1s5 in the APFS container scheme. In this case, "Macintosh HD - Data" will be disk1s1, "Preboot" will be disk1s2, "Recovery" will be disk1s3 and "VM" will be disk1s4.
Modern JS frameworks and all the websites using them :)
> I don't think there's any scenario justifying that arsenal.

The scenario isn't based on a need to drop 25 nukes on every other country on earth but to be able to get back at anyone even in the case of a massive unwarned pre-emptive strike.

Same on the Russian side, they probably still also have many more warheads than they need to obliterate any chosen enemy.

Also, these systems takes decades to build, I don't think Putin and his leadership was/is particularly afraid of Bush, Obama or Trump planning a massive pre-emptive strike - or vice versa - these systems are probably in place because of presidents long dead and the risk of future presidents who still aren't more than bullies in elementary school.
> When there is overlap between supply chains of countries at war, I have to say I find it quite comical.

The US and the Soviet were never at war though.
Some in the publishing industry have actually moved to HTML - O'Reilly comes to mind.
First time I came across this was when I was reading a chapter on genome assembly in a bioinformatics algorithms book. It seemed like such a great solution until it got to the section about practical complications with DNA sequencing: sequencing errors, the fact that that their are 2 strings being assembled (double stranded DNA), repeats in the genome, etc..
Yeah the red wine health benefits were denied recently when the underlying study failed to take account for other variables such as social class and lifestyles. Amazing how flawed some of the old studies are. Wouldn’t be surprised if somehow the alcohol lobby was involved back then
null is not a very good default value in most cases though, since the operations you do with values of "real" types will not work on null. Therefore actually using your "default" value is pretty much guaranteed to be a bug, identical to using an uninitialized variable.

It would be better to just error out and not allow the uninitialized usage at all, but unfortunately that's not possible in Javascript.
https://archive.is/BUHOe
Hacktoberfest2020 wrapup and few key points to note
How strict was the lockdown in practice? What were the rules?
If we could go back 30 years we might decide that img tags can only show images from the same domain. That would also have solved the whole hotlinking mess of the 2000s. We might also decide that img tags need explicit width/height declarations. That would also have prevented lots of reflow issues.

But we didn't do either of those. Changing that now would be too disruptive, the web is built on the assumption of basically eternal backwards compatibility. And with the amount of insight JavaScript has into the DOM of its own page it's basically impossible to hide the dimensions of a rendered element such as an image. So once you have an img tag without explicit size declaration, onload is basically a performance optimization that could be replaced by polling the position of surrounding elements.
Personally I think the POWER instruction set is better in many ways. It has a proven track record of high performance and embedded implementations. A lot of ISA design is about avoiding patents and other traps. Ultimately it doesn’t really matter because most of the value is in the implementation and the software is the commoditized complement.

Truly innovative designs don’t actually use RISC encoding and hide the details of instruction encoding. See for example NVIDIAs PTX , which gets mapped to hardware specific instruction streams, which are nothing like a traditional RISC architecture.

To me RISC-V is another example of how open source often produces lowest common denominator copy cat versions of ideas that are 30+ years old. Just like Linux. The sad thing is that this often kills innovation and locks in suboptimal designs for a long time, because it is hard to compete against something that is free.
It should work in anbox though right? Just a matter of whether anbox runs smoothly?

http://anbox.io/

Good to hear re Telegram, thanks. Gah, I'm tempted again. I actually got as far as checkout before, but then tax and shipping was added last minute and it suddenly seemed not such a great idea on a whim, and to warrant more thought/reading reviews on which size RAM model to get.

Maybe 2021 will be the year of (my) Linux phone.. :)
Second-order logic is generally avoided in discussion of mathematical foundations because it is not very "foundational"; it is too vague or "mysterious" to serve as a comfortable foundation. Unlike FOL, it itself is incomplete.

In a formal set theory, like ZFC, we postulate the existence of the set of natural numbers. This is something most logicians are comfortable with as being "mathematically foundational" ("God made the natural numbers; all else is the work of man"). Then, to describe the set of sets of natural numbers we use the powerset axiom that defines what exactly we mean by "all sets of natural numbers." Then, Löwenheim–Skolem appears and says that there are models of this set theory where the number of sets that satisfy this definition is countable (not inside the logic, but looking from the outside), to which we say: well, so be it. The reason this happens is because there is a fundamental limitation to the power of describing things using finite strings of symbols. Second-order can just say, no, when I say "all subsets" I mean absolutely all. But can we precisely formalise, i.e. write down in symbols, what we mean by "all" using some basic, "simple" foundation? The answer is no. Second-order logic just vaguely gestures toward "all" and says, "by all we mean all". It circumvents the limitations of formalisation -- i.e. describing things in finite sentences -- by alluding to non-describable things.

Most logicians feel this isn't very foundational to rely on allusions to things that aren't themselves reducible to axioms in a basic foundation.

Even when higher-order logics are used in formal mathematics, like various set theories or Isabelle's HOL, they are (at best) picked to be as powerful as (multi-sorted) FOL rather than "actual" SOL.
No company that tries to have the biggest possible user base will drop old devices that are running Android 4.2 or iPhone 4.
Author lives in a dream 10 years from now.
I use a bit more a homegrown system with Resilio.
It's great and costs very little.
You can find a guide here
https://www.danielandrade.net/2017/07/22/roll-your-own-secur...

It take a bit to setup and get used to it but I really like it.

To organize the photos you can use whatever you want on Desktop (I use Digikam) and on the phone I use F-Stop Gallery.

I know the integration might not be as smooth as Google Photos, but I feel comfortable with it and it's pretty fool-proof while giving me a lot of flexibility. If I want to migrate to something else I literally just need to copy-paste my files.

The biggest challenge was actually re-organising the files after using Google's takeout functionality. They come out a hot mess.