skysight-inc/HackerNews huggingface dataset:
The real (no pun intended!) distinction is between computable and noncomputable reals, as first identified by Alan Turing in "On Computable Numbers".

The integers are a subset of the rationals, which are a subset of the algebraic numbers, which are a subset of the computable numbers, which (most mathematicians would accept) are a subset of the reals.

There are lots of subtleties about this. In fact Scott Aaronson just started a series that is in some sense about some of those subtleties, which I hope to be able to understand some day!
And yet no one holds the media accountable. That isn't strange, it's just stupid.
Remove auto renew from my account
It's definitely a power-user skill to be able to even recognize "oh, this functionality is probably broken because an extension is blocking a critical cookie/script or I clicked 'No' to the cookie banner".

Though I've noticed that sites that use cookie banners really do only put their ad/analytics cookies behind that gate. They don't tend to let you turn off, say, a shopping cart cookie with "No".
Japan Airlines Flight 123
I'd love to read through some production Saturn and Giraffe setups - is any of your stuff public?
You mean like if you setup a meeting between a foreign businessman and your politically powerful dad, and then said businessman writes back thanking you for the introduction?
Endless.com (Amazon Brand)
Why is GPS even a thing with this? A few infrared gates to start/stop the clock and a known distance = computing the speed.

Instead lets time signals traveling in space and back. Sheesh.
Even apps like Tinder and Grindr are selling valuable user information to HF.
Right, Clojure is dynamically typed, and I'm not interested in dealing with the challenges of that again (esp nulls).
That's not how anti-adblocker banners work, generally. Brave is likely just using the anti-anti-adblocker lists, which uBlock and many others now use, as well.

[0]: https://secure.fanboy.co.nz/fanboy-annoyance.txt?a=0
[1]: https://raw.githubusercontent.com/AdguardTeam/FiltersRegistr...
Absolutely, and I won't pretend that's something I've never been guilty of. But it's a very toxic habit and we need to do our best to fight against it.
I really wish C and C++ had an explicit type punning operator. They are systems programming languages and this is very often needed.
I don't suppose there's type checking on indexing via fields... IE df.at(field_value) typechecks no matter what type the first field of the record class is.
Not many people know that if you take the standard domesticated pig we’re all used to and let it roam free, it will change physically and behaviorally pretty quickly and resemble a boar. Pretty “wild” stuff.

https://www.northcountrypublicradio.org/news/story/31104/202...
I think Poplar and Aspen are particularly notorious for this. I just had to cut down a 50 foot Aspen in a small-ish backyard because it had started rotting and was becoming unsafe. No one warned us what was going to happen next. Within the next few months at least 50 suckers have popped up in our yard and -- worse -- our unsuspecting neighbor. As much as we loved the tree and were sad to see it go, this feels like an invasion.
Show HN: Wannahireme – Get hired through your side projects
Manifesto: The Mad Farmer Liberation Front
That’s an interesting point. You’re asserting that the fear of government funding falling through is what drives this behavior?

Any input on the impact of guarantees? Is this not something we do? Is it irrelevant because if funding isn’t there, they evaporate?

(I don’t know anything about how this actually works)
Location:India
Remote:Yes
Willing to relocate:Yes
Technologies:I am a product Manager, looking for Product Management Roles
Résumé/CV:https://www.linkedin.com/in/priyank1/
Email: priyank63 at yahoo dot com
Joe Biden, Kamala Harris Got a Big Social Media Boost from Indian Troll Farms
I don't think I Don't Care about Cookies accepts the cookies. It hides them. And some sites (facebook) take you scrolling the site as accepting cookies and tracking. So when you hide and scroll, you are opted in.
Here is a short overview of how a SaaS company should manage and track opportunities through the different stages in their pipeline.
https://www.linkedin.com/pulse/sales-opportunity-stages-saas...
I am not surprised that Google reCAPTCHA is used for tracking
That's how it earns money by showing personalized ads

I need to solve 3-4 puzzles correctly when I have VPN on and encounter reCAPTCHA
It's so strange that, when dealing with an industry that thought pop-unders were a great idea, asking nicely didn't work. I can't fathom why.
That's cool, but realistically how else could it do it?
It was sad to see the hotel burn down. I'm following him on Patreon hoping to see it rebuilt soon.
Everyone knows SSD is far superior :)
UPDATE: Thank you for this advice. My girlfriend was able to recover her account by telling Oculus support that she wanted to buy a product, but wouldn’t commit to it unless she knew her account would be usable.
I think their writing was supposed to be interpreted a bit performance art'ish.
Oh shut up. Brave's telemetry is the least privacy invading among every browser. And you only have to turn off a single toggle to even turn that off.

Do they collect your history? No. Then good
Howdy, I'm Steve too ;)

Thanks for the insights ... I have to say that list is one of the coolest "job boards" I've ever seen. Rocket (Computer) Science! There are a couple I'd apply to but I'm in a position where I have to work remotely for at least the near term.
Location: CHile
Remote: Yes
Willing to relocate: Yes
Technologies: Ruby on RAils, ruby, Chef DK, Puppet, Ceph, react, Azure Machine Learning, AWS
Résumé/CV: https://www.linkedin.com/in/nfuenzalida/
Email: nico01f@gmail.com
There is a library called py.ml [0] that lets you call Python code from OCaml. That should let you use Google Cloud's Python SDK from OCaml, although things could get unwieldy if you have to call back and forth constantly. I think it's at least worth a try, especially if the alternative is rewriting your whole codebase in Python.

[0] - https://opam.ocaml.org/packages/pyml/
:) Whew! So glad! The planet might actually survive 38.9678 days more!
I have a similar but totally different example from a non-tech field. I live in Texas. We had an office in Bay Area. Sometime we had people in Texas that reported to a higher level people in Bay Area.

For whatever reason, market rate of pay in Bay Area for this field was similar to the market in Texas. However COL had a large variance. We were a pretty tight bunch that knew basic details of each other’s personal lives. It was crazy the amount of subtle strife this dynamic caused. When someone in Texas buys a large home and a new BMW or is traveling all the time. And their peer or even boss in Bay Area is struggling to split an apartment with a roommate well after “roommate appropriate age” by Texas standards.
The geek in me is very excited about this device; but on more practical terms, you could pick a nice, compact, significantly more powerful x86 device like [1] for $100 more, and that opens up the world of possibilities in terms of software compatibility.

[1] https://www.cnx-software.com/2020/10/27/chuwi-larkbox-pro-mi...
Nice I had no idea about that arguement.
> By default (you can turn this behavior off if you wish,)

It's opt in. Not default
Benefits of social media marketing for you
So much copium and delusion in this article it's comical
I can’t stop laughing at this. No /s?
Space in big cities comes at a premium, but tech workers living in SF have hardly been living in squalor. Most of SF is single family homes, and the vast Bay Area beyond even more so.

Also, having done the spreadsheet many times myself, it’s almost never a raise to move to a low-cost area.

The reason people make that move is that they’ve accumulated so much wealth in SF that they can basically retire so long as they move to a low cost area.

Some people want to do that, and retire very young. Some people don’t, so they stay around until they’re wealthy enough to even afford nice properties in the bay area.

The reason for this giant shift, however, is very simply that the vast majority of city life is either closed or greatly impeded at the moment. So the experience of city life has been significantly degraded, and thus many people are now shifting toward places that offer very little except for nice, cheap property, and thus make a good place to hole up and hide out the pandemic.
Unfortunately almost all of my work is not public. I've always envied folks with lots of public code to show and share. I had created an F# starter-kit repo (somewhere between hackathonstarter and bullet-train saas kit) along with some blog posts, but I just haven't had free time to wrap it up and publish the repo/blog posts.

I see questions frequently about data access and serialization/validation in F# web apps, which I had specific sections about. Hopefully I'll have some time in the near future to continue the work.

In the mean time feel free to DM me any questions. There's nothing too fancy about the code. If you looked at other production code, and swapped out what your best guess for the F# translation would be, you're probably most of the way there.
I don't know that RGB thought it was trash as an opinion. She believed in a woman's right to an abortion, but also believed the basis for the decision in Roe V Wade was weak and its scope made it vulnerable to attack (and she was correct in hindsight.) From what I read, she believed a stronger argument could have been made from the equal protection clause rather than right to privacy. But she certainly believed the underlying right was valid.

But let's be honest - almost no one opposing Roe V. Wade does so on the grounds that the argument from the fourth amendment is weak, they argue primarily from religious grounds that pregnant women fundamentally do not have the right to terminate, as they consider such to be an act of murder in nearly all, or all cases.

The crux of the matter regarding abortion for most people has never really been a legalistic one but a metaphysical and often religious one - the rights of the unborn versus the rights of a woman's autonomy over her body.

While I would hope that Republicans who drape themselves in Christian piety and refer to themselves as pro-life in order to imply that their opponents are pro-death, and who have made an existential pillar out of repealing Roe V. Wade for forty years, would stack the courts with judges who would consider the matter without undue bias, I suspect that bias is the intent for stacking the court to begin with,and that the actual constitutional validity of the decision isn't meant to matter.
It's (way) more like leaving Scheme for Clojure.
I'm not saying you're wrong, but I am curious what negative trends you believe will emerge from someone actioning this data.
I really don’t understand the attraction of hydrogen as a fuel source.

Currently it’s a byproduct of fossil fuels, and while you can produce it via electrolysis, it doesn’t seem like a super high efficiency conversion chain if you already have electricity.
Isn't this literally the reason that Elon Musk found the boring company? He sees that there is a tech AND price arbitrage between existing and feasible tech for tunneling technology. Granted, one of the Boring Company's "Tricks" is that their tunnels are smaller due to only currently wanting to support electric vehicles, so you don't need quite as big tunnels due to less CO2, but still...

They bought a commercial tunnel boring machine and decided to build their own. The first one is named Prufrock and it is going to be helping do the huge project in Los Vegas they've already completed the first phase of:

https://cleantechnica.com/2020/03/01/prufrock-next-generatio...

The next phase of their project literally connects the entire Los Vegas strip underground via tunnels.

https://www.businessinsider.com/elon-musk-boring-co-las-vega...
> it can be a good way of cracking into a subject

You mean it can be a good way of stretching an article to fit more ads and increase monetization.
SF rents are still ridiculously high. The city don't be more diverse until it becomes a real metropolis of several million people.
> They are 4 digit labels where the left-most digit is the main task (e.g. handle recursive function calling), the next digit is a subtask within the main task, etc.

Even old-school FORTRAN (FORTRAN II) had SUBROUTINEs and FUNCTIONs for breaking down a program into smaller pieces. So there doesn't seem to have been a need to have a monolithic main program that's organized into subtasks using only statement labels and GOTOs.

Still, I agree that old code can be beautiful.
>learnability

I feel this is the single most important causative factor for language popularity.

Javascript may have much more bad parts to the language than say Haskell but it's far easier for a programmer to learn all the bad parts of javascript and avoid those bad parts then for him to learn all the good parts of haskell and use those good parts.
For context, this idea of publishing the secrets has come up again recently after DKIM was used to prove the authenticity of the “smoking gun” Hunter Biden email. [1]

More generally, non-repudiation is a great feature if that’s what you’re going for. Often times it’s not actually what you needed at the time, but gets thrown in anyway because it’s harder to design a signing protocol without that property than with it.

So in the sense that non-repudiation isn’t a core requirement of DKIM you’d like to have the crypto algorithm which meets just the DKIM requirement and no more — yes, this email definitely came from an authorized server and hasn’t been tampered with, but without inherently proving that the email is not a forgery years later.

On the other hand, DKIM having this property is actually extremely useful and nice to have a lot of the time, not the least of which in the Hunter Biden case, or for the purpose of authenticating any particular historical email.

[1] - https://github.com/robertdavidgraham/hunter-dkim
How did you get demonization of a billion people out of that comment? Saying "China is not our friend" is very clearly referring to the country, which is very clearly ran by the CCP, which I think is the group most people have a beef with.
enlighten me, please.
Numerai hedge fund buys data anonymously, and pays you in cryptocurrency based on its performance: https://medium.com/numerai/building-the-last-hedge-fund-intr...
Nearly all my colleagues and friends here in the Bay Area are from somewhere else.

So this idea of a totally isolated bubble is a fiction made up on few facts to sell a story.

And most people are fairly tolerant - except of the intolerable few who wish to destroy tolerance. Again more made up stories.
i just bought 18 acres on the direct border of the Ouachita National Forest in SE Oklahoma for reasons outside the pandemic (i live in Dallas, about 4hrs away). The real estate person said all land is gone within days of listing. They're selling at $7-8k/acre what was $1-2k/acre just a couple years ago. People are flocking to the country side.
It literally quotes the Azhvars... you're right about Malva, that was a mistake. I don't agree with a possible assamese origin of either Kumarila or Dharmakirti, and see no reason to doubt Taranatha, and in the 9th century, the distinction between Malayali and Tamil is academic.
Neuroscientists cannot explain how humans generate conscious thoughts yet you think you have all the answers on how women think combined with a dose of non-scientific "just so" stories about natural selection.

I suggest you read the Neuroskeptic blog and maybe work on your critic thinking skills about neuroscience studies.
The new financing should make that a lot easier:

> Financing for as low as $99 per month will be available in early 2021.

I develop a web browser plugin for Unity called 3D WebView, which lets applications embed web content in their 3D scenes. I've invested significant time this year into developing and improving support for Hololens (https://vuplex.com), and as part of that, I've gotten an interesting glimpse into the kinds of industrial applications that Hololens is being used for today. For example, several of my customers are creating bespoke applications to aid high-end manufacturing, like displaying instructions for aircraft assembly. Another application I've seen multiple times is remote assistance for field technicians. Although I still have a lot on my roadmap for 3D WebView, I think a lot about the kinds of problems that can be solved with AR and the ramifications of AR headsets becoming more affordable and accessible over time.
Punning through the union is explicitly allowed in the GCC documentation which explains why it's reliable for use in the Linux kernel. See

https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#Typ...

> you also have to assume the size of those primitive types

This usually works though there's some situations where you could still be surprised. For instance if you're programming embedded processors with avr-gcc you'll have sizeof(double)==4
I'm so tired of these dark patterns. Like NYT not letting you unsubscribe without contacting customer support. Same with many of the food subscription services. For me this is a instant red flag. I refuse to use any services that rely on such tactics to make it as hard as possible for users to leave. It should be downright illegal.
I have looked around and determined that the only Haskell program I have ever used is Pandoc.

To first order, Haskell users self-select as uninterested in writing useful programs. Anybody who would like Haskell to be seen as a language that is useful for writing useful programs would better publish programs in Haskell that do useful things than explain what they like about monads.

I can confidently advise against choosing to add to the list of IRC clients, window managers or greps, or stuff only Haskell coders use. A program that does something no other program does, as pandoc does, that is badly needed, as pandoc was, would be the best choice.

A second course would be to find ways to make Haskell code run fast without need to jump through hoops that corrupt the design of the program. (It might be that it is too late for Haskell to move in this direction.) There appears to be room in the world for slow languages (Python, PHP), so slowness is not deadly, but it does limit a language's appeal. Haskell doesn't need that. Prima facie, Haskell should not need to be slow.

A Haskell program that generates a program in (e.g.) LLVM IR to do a useful thing quickly would serve in lieu of an actually fast program. FFTW is a fast C library for evaluating FFTs generated by an OCaml program that does not need to be very fast.

FFTW relies for its speed on a cache-oblivious array traversal order (re-)invented[0] by Todd Veldhuizen for use in a C++ template library Blitz++ that, in effect, generates programs that perform matrix operations. In Veldhuizen's library, the program was in (pretty slow) C++ template meta-language that ran during compilation of the user's program, but by generating C++ in place it produced a fast program in one step.

A Haskell or descendant not dependent on GC could find use in places where present Haskell is not welcome today.

[0] Cache-oblivious traversal was, apparently, originally invented in the '70s to speed database operations where the the storage cached in main memory ("core") was on disk and tapes, and was then mostly forgotten. It may be re-invented again, in another generation.
Thanks for sharing. I will not be using them in the future.
Use brackets to be explicit about your expected order of operations.
I couldn’t have put this a better way. I was on the receiving end of the microservices chaos.
In the Balkans, people tended to grow pigs because they weren't taxed or at least so the legend goes. Due to the Ottoman empire being muslim and all, turks didn't want to have anything to do with pigs. I haven't checked if pigs are mentioned in the tax archives though.
And in a drought overly dense forest can die wholesale due to insufficient water in the waterbed to support the forest density. See e.g. CA. This is "natural" in the sense that this is how trees have grown since time immemorial. But it's also undesirable if there are humans living nearby.
This still misses the primary reason why hydrogen won’t ever be useful, where lithium-ion batteries can do the job. Hydrogen is just too energy inefficient from an end-to-end efficiency perspective.

Lithium-ion achieves a 80%+ efficiency from energy input to usage via an AC motor, or more if DC is usable. Hydrogen fuel cells only achieve 40-60% efficiency, and that’s just one step (converting it back from storage to electric energy, not even the motor itself). No matter how much is being invested, this can’t just be wished away and effects how expensive something is per kWh.

On top of that, there’s a massive Li-ion R&D and production train already under way that will be hard if not impossible to catch up with.

In short, right now it looks like this will only be useful for a few edge cases that battery electric can’t feasibly support.
I have been using it along with Firefox for a while. It doesn't have any of Chrome's worst behavior. When Google starting forcing the Google profile stuff into Chrome I dropped it cold. Firefox is alright. Brave is alright.
What an impressive waste of an Ivy League education... and from Princeton no less.
Just be sure when you define a racist that they actually are, rather than just by association.
Her aging Macbook Pro definitely struggles with the load. So much that she's asked me for help to figure out what's wrong. But a large Sketch project, like a large Photoshop project, is just resource intensive.

An overpowered machine would definitely be welcome. My point was to emphasize how a crossplatform app would let her take advantage of the opportunity (a new computer I built for one game that I'm giving away) where a native app does very little for her.

I use a Macbook myself and encountered the same thing on the new Windows machine. Every application that was Mac-only was just downside. It made me extra motivated to finished shifting my work environment to crossplat apps like VSCode. And CLI tools that worked well in WSL2.
If you mean ML (i.e. OCaml) functors, then to put it simply: they are the primary code abstraction mechanism in ML. ML doesn't have inheritance and runtime dispatch, instead it uses functors which do static dispatch.

Simple example: in an OOP language you might have a Map<K, V> class for any type K, V where K must be an instance of an Ordered interface so that the map implementation can do efficient lookup.

In OCaml, you have a Map.Make(Ord : Ordered) functor which explicitly takes a module Ord as its parameter. The Ord module implements the key data type, which must support the Ordered interface. When you (statically) apply the functor, you get back a new module which specializes a map data type to work for the specific key type. E.g.,

module StringMap = Map.Make(String)

The String module implements the Ordered interface, so it can be used as the argument here. Now you can create and manipulate maps of strings to any values.

You might be wondering, what's the payoff? It's very similar to the payoff for interfaces--code abstraction. It's just that it's all statically resolved and highly efficient.
Teamviewer is a company that has absolutely thrown their reputation into the gutter after it came out their service was compromised and they continued to deny it. It's also beyond irritating that the $700 "owned lifetime" license I bought in 2014 no longer works because they shut down the servers specifically for older versions.
I’m surprised there isn’t a market solution for long-life (SSD lifespan) SD cards. SD card is just a physical/electrical interface, couldn’t manufacturers put more resilient flash circuitry inside?
Isn’t it more like leaving Scheme for Clojure?
> and I think what we do is neat.

Congrats, Steve.
Gitlab is the most awful mess of javascript you could ever invent though. I use it every day for work and I wish I could avoid it.