skysight-inc/HackerNews huggingface dataset:
I browsed through a book, really enjoying the interface - though I hit an issue here: https://bubblin.io/book/the-solar-system-by-marvin-danig/22

The right hand page (leaf?) says "Your browser does not seem to support WebGL. Find out how to get it here.". The error message is impossible to select and copy; it links to https://get.webgl.org/ which tells me my browser does support WebGL, showing the spinning cube.

Also, entering reader mode unexpectedly (ironically?) shows only a set of keyboard shortcuts, and this despite having no keyboard connected.

Using Brave on an iPad Pro.
That's a great way to look at it, learning as the moviation not the end goal. I feel I'm doing the opposite currently, trying to find new ways of developing and learning faster...
MakeMKV seems to have processing keys dating from late 2018 (at time of writing) so, ignoring BD+, it should be able to decrypt every disc pressed before then.
Moxie and Whispersystems have got some interesting thinking around using Intel's SGX:

"Modern Intel chips support a feature called Software Guard Extensions (SGX). SGX allows applications to provision a “secure enclave” that is isolated from the host operating system and kernel, similar to technologies like ARM’s TrustZone. SGX enclaves also support a feature called remote attestation. Remote attestation provides a cryptographic guarantee of the code that is running in a remote enclave over a network.

Originally designed for DRM applications, most SGX examples imagine an SGX enclave running on a client. This would allow a server to stream media content to a client enclave with the assurance that the client software requesting the media is the “authentic” software that will play the media only once, instead of custom software that reverse engineered the network API call and will publish the media as a torrent instead.

However, we can invert the traditional SGX relationship to run a secure enclave on the server. An SGX enclave on the server-side would enable a service to perform computations on encrypted client data without learning the content of the data or the result of the computation."

https://signal.org/blog/private-contact-discovery/#trust-but...

I don't know if they've got that in production yet - and I don't know just how strong the "cryptographic guarantee" of the secure enclave code is, but the fact that they're trying it fills me with joy...
It seems less intellectually confused once one recognizes that it's mostly just a plug for the author's company: he links to his product at both beginning and end of the 'article.'
CarMax sucks! They lowballed me and made me wait for the inspection for 3hrs :( Their quote was 2K lower than Drivester.com. It seems Drivester is new in the market and kind of promised to beat any other offer I had. I am going to give them a try. Lets see how that goes.
While it's admittedly ambiguous, I think they're likely referring to ClojureCLR, not ClojureScript.

https://github.com/clojure/clojure-clr
I am lost, it’s clearly a joke (the part about the kids too young to grasp a cigarette), but I don’t find the context for the joke. It can’t really have been an actual in depth scientific joke since there is no actual vo2max of smokers.
Hmm maybe there’s more to technology than “keep[ing] the market rate for programmers absurdly high.”
The Program Counter (PC) register is some of our most important state! Ever since Gotos were considered harmful, we've forgotten that it's just another register.
> Not everyone is prepared mentally to turn down big payouts

Nobody is prepared for racial profiling and genocide either.
Ancient Flying Reptiles Featured Distinctly Dino-Like Feathers
I've tried a lot of different time slots and so far only two have worked for me:

1. Wake up 1.5hr earlier than my family. This gives me around 1.15hrs of solid focused time.

The downside is, of course, I have to sleep around 10 so the family time takes a
hit. I have to leave early from office to compensate and if there's something
that holds me back in office then there's a high chance this plan derails. I try
my best to juggle work, self-time and family time and while it's not impossible,
it sometimes becomes difficult. Last one week, for example, was such where I had
a lot of issues at work, and fixing them and reaching home would mean I'll be
back around 9.30PM and I had absolutely no interest in rising early.

2. Reach office an hour or so early and try to focus. I say try because there are things which are out of my control, especially the traffic. If there's bad traffic then reaching office and getting into a focused mode takes a lot of time.

Evenings I've tried working but this isn't consistent. Sometimes when the office
is empty and most of my office work is done, I might get some time for focused
work but this is pretty impossible to get. By the time I reach home, I have to
swim through a lot of traffic so there's hardly any mental cycles left that I
can spend on focused work.

Additionally, I would say that it works best when your focused time is same
everyday. For me, that has been waking up early.
No they're not. The big players are, but that doesn't include all. For instance, my websites are available to Chinese users and have no tracking whatsoever. The government can see they visited the website, but not necessarily what pages they visited.

I suggest you read the previous Dragonfly threads, they were filled with Chinese users proclaiming that they hated paying for VPN just to use Google. I'm not saying everyone would stop using VPN, but a significant percentage would.
Bomba gibi patladı VARİL
I think it's premature to write off using neural networks to accelerate solving ODEs based on this study. There are quite a few ways to formulate the problem and there's been some promising work in this area recently, e.g., using neural networks to approximate subgrid processes in climate models:
https://www.pnas.org/content/115/39/9684
Do you use the v3 in a practical application? e.g. browsing or programming?
Me too. :)

Here are some examples of Marain symbols designed by Iain M. Banks:

http://trevor-hopkins.com/banks/a-few-notes-on-marain.html
> The latin alphabet (abc...) was created thousands of years ago, and is optimized for writing, not reading. About time for an update, no?
Then this happened 4 pages later: https://www.dropbox.com/s/xfs8zxrl0kj8r89/Photo%2018-12-2018...
>Trash from just 10 rivers is responsible for 90 percent of ocean plastic pollution

Is this still being misquoted? If you read the article you will see that it say 90% of plastic pollution from rivers are from those 10 rivers, not 90% of plastic pollution. A large part of the plastic pollution is not coming through rivers. It is also not much of a surprise that the rivers with most pollution is large rivers going through areas where many peoples live. Have anyone calculated how much is is per person living next to the rivers?

I'm not saying that it isn't important to clean up those rivers, but that it still is important what each of us do
And again in 2012: https://news.ycombinator.com/item?id=3778958 (128 comments)
Could we compare Dotsies learnability with "normal alphabeth" by checking which one is easiest to train with deep nevral network (NN)?
Very funny. But what about nicotine alone, via patches or gum? I kept using nicotine gum for several months, after the last time I quit smoking, on the theory that it helped me focus, and reduced appetite. But it was too iffy, and I didn't like the taste.
My dad was an All-American swimmer competing mainly in the butterfly, and is the second-youngest person to earn a varsity letter at Notre Dame, and he accomplished this while smoking more than a pack of cigarettes a day.

Of course he nearly died of a heart attack at the age of 47, despite having seen several cardiologists complaining of heart pain. As it turns out, his heart and lung function masked the fact that his left descending aorta (aka The Widowmaker) was 98% blocked.
I don’t believe it’s a joke, but instead hyperbole providing an example of misapplied data to “dangerously flawed conclusions”. From the abstract:

> Improper correlation or extrapolation of data can result in dangerously flawed conclusions. The following paper seeks to illustrate this point, using existing research to argue the hypothesis that cigarette smoking enhances endurance performance and should be incorporated into high-level training programs.
> Some people worry that we are reviewing content not posted on Patreon. As a funding platform, we don’t host much content, but we help fund creations across the internet. As a result, we review creations posted on other platforms that are funded through Patreon.

So if I want to get someone suspended, I dig through their history, find an instance where they used a word ten years ago that has now become "hate speech", create my own Patreon, and post their comments in my Patreon?
PM for gRPC here - this looks great! Thank you for creating it. I'll definitely be pointing folks to it. I saw that there is support for reflection and TLS planned already.

Are there plans to support record/replay of a sequence?
50,000-Years-Old Colored Pencil Found in Siberia
> Another view is you're doing something like logistic regression. You have a function and you're trying to reduce the distance between it and the "true classification function" that takes points to their proper category. You use gradient descent to minimize the distance between your function and this "real function" that you get through data.

This viewpoint doesn't change when you switch to ODEs. The evolution of the system T seconds into the future is a (piecewise) continuous function of the initial state.
Just a rough calculation:

Each pit on the DVD represents 1 bit, but need at least 1 pixel to stored. You need 8 bit to store a pixel. So you have write amplification of at least 8 when taking picture of DVD.
This is fascinating to me because coming at it as a Lisp programmer, my impression of LLVM is that it's primarily a library for doing Lispy things in C. It kind of makes sense, then, that you should be able to use the codegen parts of LLVM for implementing Lisp itself, and I love that someone has actually done that. And that he bootstrapped it using an existing self-hosted compiler.

The obvious question I have is why not just use something like SBCL as the starting point. His own benchmarks show it's ~4x faster (so far). Is it not easier to add GPU support to SBCL, than to write a new Lisp compiler from scratch? Of course, this way is more fun.
The problem I see there is you think there is only English.
While you may write "naïve" as "naive" and lose nothing, there are some other languages too and the advantage of Latin is that it's visual and Latin letters can be slightly changed to have something similar but different.

Do you think "Fußgängerübergänge" can be read as "Fussgangerubergange" or "zażółć" as "zazolc"? (German and Polish respectively)
That doesn’t answer what type of media is on the disks.
where in the post did kyrieeschaton mention Israel. they didn't. they only used the phrase "Jewish Lobby". and in fact doubles down on it in their responses.
Which is a pity, as currently the SPARC is the only commercial CPU able to tame C.

At least with luck those features are coming to ARM v8.3+ as well.
How to make use of your mistakes to your own advantage
1. Thanks! And yes, I'm aware of these issues pertaining to touch surfaces with/without keyboard and also on browsers that return isTouch true falsely on some machines running on Windows & Chromebook.

Our next iteration of Bookiza early next year will solve all of these edge cases gracefully.

2. That book on Solar System is an extreme example. I'm loading the heaviest MathJax library on that page to render simple math formula. Katex would suffice there and the bug would be gone. :-)
MALAWIAN MINERS DIAGNOSED WITH EBOLA DISAPPEAR IN SOUTH AFRICAN JUNGLE
He gets predictions more than most. You should go read that book. There are many chapters on the incorrect weight people add to the outcome of correct predictions (or incorrect predictions, if that is what suits their agenda).
First-Ever Insect Vaccine Is Designed to Protect Bees
TensorFlow.js – Real-Time Object Detection in 10 Lines of Code
Ancestry.com has a similar agreement with the National Archive: https://www.archives.gov/files/digitization/pdf/ancestry-201...

Five year embargo on the National Archive releasing whatever Ancestry chooses to digitise and host on their proprietary database. This model of digitzation appears to be the principle way that the records are digitized now: https://www.archives.gov/digitization/principles.html
The mapping has not been thought out. If designing a new representation, why map the single dots from a-e, single dashes f-i, etc. More thought was put into Morse code, which even used vertically would be better.

[Sad that this tops HN.]
For many languages (though probably not English) you could likely hack something with clever use of ligatures.
There was a thread here (found it) just the other day where Polish people specifically said "we don't use those accented characters any more because it's too hard on mobile and we don't need to" (heavy paraphrasing mine).

https://news.ycombinator.com/item?id=18688619
The Itanium failed because Intel signed cross-licensing deals with AMD a couple of years before, and AMD just got lucky with their extensions.

If there was no AMD in the picture we would all be using some form of Itanium by now.
I was surprised the thieves who got glittered while alone (in their car, for example) exclaimed out loud about it.

Do people naturally talk that way when there's nobody listening? It's not like they stubbed their toe.
Dependent types are types which depend on values. As an example, think of the cons procedure: (List A, A) -> List A. It takes a List of A's and an A and returns a List of A's. With dependent types you can write this as (List n A, A) -> List n+1 A. This tells us that cons takes a List of A's with length n and an A returns a List of A's with length n+1.

Edwin Brady shows off some examples in Idris here[1]. I thought the matrix example was really impressive.

[1] https://www.youtube.com/watch?v=mOtKD7ml0NU
The "getting things done in the real world" theme is overrated and mostly a myth.

In static FP languages, the exotic features being added are almost always demanded by users in the industry. As a fun fact for Haskell, developers in academia are more likely to stick with the Haskell 98 language for stability and compatibility.

As an example Simon Peyton Jones in a recent chat with Martin Odersky at Scala eXchange was describing how he was approached by developers at GitHub, who are using Haskell for language analysis, saying that they can't wait for GHC 8.6 because they want "quantified constraints", a new and very exotic GHC extension.

The "real world" you're talking about wants expressive static type systems where they matter. And the problem with static typing is that the language acquires more features and thus becomes more prone to suffering from backwards incompatible changes. And note that more features doesn't mean more complexity, rather it can mean more tools to cope with complexity, otherwise we'd all be programming in RISC assembly.

When it comes to Clojure, sure it's stable and that's a good thing, however it has no static type system (therefore it's apples versus oranges) and by encouraging people to work with raw data (e.g. everything is a list, a vector or a map) in a sense it's actually a step backwards from classic OOP.

Rich Hickey was fond of saying that OOP complects data with the operations done on that data. However the need for OOP's encapsulation and polymorphism came from the experience people had with procedural languages like C, and that experience has been forgotten, but the fact remains that some of the biggest software projects around are built with static OOP languages.

Correlation doesn't imply causation of course, it might be that such projects are built in static OOP languages because these languages are popular (chicken and egg issue), but at the very least we have empirical evidence that they work, whereas the empirical evidence for what makes LISP great pretty much doesn't exist.

Basically as an application grows, so do the data structures, being inevitable and to be able to cope with that: (1) you need good encapsulation and (2) you need the ability to do refactoring cheaply. And I think standard Clojure, like other dynamic or LISP languages before it, fails hard at both.

My point being that ... it's really not impossible to keep compatibility in a language that doesn't care much about correctness.

And I also believe that the "real world programmer" meme is a symptom of anti-intellectualism.
The paper is basically showing how to conclude the wrong thing from carefully chosen data and analytics points.

Smoking is still bad for you.
For my own personal projects I use the GPLv3+ because I want to protect the four freedoms[0] for users of my software. If I want something more permissive I would use the LGPLv3+ but I might start to move away from that and just use the GPL. For work, I have never been involved in deciding what dependencies we will use for projects, so not really sure what the companies have preferred.

[0] https://www.gnu.org/philosophy/free-sw.html
Same is true for morse code sound patterns.
>In part because amazon hasn’t even had them all available to sell. Pretty ridiculous

not ridiculous, good lawyer preparing the deal
I agree the spreadsheet was just a quantum leap at the time. When Lotus 1-2-3 was trending, I was doing technical support. So this would be right before Windows became significant. Lotus 1-2-3 was often paired with Harvard Graphics, which again was very impressive for the time. Somewhat later I got exposed to dBase and DataEase and learners about relational databases. It really was a wild time.
It says film. So, it could be movies or images. What else would be possible? Are you thinking of quickest ways to rip the DVDs if they are movies?
I've actually had this one, but didn't even last a year.

Has yours been better?
It’s not about how many engineers it takes to make a new programming language or runtime.

Facebook has the scale to invest in creating tooling, IDE extensions, core libraries, documentation, training, test frameworks, bindings, etc for a new language that they create. They also have the organizational scale and career development to make it worthwhile for an engineer to learn their proprietary language.

This doesn’t apply to most other companies.
This explanation is so succinct and natural you might miss how well done it is.
Why subscriptions – not free content – is the future of media
> The JVM just seems so "heavy" to me.

Wouldn't any replacement need just as much "weight"? The GraalVM example (linked elsewhere) turns a 300KB Java program into a 25MB standalone binary. The JVM provides a lot of features, and they don't come free. That's why he chose it.
What did you do?!
This read like a troll piece. Every line rubbed me in some wrong way until I couldn't take it any more.

> Haskell, at its core, is simple: it is just a polymorphic lambda calculus with lazy evaluation plus algebraic data types and type classes. This happens to be just the right combination of features to allow us to write clean, maintainable code that also runs fast.

This is an explainabrag which is also wrong: languages without these features can also have "clean, maintainable code" and nothing about this list implies "runs fast."

> Memory unsafe languages, such as C, lead to the worst sort of bugs and security vulnerabilities (buffer overflows and memory leaks).

Is a memory leak meant to be the "worst sort of bug" or a "security vulnerability?"

The implication is that memory-safe languages do not have memory leaks, which is completely false. Haskell is particularly prone to "space leaks" due to its laziness.

> Memory safe languages form two groups: the ones that rely on a garbage collector, and Rust.

What a profoundly dismissive attitude. Why bring up Cyclone and not, say, Swift? Or is Swift meant to be included in "garbage collected languages?"

> Dynamically typed (or, rather, unityped)

No these are not the same and this is an absurdly wrong conflation. Dart, Objective-C, TypeScript, and others are dynamically typed languages with static type checking. You can't "or rather" this distinction away.

The author rushes past real-world facts to get to the architecture-astronaut rocket ship, solving type-theoretical problems and pretending it's an engineering exercise. Blast off, I guess.
> https://handshoemouse.com/

> Reason: Access from your area has been temporarily limited for security reasons.

Funny...
Even coming from the Midwest SF feels like a midsize city. I've visited SF, I considered doing the SF software dev thing, but SF just feels like if Cincinnati developed a tech sector.

Chicago's urban population is 8.66m, and the urban area is 2,200 sq miles. I feel like I'm in a city here. When I go to West Coast cities I feel like I'm in a giant (sometimes quaint and charming) suburb. There's no density.
Currently I am looking into the Arm v8.3+ memory tagging instructions.

It still isn't SPARC ADI, but at least we might get some additional safety along the OS stack that way.
Nice, this one looks promising.

I am a bit worried that it looks really similar to the Logitech M500 -- which I've had and only lasted a few months.

But if you say you're already past the year mark, that sounds good.
Bias dosen't mean incorrect, every single human and organization has bias, its a fools errand to demand some kind of mythical "bias free" position.

Do you have specific issues with their reporting? Or do you just want to baselessly cast aspersions on what they are saying?
I believe that was not the case, at least for us. They simply helped us find factories we needed and they were not part of the process after. We were lucky that we had friends in HWTrek. They helped us a lot to resolve the issues.

In our case, we had to get help from experts to setup contracts and relations between parties. We naively thought everyone is responsible for their part. But it seems they can easily fool customers ;)
I'm confused by the existence of this article. Comparing the accuracy of two probabilistic predictors is pretty much a solved problem. (At least in situations where the two predictors have both made predictions about a fairly large number of events in the same set, S.) Just add up the log scores for both predictors and see which does better. [1]

[1] https://en.wikipedia.org/wiki/Scoring_rule#Logarithmic_scori...

Another thought: Although the author didn't lie about its meaning, I thought the graph "Stated Probabilities Compared with Average Portions" was visually misleading. At a casual glance, it appeared that 538 was all over the place with its senate predictions. But if you look closer, you can see that many of the red data points are at 0 or 0.5 or 1. This suggests that these data points represent the outcome of just 1 or 2 elections, which isn't really enough to say that 538 is doing particularly badly.
" it's arrogant to to presume we know what's best for them."

Would you say the same for the victims of the khemr rouge, millions killed by Stalin?

Maybe the yellow stars helped the Jewish people gather for the Sabbath? /S

Basic human rights are not relative.
نصب تضمینی برنامه اندروید
In the case of ARM you actually have to pay them extra for the privilege to implement your own architecture and there is no guarantee that they will allow you to do it. Furthermore you have to prove to them using their test suite that your implementation is compliant.
Is It Ethical to Post Pictures of Your Kids on Instagram?
Is this serious or another one of those parachute papers?

Having served in active duty with a hard requirement to pass a physical fitness test twice each year, and being a former smoker who was motivated to quit as my 1.5-mile run slipped every year despite each time feeling like I had exerted myself more than the prior instance, I'm inclined to respectfully call bullshit.

EDIT: Err, should have read the abstract first...parachute paper.