skysight-inc/HackerNews huggingface dataset:
I think the point about arbitrary data entering your system once everything is compiled is quite valid: it is common to call into typescript-compiled code from arbitrary JavaScript. Typed Racket had an interesting solution to this, where it would generate run-time contract checks at all of the typed-to-untyped boundaries, and so it could be sure that a compiled typed function was indeed receiving objects of the correct form.
Jislaaik. Don't skrik bokkie.
I would have agreed with you but after checking wikipedia, decentralization is actually the first requirement for it to be called a cryptocurrency.

> 1. The system does not require a central authority, its state is maintained through distributed consensus.

https://en.wikipedia.org/wiki/Cryptocurrency#Formal_definiti...

https://www.merriam-webster.com/dictionary/cryptocurrency
What can be a potential use case for something like this?
Looks interesting, the minification looks like a pretty good selling point.

One thing I noticed is the slow connection from Australia, it seems your CDN is limited to Europe and America.
Clientside Search with Elasticlunr.js
I run a robotics themed weekly newsletter as a side project.

At one point I decided that it would be nice to add header images to every issue. I decided to do it through a quick and dirty python script that adds the text for me.

Another thing I've just recently automated is the python script calling mailchimp API to show me the most popular link together with unique opens. I'm currently planning to embedd this info in every issue.

The next step that I'd like to automate is the campaign creation. With the API I don't suppose this will be a huge deal, just need to put some time on this. When I have it then I'd like to create a commit hook that will do all of these things automatically after pushing changes to the repo.
I am surprised Google was surprised, perhaps you were working with more modern infrastructure? Commercial areas?

I ran into this same problem in a the first 3 municipalities around 15 years ago when we tried deploying a street light solution.
Actually Dask on the python side.

Much higher performance if you were doing pyspark.

Because of the serialisation cost
Same. Samsung internet is a hidden gem for android.
They may reduce the carbon footprint per mile, but the physics of thermal engines imposes hard bound to what can be achieved.

The article mentions the delta wing design may save 20% on fuel consumption. However those gains are completely swallowed by the traffic increase which is about +30% every 10 years if I remember correctly.

The target for 2050 is completely unrealistic, considering the traffic increase and the long cycles of the aviation industry. It may be achieved with hydrogen, assuming it can be produced in large enough quantities with renewables.

"should we therefor not even attempt it?"

Oh they certainly want to look as if they were trying to reach there objectives ... for the moment it is business as usual. The production of conventional, kerosene powered planes has never been so high and still increasing.
Ironically a human artist who could evoke a response like that would be doing better than most.
Those mechanisms only prevent an attacker from decrypting the disk. The scenario I'm envisioning is where the attacker steals your workstation, wipes the disk and reinstalls Windows.
Ahhh! Right! See, the context here is important. Continuations are pretty widely known and important in the context of programming language implementation and theory, which is why I was confused by your comment. In the context where this paper was presented (to programming language researchers), making the link between delimited continuations _would_ demystify a bunch, and could allow for transferring of knowledge and techniques between the fields.
In Sweden the unions are the ones who will go to court and negotiate for you because they know that if you go it will set a precedent that exposes everyone else too.
Aren't IOTA also the people arguing that cryptography professor Matthew Green was trolling them or making false accusations about their security?

I think they've seen multiple hacks since then.
Ask HN: How does the Japanese media report about the Corona Virus?
Hello everyone,
I have read a few posts on Twitter that Japanese media report quite differently about the Corona Virus than the Western media. What I've read so far: the asymptomatic incubation period takes 40 days, in the long-term it can affect other organs too, it behaves similar to Aids as people affected can't get rid off it. Can Japanese speakers confirm the media reporting?
Interesting CSS
I just pulled up the schedule, just looking at the schedule I can confidently tell you that the only people taking CalTrain are going to work or have no other choice: From 10-11 am there is 1 stop at most stations/direction. Trains and buses that only run once an hour midday exist only for those who have no choice: those unable to drive (generally disabled - blind). You need to run at least every half an hour to even think about getting people who are not going to work. People going to work generally can adjust their schedule enough to make hourly work and once they figure it out they don't have to think about it again. Also those going to work generally have very heavy traffic as the alternative.

If you want a train/bus to be used by people who have a choice you must run not less than ever half hour for 16 hours a day. The more often you run the more people who will ride, up to about 5 minutes where everybody knows you can just show up and get on. (unfortunately the amount of extra riders you get from coming more often isn't linear so you sometimes cannot justify coming more often by the amount of extra riders you get)

Note, there is a 2 year lag between changes in routes/schedules and riders figuring out the new routes. I think Caltrain could get a lot more non-commute hour riders by coming more often but if you push them to make sure you make everybody aware that it will be 2 years before there is a change.
the Guinness world record is over 70k digits set by Rajveer Meena: https://www.guinnessworldrecords.com/world-records/most-pi-p...
Watching the talk "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann (https://www.youtube.com/watch?v=uJHD2xyv7xo) gave me an appreciation for the challenges in designing in a gradual type system like TypeScript.

When I first started using TypeScript, I was surprised to find that it wouldn't compile code I absolutely knew was correct, or that it would allow "risky" code in some cases as the author says. The talk formalized the issues I faced using TypeScript by teaching me about soundness, completeness, and the trade-offs that are often taken between the two.

Generally, TypeScript has made my life a lot easier than the occasional trouble it's brought me.
I think you used the wrong tool or misunderstood how to utilize typescript. If you want guarantees of data integrity from external sources, try something like Json Schema.

Or even without that, your data should be entering the system as type 'unknown'. There's then a validator function that takes in unknown and outputs the intended type.

From there onwards, integrity is guaranteed by typescript, but only if you have the discipline to use it consistently. Otherwise, yeah, don't bother.
What Is the Discovery Phase, and Why Should You Include It?
One Simple Data Privacy Trick That Will Get You Started
You said you broke your code in functions of 1-3 lines, I offered an explanation why that may have not been well received in your interview. I understand that you don't agree with that and that's fine with me.
Very well stated
Glad you enjoyed the articles!

> My question is : in what way should I modify my current note files to be compatible with org-roam ?

In contrast to zetteldeft, the links in org-roam are real file links. This means you need to replace all of the zetteldeft links with actual org file-links.

That should be all the changes required I think.
How Can Alibaba's Newest Databases Support 700M Requests a Second?
That is something local Republicans need to fix...
You'd made a possibly related claim a few months back, if that stirs any memories:

https://news.ycombinator.com/item?id=21953121
Tur+Firması+Sosyal+Medya+Tasarımları
Obtaining Equations of Motion: Newton vs. Lagrange vs. Hamilton
I would like to refer you to this article by Tim Ferris.

https://tim.blog/2020/02/02/reasons-to-not-become-famous/
Tesla Anti-Handbook employee's handbook
Thanks for the detailed info. I honestly don't know the details well enough and hence framed my comment as a bit of an open question. This makes me wonder, in Germany it is possible to get a decently priced domestic train ticket or at least a comparable price to a domestic flight but one needs to book far in advance whereas this isn't the case when booking a flight. If it's not subsidies and taxes what is making train travel so uncompetitive with flying?
Taste (Sociology)
Yeah what do people use now?
I answered 18 correct answers out of 20. Do I qualify as an art critic now?

I assume that the AI generated art would be harder but what is the point really? I would only see the point if the model was trained with something else and ‘it came up with modern art looking images’.
Check their status page [1] to see the progress:

> Investigating - We are currently investigating 403 / 429 errors received by some users.

[1] https://status.npmjs.org/
The hope that it improves is the only thing keeping me sane, hah!
The Current State of Software Accessibility
As the author says, you could argue both ways - either that the internet is a great tool with a net positive effect on people (those who know how to use it and can ignore the noise) or that we have adopted it so quickly and blindly that the internet hasn't caught up with humanity, causing these harmful side effects. Sometimes I think the internet was actually better 15 years ago, all things considered.

However if we expect it to become our sixth sense, we better a) evolve faster as a species to increase our bandwidth, and/or b) humanise the internet, educate ourselves to use it better, and consume information in a more natural way. Since the former is nowhere near, I'd like to see a Richard Hendricks appear and introduce Internet 2.0 for humans. But just like the author I don't know what that "better version" really means, or what it would look like...
I hope blimps make a comeback, they have a lot of potential. Especially considering high speed rail is bound to stay limited to busiest connections, given the fixed costs and required high passenger volumes.
Linux-Based Windows 12 Lite Is Three Times Faster Than Windows 10
It wasn't very accurate, though. https://www.psdevwiki.com/ps3/PS2_Classics_Emulator_Compatib...
It would go a long way to package this such that somebody on a mac can just download it and run, or install with brew. Also after disabling security, chmoding +x, and attempting several patterns on the command line I could not get this to run, each time spitting various errors i.e. "Could not find notebooks in .: Error while looking for notebooks: skip this directory", "Could not find notebooks in /Users/mfrey: Error while looking for notebooks: open /Users/mfrey/Library/Application Support/CallHistoryDB: operation not permitted" etc.. maybe I'm just an idiot but at this point of dysfunction in a program I'm experimenting with for kicks, my capacity to continue futzing with it is exhausted, just FYI.
That is also what kept me away from it. I love all of their features it is price bracket that force me away. I love their SmartSync but that's not enough to make me buy a 2TB plan.

So now I am using an extension to make iCloud work a lot like SmartSync
* The law states that in many naturally occurring collections of numbers, the leading significant digit is likely to be small.*

Pretty much all of them.
There is also https://github.com/cs01/gdbgui
C++ does not have multiple dispatch, though.

Historically in C++ it was considered to be more performant to dispatch function calls on the base type of its arguments, not the concrete types.

Consider for simplicity member functions A::f(x...) in C++ as free functions where the first argument is fixed to be of type A, as in f(A, x...). If you want to emulate multiple dispatch for just 2 arguments f(A, B), you already find yourself in visitor pattern-land.

And the other issue with C++ is that it does not allow open functions. In the visitor pattern you necessarily have to implement f(A, B) for _all_ subtypes of A and B.

In Julia open functions + multiple dispatch make life quite a bit easier than in C++:

julia> abstract type Animal end
julia> abstract type Color end

julia> struct Dog <: Animal end
julia> struct Cat <: Animal end

julia> struct Brown <: Color end
julia> struct White <: Color end

julia> f(::White, ::Cat) = println("Hello white cat")
julia> f(::Brown, ::Dog) = println("Hello brown dog")

julia> for (color, animal) in [(White(), Cat()), (Brown(), Dog())]
f(color, animal)
end

Hello white cat
Hello brown dog

Note that array type is here is Vector{Tuple{Color,Animal}}, which would correspond to type erasure in C++.

Lastly, the modern C++ version with std::variant + std::visitor is probably not really multiple dispatch, since it has a union storage type under the hood.
Would be nice to know more about the CDN, because after all just two POPs makes a very simple CDN, but a CDN isn't just two POPs!
FreeCAD on Raspberry Pi 4
I was (incidentally) just looking for a way of running a npm repository. Apparently it is not so simple as running a web server with a manifest (which is the case for basically every other package manager out there). Is there a reason for that? Is npms approach somehow better?

The thing with using web technology for distribution is that it’s easily accessible and, crucially, that it’s cachable in-line.
Well if you're a native English speaker you could get by ok your entire life without learning another. But if you're not, you're practically obligated to learn it. I would not have the life, nor the knowledge I have today If I hadn't learned English by immersing myself in it;
You're right about cross-compilation, but

> Depending on where bottlenecks are, RPC/HTTP/WS can be just as effective as dynamic linking.

...is just wrong. Even when performance doesn't matter at all (and it matters significantly: replacing even a low constant number dynamic library calls with optimized host-local RPCs using a fast transport can be enough to transition latency from "unnoticeable" to "a human can feel the lag"), the complexity undertaken when orchestrating any sort of RPC or webservice/webhook is substantial--absent LD_LIBRARY_PATH hacks and getting libraries installed, you don't have to think about any of that stuff when (dynamically or statically) linking.
Some users in the issue are reporting it's fixed.
And this works because modern art is flexible enough to allow all kinds of things. Why not do the test on generated text? AI still fails terribly on that mainly because it is not sentient, it does not actually understand anything of it
46 years ago a disgruntled US Army private buzzed White House in stolen chopper
It seems the issue is resolved at the moment. From the same link

> Monitoring - Our content delivery partner has informed us they've implemented a fix. We are monitoring.
Feb 17, 13:07 UTC

Edit: And in the OP GH thread, people are also mentioning it's back up.
The Big Data of Big Hair (2019)
Software with a battery pack (and no headache of a drivetrain).

Luckily for Tesla, most of the other car companies disdain software engineering and see it beneath them and mechanical engineering. My friend had sold his software company to BMW in 2008 and they didn’t even ask him to join BMW. Even more shocking they used the same software for over ten years with NO upgrades and updates.
UK here - I remember it back in college thirty+ years ago as in "build X from first principles", which could mean (e.g.) implement an algorithm without out using library calls.
But it could also be really a breakout hit — look at Myst for instance
> except programming is difficult and akin to magic for most people.

So is cooking to quite many of them, myself included. I find programming easier than cooking - because although it takes much longer to achieve anything, it also doesn't cost anything on the margin, you can pause the process at any time, and you don't risk hurting or killing yourself.

> is usually achieved by having a program that takes a lot of configuration parameters and then does the job according to them

The ultimate form of "configuration parameters" is the code itself. Phrased alternatively, configuration is just code in a non-turing-complete language. Code is data is code.

There is a gap in tooling, there are currently no good Hypercard-like tools that would allow to make "personal software" and share it as recipes. That's perhaps because computing is still in its inflation phase and there's too much platform diversity; hopefully that will change in some way in the future. But lack of necessary tooling doesn't mean the vision is wrong, especially a vision that was true in the past.
This seems to be slowly clearing up.

Regardless, can we talk about the conduct in this GitHub thread? I know every community is different but is it common to have memes and jokes posted this quickly and often in a GitHub issue? It makes it really hard to follow and discourages genuinely useful discussion of workarounds or progress.
Thank you, I'll check that
Founder here: my entire stack is on AWS. I'm using CloudFront as the CDN
For cheap and no bullshit experience, I would recommend DigitalOcean. Their simplicity always amazes me
If this is causing production CI/CD pipelines to fail, this might be a bigger issue than it seems. Has this already happened in the past with npm?
Dealerships Give Car Buyers Some Advice: Just Stop Paying Your Loan
Take a look at the Continuous IDE for iOS and iPadOS. It's C# based, but it will compile and run any code supported by the platform, including UIKit, SpriteKit/SceneKit and Xamarin.Forms. The compiler is the Roslyn compiler. The only limitation is that it uses an interpreter to run the code.
I think it depends entirely on whether the overloads perform the same conceptual action. If I have a "send value" function that transmits over an existing network connection, I can have overloads for bool, int, string, etc. Each does the same action, but for a different type.

In the other hand, overloads can do entirely arbitrary actions. If there is no consistency between the different overloads, then there is no reason to have them be named the same thing.
The flexible REST API client for Ruby
If this happens in future, you can switch an NPM mirror, such as:

- https://open-registry.dev/#get-started

- https://npm.taobao.org/

WARNING: Research who runs the mirror before putting your trust in it.

How to turn on:

npm config set registry https://npm.open-registry.dev

How to turn off:

npm config delete registry
> In late 2008, the first operating system (more below)

I'm clearly missing it, but which OS is it talking about here? The two sources from 2008 are not related to EAL6+
OVH would be relatively cheap. They have 72TB storage servers for $485.99/month.
I posted the same thing on a similar thread yesterday but if you're looking to build some scrapers and listeners and make it easy for yourself I'd highly recommend Huginn (https://github.com/huginn/huginn). I set it up a few months back and I've been using it to scrape all sorts of info and alert me on things. IE:

* A change in GBP -> NOK exchange rate, to indicate if it's a good time to buy ready for my next trip to Norway.

* Alerts on flight prices to help me purchase flights when they're at their cheapest.

* Daily digest email with content I'm interested in from HN and some web comics.

* A summary of new content coming into my RSS reader.

It works really well for this sort of stuff and I found it fairly easy to get up and running.
> Lesson 3: Search is a great tool for debugging and flexible organization

"Give me modularity or give me grep!"

That saying was intended to showcase the importance of modularity, with the idea that you shouldn't need to grep good code. But my personal experience is that if you have to choose, grep wins, no contest.
PrivateVPN review: based in Sweden, still safe?
already 44K stars on github
already uses rust async
they are truly bleeding edge and it works cross-platform, too
https://www.youtube.com/watch?v=lcoU9jtsK24
£1.2B for the world’s most powerful weather and climate supercomputer
The hack was apparently exploiting a vulnerability in a third-party dependency in the wallet app, which is built on node.js. All these dependencies that is used in the majority of modern apps seems like a huge security risk to me. They make rapid cross-platform development possible, but at what cost?

Anyway; the network itself was not hacked, which is good I guess. And the coordinator (centralized node) is said to be the training wheels which will be removed at some point, but it still seems to be quite far of into the future.
Some people getting in the workforce in the last few years have troubles making the distinction between work and play contexts. It's extremely visible on github, slack, &c. which are more and more looking like discord / reddit (gifs, memes, random jokes in the middle of serious discussions)
I grew up in Eastern Europe and had the same experience, ending up speaking English near natively as a kid thanks to watching undubbed cartoons on BBC, Cartoon Network and Fox Kids, Hollywood movies and playing video games.

I thought this was the case across all of Europe but found out that in the rich part of Europe all entertainment is dubbed in the local language so youngsters there had worse English skills than I expected for such wealthy nations.

It's probably one of the reason so many US tech companies have opened up shop here, other than lower wages.
Think Like Gen Z to Hire Gen Z
You are assuming linear costs. However they are not. The system is good for 1 development at no extra cost, but the second goes over capacity and so they have to tear down the old system and build a bigger one. The new one is good for not 1 more development but 100 - which might or might not come. If it comes good, but if you just have the 1 development everybody is on the hook to pay it off, not that one development.
> if

It 100% is, unfortunately. I don't recall this happening in recent history, but it has been the case that 3rd party services have broken CI/CD pipelines and production pushes (e.g pip broke a few weeks ago, and their own pipeline for deploying changes was blocked by the bug).
I think this is partly a result of two things.

1. GitHub presents an interface that encourages Reddit style behaviour.

2. NPM outages are essentially a meme in themselves at this point.

Both of them together create a perfect storm.
>> than a short hop which would be better done by train.

Train is better for short hops between highly populated areas, but not so much between islands with 10k peoples. Many short flights are between places where only other option is car + many hours on ferry, and for them an electric plane would be perfect
Revolut and Monzo’s mammoth funding rounds
IC = ?
If you’re looking for something more lightweight in between vanilla GDB and a full GUI frontend, I would highly recommend GDB Dashboard: https://github.com/cyrus-and/gdb-dashboard

It’s just a single file (replaces your ~/.gdbinit) that wraps your GDB session with a nice TUI using the Python API. I’ve found it to be a nice middle ground.