skysight-inc/HackerNews huggingface dataset:
Not an expert, but I've played with these languages. The short answer is yes this is possible, but it is also possible already in non-dependently typed languages to do so.

Moreover in practice it's not very common to actually evaluate your functions on large literal inputs at compile time. Indeed it's not very common to evaluate the function on a single value as such at all. Instead it is better to think of your functions as abstract rewrite rules, that allow you to substitute one side with the other. Unlike at runtime, recursive functions do not always need to recurse until their base case.

Therefore it's not actually very common to e.g. have a recursive function recurse many times at compile time. However, when it does happen, yeah your compile times can shoot up, but it's usually fairly obvious what's causing it. Even then, in absolute terms the quantity of calculations involved generally isn't astronomical, it's rather the case that the compiler is far more inefficient at executing your code at compile time than your runtime system is at executing the compiled code.

That being said, dependently typed languages on the whole do tend to have abysmal compile times, but this seems like an implementation issue rather than a fundamental limitation. Efforts like https://github.com/AndrasKovacs/smalltt/blob/master/README.m... make me hopeful this is something that can be solved.
General advice:

See more different therapists until you find one that works well for you. A good therapist in 2020 should be able to fix you up in a few sessions if they're right for you. Don't be afraid to explore weird things, who cares if it doesn't make sense if it works for you? "soul retrieval", "past life regression", etc...

- - - -

I can't give you specific advice over the Internet, but here's my personal recommendation based on my own experience: Neurolinguistic Programming.

Unfortunately, it's panned as pseudo-scientific, and many of its promoters and practitioners don't do much to help with that. However, from my POV, based on my understanding and experience, it's the only really rigorous psychological science.

For example, they developed early on an algorithm called "Five-minute Phobia Cure" (because it takes about five minutes and it cures phobias.)

I personally was cured of clinical depression in a single session of hypnosis with one of the founders of NLP. He has produced a book for the mass market: https://www.goodreads.com/book/show/3803577-get-the-life-you...

- - - -

What ever "low self-esteem" is, it has specific physical patterns: feelings in certain parts of your body that correspond to e.g. tensions in muscles and fascia. You can "get at" your "low self-esteem" directly and physically (without interpretation of it's "meaning" or "origin story" or any of that) by various means of e.g. massage, relaxation, Rolfing, Feldenkrais, Reiki, etc...

Remove the physical basis for the subjective feelings and you "cure" your "low self-esteem".

In the limit we have what W. Reich called "orgiastic potency", the natural and healthy ability of the body to let orgasm flow throughout the whole body, unimpeded by tensions and "blockages" ("character armor"). Reich claimed that in a person who has full "orgiastic potency, neurosis is impossible to maintain."

Feldenkrais also points out that, when the soma (body) has become fully integrated (proprioceptive is accurate, all unnecessary tension has been relaxed) enlightenment occurs (he doesn't make a big deal out if it.)

- - - -

(Honestly, I feel like a time-traveler from the future in re: therapy and such. Like McCoy in the save-the-whales Star Trek movie... "Dr. gave me a pill and I grew a new kidney!")
If such long projects, I guess the benefit must be a pretty high quality system to earn your praise. Can you describe the benefits?
That doesn't sound like a proper set of assumptions - that human accidents will be fender benders while self driving will be chunk-salsa worthy. The cumulative fatality risk applies to both parties. Humans will die in fatal accidents that no Self Driving car would do.

The 1000x better demand is more a stupid human illusion of control thing like fearing flying more than a road trip of equal distance.
Short answer: because both Chick-fil-A and McDonald's want it that way.

Longer answer: McDonald's has chosen to optimize for total revenue, while Chick-fil-A has chosen to optimize for something more like ROI on each store. This is a direct consequence of the different franchise models, where McDonald's takes a cut of sales and doesn't have an ownership stake in each location, while Chick-fil-A take a cut of both sales and profits, and has ownership of the physical location.

As dave5104 mentioned, there are over 14,000 McDonald's locations in the US vs around 2,000 Chick-fil-As. McDonald's has saturated the market to the point that individual McDonald's locations cannibalize the sales of other nearby locations.

For example, there are 14 McDonald's locations within a 5-mile radius of where I live. If you closed down half of them, total revenue would probably drop some, but not anywhere near half. Many people who wanted McDonald's would just travel a little bit further to get to one. As a result, per-store revenue would go up. Per-store profit would go up by an even greater percentage since there are fixed costs per location. And if you closed the right number (which might be more or less than half), total profit would go up as well.

This would be great for franchisees, but from McDonalds' perspective it's worse since total sales would decrease, and that's what they're getting a cut of. Chick-fil-A's model, where they take a cut of both sales and profits aligns their interests more with their franchisees.
The question at hand is whether, when a creator exercises their right to refuse to sell their work, those who can no longer buy it have the right to copy and distribute the work.

It seems obvious that you can refuse to sell your work, but if you don't exercise an exclusive right to distribute content, should you lose that exclusivity?
If a man is concerned with abstract ideas then perhaps that's all he contributes to the world. Some people want to see things a certain way and will sacrifice their lives for seeing it that way, that's the beauty of life, people are free to choose the good, the beautiful, and the true or any combination of each which is their own beauty, truth, or good in whatever order they choose it. No one can step in are correct them if they think they are wrong, it's not their right. It's the right of people to choose to live a certain way and to experience the world in whichever way it's handed to them with whatever premises that they have in their minds.

Take for instance a starving artist. In art it's in fact the case this this is common:

https://en.wikipedia.org/wiki/Starving_artist

Some artists due to their state may for instance cut off their ears like Pablo Picasso. This is a common co-occurrence with art. Society has done nothing to alleviate this problem in that other than a few recognized artists, the large morass go completely unsupported and fall into obscurity. In fact when society tries to rehabilitate such artists they attempt to do some by giving them remedial jobs that do not do justice to their perspective or talent, but such is the fate of the artist in that either they get market recognition or they fall into their own obscurity and may not even be known in their lifetimes.
Show HN: Terminal Phase – Terminal-based space shooter
Ah! Learn something new every day.

My knowledge of that came from digging through the source code over the course of the changes. Great to hear from someone more involved with it - and also, great job on the approach, really glad to see it!
> Time flies, I still remember Opera 10 years ago, they probably had the best tech April Fool's I ever stumbled upon with their "Face gestures"[1].

> When you had a team that could create that behind your product, you knew that the team cared and was driven by passion and excellent craftmanship.

Even better: the Opera speed test:

> https://www.youtube.com/watch?v=ZdirsXNaibo

which was the Opera developer's reaction to the Google Chrome Speed Test:

> https://www.youtube.com/watch?v=_oarMXGq3gI
Okay, I see your point. Police is throwing a tantrum but you are not denying that the criminals are not punished any more.
> developers still walled their websites with useragent checks

Opera was, I think, the first browser to make UA-switching a first-class feature, precisely to avoid this phenomenon. I believe at one point they even sent a fake UA string by default. This sort of thing was really not the reason they hit the rocks.

The truth is that making a browser is hard work for little reward. Keeping up with web standard was pretty hard already, for an operation running on thin margins and based in an expensive country; when Google got in the game, brutally accelerating the development of features and hammering people with adverts for Chrome, Opera struggled to compete. They found some margins in the developing world, where their bandwidth-optimizing services were popular; but targeting the low end of the market only buys you some time (if you exist because connections are bad, as connections improve people will leave you).

Eventually, their perennial search for cash ended with an inevitable sale to this or that financial shark, and here we are.
The library is already built to be largely library agnostic. To add a new library, just add a file that translates my calls to the library calls. This is how I achieved both Qt and wxWidgets backends.
> "General Electric has already made more than $1 billion dollars selling San Diego residents’ data to Wall Street"

Where does this figure come from? Is it even accurate at all? If this is actually true I'd be interested in seeing what kind of data they sell and who buys it. I'm really questioning the reliability of the article just because of this figure that seemingly just comes from nowhere.

Also, I live in San Diego, so I'm a little freaked out. This literally sounds like something out of 1984.

edit: I think they might be talking about Current, a GE subsidary that they sold to a wall street firm. Theres no financial figure disclosed. But it seems like they mainly do large-scale energy efficient lighting for commerical purposes. I would not classify that as 'selling data'.

https://en.wikipedia.org/wiki/Current_(AIP_subsidiary)
Depending on how you measure it: RSS feeds for updates fit this bill, and they've been around for a decade or more: https://github.com/KDE/ktorrent/blame/3ce105f4d1c3b4c178aaf3...
> any user with a karma > 1000 is trivial to dox

How so?
if you had cancer but experienced no symptoms, died in a car crash at age 95, and the cancer wasn't discovered until your autopsy, would you say it was a problem?
https://en.wikipedia.org/wiki/Moral_rights
Even browsing beyond the first few pages of results can end you up having to play with captchas.

Also it's funny how they lie about having about a quadrillion results, and then when you're on page 12, suddenly that's all the 150 results they have, sorry.
One of the authors of this paper, Thomas Vidick, taught the Advanced Algorithms class I took at Caltech a few years ago. The dude is a genius, but the class kicked my ass. He would basically assign recently solved problems from the theory community as homework.
Sorry if this is a dumb question, but what are the units? It doesn't seem to be percentage, or total dollar increase. What are we looking at here?
Most large companies depend on government contracts for a substantial part of their business. The government is after all the single biggest consumer in many markets. This, and revolving doors between businesses and government, probably means that corruption of this kind is hard to eliminate.
thanks, i must have missed that comment. makes perfect sense.
The only thing that meaningfully contributes to the size of the app is the size of the GUI library libraries. It currently bundles both Mac and Windows, so you can build packages for each and remove the libraries you don't need. It should be around 50 MB maximum.
Might just be their way of being funny, I wouldn't read too much into it. Self-deprecation is a common social cue to trigger some light, mundane empathy:

"I struggle, you struggle, (thus) we relate!"

I blame it on the spirit that being last in school is way cooler than being first, and I suspect it's as old as humanity.
Up for me, too. (West Coast US)
I have had a similar experience as well, FWIW.
You know, I haven't read anything else by her than the book I mentioned; however it surprises me none that she would address feminist issues in science in a rigorous and fair-minded way. Maybe, someday when I have time again, I'll pick up and read her other stuff!
That's, frankly, impossible. This is one of those things that government has to buy -- streetlights and standards for them. Either the government creates government-owned companies for everything public or it participates in the market. If this were just handed to a private contractor, the same problem would be likely to occur, although the private contractor might be smarter about getting their cut of selling surveillance data.
C++ is getting more fun to use, every cycle.

C++11 was a huge step up with lambdas, move semantics, atomics, threads, constexpr functions, loops over containers, and loads more. C++14 added generic lambdas and lifted lots of arbitrary restrictions, making everything smoother. C++17 added destructuring, template argument deduction from constructor arguments, and constexpr if. C++20 brings concepts, ranges, modules, coroutines, and automatic comparison opetators.

Each time, more kinds of programming are made natural and easy to write, and more old workarounds become unnecessary. We hardly ever need to write out constructors, copy assignments, or destructors anymore; or even, with '20, comparison operators. Template metaprogramming is mostly unneeded now.
GNU Make 4.3
Not using quotes, the first result I get is his twitter account, and the second is a link to a Project Veritas piece about this document leak he describes. Hardly seems like he's getting buried.
Yes. I guess that's what he was aiming at.
Let's think through this clearly.

Locality sensitive hashing is a way to put similar vectors into the same buckets - by omission etc. It does this by hashing, but the intent is to approximate nearest neigbours.

skipgram/ngrams turn features into other features by omission etc, and so makes similar things the same. The hashing trick then reduces memory usage.

So yes, you're right the hashing in locality sensitive hashing is different in intent, but my point is, that both these approaches are designed to be more memory and compute efficient.

And vowpal's feature interactions give you transformer layers.

Add up all these together, and they have about the same net effect.
It dawned on me today that this is in SpaceX's best interest based on their development philosophy.

Think about all the bad publicity that Boeing got when Starliner was off course.

But here SpaceX is constantly blowing things up and everyone is just like "Ah shucks, they will get it next time though."

A lot of that has to do with how out in the open they have made a lot of these failures and tests. Everybody expects it now and views it in a positive light.
Get a waffle fry cutter and fry them in duck fat.
Inside Purple: “False Subtraction”
Not that secretly
One of my favourites too, although I wouldn't link them apart from the darkness and poetic beauty of the language.
Oh good, I'll try not to stress out about this then...
What did you end up doing instead?
Agree completely, but I know several people who have struggled or just given up because it never clicked.
Simple: because Google has a ton more data on what content is relevant on Reddit than Reddit itself does.
It's kinda cool that the blog itself is aggregating FB and HN comments for the article.
> The issue I always had with Rails is that there would come a point where I would want to achieve something which wasn't really in the "blessed path" of a Rails application,

I think this is the first part of the insight needed.

The second part, which by far the most productive full stack web dev I know has got completely nailed, is that mostly the right answer to that is to push back on the business/requirements with a good alternative to what they _think_ they want that _is_ in "the blessed path".

A good Ruby dev who has the ability/skill/respect to do that is maybe the closest thing I've ever seen to the mythical "10x engineer" on a consistently repeatable basis...

And this goes for other things besides RoR too, I've got a Python/Django guy who can build amazing stuff in weeks, but he'll tell me why I am not getting what I asked for but this other thing that does the same job (sometimes better) because "that's the right way to do it with Django".
"Should"? According to the San Diego charter, article 7, it is. From the article,

>... no officers of the City, whether elected or appointed, financially interested in any contract made by them in their official capacity... contracts entered into in violation of this Section shall be void and shall not be enforceable
As the law quoted in the original article says, it's not considered significant amount if:

> The ownership of less than 3 percent of the shares of a corporation for profit, provided that the total annual income to him or her from dividends, including the value of stock dividends, from the corporation does not exceed 5 percent of his or her total annual income, and any other payments made to him or her by the corporation do not exceed 5 percent of his or her total annual income.

It's quite plausible that $10k-$100k does not meet that criteria.
What is van Eck phreaking?
No, the whole culture around email changes when people know for certain it’s part of the public record of the company. I’ve worked in environments where all emails are retained due to government contracts, and an unwritten rule immediately emerges that nothing that could be used against the company is said in emails. Backchannels emerge with IMs, SMS, etc where the real conversations happen.
Yes, exactly! That's my favourite part, his realisation of the magnitude of the loss, it's completely devastating.
dice also made pinball illusions and fantasies on the Amiga on the early 90s. Which were excellent.
Show HN: Chrome Extension to see results with the previous style (green URLs)
Nobody is getting rich from GE stock.

Besides, this article is an manifesto/editorial. Some person running for city attorney did a document dump of mostly irrelevant stuff.

Lots of ranting, but very little actual content. What data has been collected from a partially implemented streetlight program in San Diego that was sold to “Wall St” for a billion dollars? Who is “Wall St” exactly? Lighting systems like this are administered by a NOC maintained by the vendor. Is that the data in question

There isn’t enough information to form an opinion about the “inept bureaucrats”. City attorneys don’t enter contracts, they advise those who do. It’s fair to critique the terms of the contract, but ignorant to accuse someone of violating the law without any merit.
> ...requested features including flexbox, styling, hot reloading, and components with the same API as React Native.

That sounds like the way to go for a near 1:1 port of a cross-platform desktop app for React-based apps. Also the move from libui to Qt for the UI backend sounds interesting for this project to be used as a lightweight alternative to Electron.

To be a true alternative to Electron one must provide a simple migration path for existing Electron apps to Proton Native which would change everything in cross-platform desktop app development.
A good next step might be interacting with real people to get used to being supported.

Some comments say volunteering. I disagree. Volunteering doesn't force you to interact with people. It might not work for you.

Toastmasters, on the other hand, forces you to speak to others. Toastmasters explicitly trains members to be supportive and forgiving and to approach you to interact. Toastmasters is like a newbie environment that lets you build your confident. I'd recommend you give it a try.

Also, an evening club is generally more relaxing than a day club. So, start with that.
I've never read that but can completely see it from your quote, thank you.
How is search so bad?

My broad take is that previously search worked (Altavista era through early-mid Google) because it referenced organic links put in place by real humans and keywords, plus basic metadata like physical location of servers, freshness of content, frequency of update, metadata behind domains, etc.

Since the mid 1990s that has increasingly been gamed heavily, PageRank style approaches have come and sort of gone, and a vast majority of content accessed by consumers has moved to one of a small number of platforms or walled gardens, often mobile applications. I don't know for sure, but I'd assume with confidence that the majority of result inclusion decisions made by Google are now based on rejection blacklists, 'known good' safe hits and effectively minimizing anomalous results above the fold. Simultaneously, the internet has become an international place and the bar has been raised for new entrants such that an incapacity to return meaningful results in multiple languages bars a search engine from any significant market position. A huge percentage of results are either Wikipedia/reference pages, local news or Q&A sites. Further, huge amounts of what is out there is behind Cloudflare or similar firewalls which will probably frustrate new and emerging spiders.

The existing monopolies, having some established capacity and reputation in this regard, may have become somewhat entrenched and lazy, and do not care enough about improvement. They are literally able to sail happily on market inertia, while generating ridiculous advertising revenues. In China we have Baidu, and in most rest of the world, Google.

Who will bring about a new search engine? Greg Lindahl https://news.ycombinator.com/user?id=greglindahl who formerly made Blekko is apparently working on another one.

I once wrote a small one (~2001) which was based upon the concept of multilingual semantic indices (a sort of non-rigorously obtained language-neutral epistemology was the core database). I still think this would be a meaningful approach to follow, since so much is lost in translation, particularly around current events. One problem with evolving public utilities in this area are that such approaches border on open source intelligence (OSI) and most people with linguistic or computational chops in that area leave academia and get eaten up by the military industrial complex or Google.

Now we have https://commoncrawl.org/the-data/get-started/ which makes reasonable quality sample crawl data super-available. Now "all" we need is people to hack on algorithms and a means to commercialize them as alternatives to the status quo.
I read this as: a group of professional engineers dedicated to hosting/scaling a platform designed for hosting blogs will perform better than a single random person managing a personal blog in their spare time. I generally think that's accurate.
Even SpaceX refers to that as an explosion.

Technically it was a deflagration, not a detonation, but energetic deflagrations are a type of explosion.
Ayahuasca worked for me
I never finished House of Leaves. I found the house aspects of the story really interesting, but all the parts outside it (the tattoo artist guy) I found insufferably boring. Does it ever actually have any point to his side of the story? It felt like half the book was a waste of time, but maybe it pays off in the end?