skysight-inc/HackerNews huggingface dataset:
Alphabet, at least, is a holding company that has no central competence (it has a subsidiary that dwarfs all the others, which also has what would be a terrible name except for the fact that it has attached meaning to that name by absolutely dominating key markets starting with search, so it's name conveys meaning but only because of the firm’s own history.)
Spektral, a Danish company, has been doing this in real-time on iPhone for live video. No surprise, Apple bought them for more than $30 million: https://www.digitaltrends.com/photography/apple-spektral-aqu...
Shopify Logic Inbound
Perhaps he meant that he wants real estate?
That's a fair point. I did start digging into the climate-change impacts literature to qualify this some bit more, but frankly it became a bit overwhelming, both in the number of articles which you need to try and summarise, and the emotional strain reading the impacts places on you. I think an interesting article would be looking at what might survive 4-5 degrees of warming. But in this article I wanted to avoid turning people off reading by simply listing all the bad things that may happen, and allow a focus on the psychology.
Yes. In fact I posted a similar thread only a few weeks ago:

https://news.ycombinator.com/item?id=18320236

This along with GDPR popups and now having to verify every device you log in with via email (separate to 2fa) is making login a real pain across the web.
Results will depend on the available fonts your device vendor chose to include.
Features an autoplaying GIF of Fassbender's buttocks. Does that warrant an NSFW tag?
>Democratize access to data by making it available for analysis on AWS.

>AWS evaluates applications to the AWS Public Dataset Program every three months.

>If we bring your dataset into the AWS Public Dataset Program, we will cover the costs of storage and data transfer for a period of two years

yeah i don't think that's public,more like a rental service. i wouldn't bother working with that unless i had free AWS access through corporate
When should you upgrade from shared hosting plan to higher plan like VPS
Yeah, I know the limits of the FSF reasoning. Well, what about starting from Silicium and Carbon molecules ? :-)
"almost every object that computes is naturally viewed as a state machine" - Leslie Lamport

https://lamport.azurewebsites.net/pubs/state-machine.pdf
The Academic Market in China: An Overview
of course, heres an essential bit of life tech:

https://www.amazon.com/Buckingham-Travel-Compact-Folding-Eas...
SX Pro is the best switch flashcard PayPal payment from official USA& EU site
Why does it insist on turning penis drawings into mice? It's like school again, I draw one thing in a notebook of a friend and he turns it into mouse
It only reads like a troll piece because you are deliberately taking his statements in an adversarial context. It's weird to complain about the tone of other posts, and then go on to write a comment like yours.

> 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."

I agree with you here. However, I would also agree with the claim that Haskell is simple at its core. It's simple in a mathematical sense, and that doesn't imply that the language is easy to understand or that such simplicity offers all kinds of advantages other languages lack.

> 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.

The author writes a small inaccurate section on the current state of affairs, before writing a very well-explained piece on how to get GHC to be better dependently typed.

Dependent types are not something you care about, so its quite obvious why you are only responding to a small preface section of the post, while dismissing the meat of it as "solving type-theoretical problems".

I assure you that dependent types, how to get there, are very important to a large number of people. An inaccurate preface doesn't take away from, or affect, this exercise.

I wish other readers reading this comment take time to read the bulk of the article, if they are interested in dependent types(or want to learn about it).
It is very well written and explained, and it is not a comparative study of mainstream languages with Haskell, in case you get that impression from the other comments here.
What's to stop that now?

They could throw up a check and have "Youtube requires Chrome XX.X with the Evil-DRM plugin enabled" live whenever they want. It's the relevant market forces and ecosystem.
yes, but I am looking for coupling between oscillators of different fundamental frequencies.
I call it censorcaptcha lately. it is pretty clear when the algorithm put you in hell-ban mode.

hide your cookies from google and get removed from any internet discussion. only the voices oblivious to google tracking have a place now.
An introduction to gradient boosting
T.b.h. I skimmed the "Haskell is the best" part and read just through the "Can we get performance of Haskell with the type-features of Agda without sacrificing the ergonomics of either?" and found it informative :)
Equivalence is a symmetric relation. The article presents an example of a goroutine implementing an FSM. Even if you thought a single example constituted a proof, to show equivalence you'd also need to show how an arbitrary coroutine can be implemented using an FSM; and as others have observed, the ability to dynamically allocate memory distinguishes a coroutine from an FSM.

That said, in practice, often we don't program with FSMs, we program with structures that are FSMs augmented with additional state such as counters and storage (collections/stacks/queues).
Yeah need some deep neural network solution to solve these for us.
The article's aim is said to be to clarify the meaning of that, but it still seems confusing: if it's rather informal, perhaps it is worth linking the mentioned examples that refer to this equivalence. Sounds like it makes sense in some context, but evidently it may be hard to make sense of it otherwise.
Tt's possible for a PDF to be annotated with the original Unicode text (look up the `/ActualText` feature in the spec), to support extraction of the underlying text rather than the shaped glyph stream for purposes such as copy/paste and search.

However, few PDF generators do this, and not all PDF readers have good support for it. So results vary depending on the specific tools and use-case.
How You Can Hit #1 in the US App Store (with an app you built over the weekend)
Also,

> The move seemed to be an attempt by Tumblr to satisfy Apple, a company notorious for sanitizing its content.

is bullshit because Tumblr have said they were working on the porn removal plan well before the CP problem led to the App Store disappearance. Apple had no problem with Tumblr in the App Store for years with all its porn. It has no problem with Flickr either and that also has a staggering collection of pornographic material.
Think of yourself as an ant, a part of a larger colony that does important work but only ever part of the total work. The real value is not in knowing everything but going deep in one thing. Even if that thing is ‘only’ web development it is valuable to society.
FB is a direct competitor to media brands -- eyeball time that would have gone to CNN or WashPo or MTV now go to FB. FB then resells those eyeballs to said media brands, and it's big enough to command market power--it can control prices and terms and it's so huge you can't easily take your budget to a competing service. (It has in fact done this, before the wave of "FB is evil" stories, there was a wave of "FB is raising the price of impressions" stories. So many media brands perceive it as an existential threat.

FB did some fairly dirty things to obtain its huge market share and it's too powerful. So I don't really see a problem with all its competitors piling up on it, but that's definitely what's going on.
I was a browser dev. I do not work for google, and in general have a rather low opinion of the company and its ethics. But... c’mon, that quote is stupid. Every web dev knows there is an infinity of strange reasons to add divs in odd places. The idea that this is a stealthy tactic targeted to slow down edge is ridiculous. Edge will patch the issue in a general way, and that will be that, and now Youtubes source would be stuck with the unnecessary complexity. Even if youtube’s devs would be okay with this, there are so many better ways to force youtube users over to chrome..

My guess is this dev had to debug a reported issue “youtube is slow”, and after realizing it is difficult to patch (likely because of shitty code in edge), started pointing fingers. No. That is called a bug, plain and simple. Maybe try fixing your browser implementation so a single empty element doesn’t destroy video performance...

Edit with one more thought: I also feel youtube’s response in not removing the element seems completely justified. Youtube has features to implement and deadline to meet. Why should google have to throw dev resources at fixing problems stemming from microsoft’s bugs with no benefit to themselves? M$ should be the one footing that bill, again, by paying their own devs to fix problems of their own creation.
Yes, I also noticed this. It's especially annoying since many companies chose to implement "always on" Google Captcha on their login pages now (as they can't or won't implement proper defenses against brute-forcing). This makes logging in really painful. I guess for Google it's a pretty lucrative arrangement though as they basically get billions of free click workers that annotate their ML training data.
It's too bad that he didn't cover Hinduism.
> This is an explainabrag

My goal here was to show that standard Haskell boils down to a small set of features, therefore it's a simple language. Surely, "simple" does not imply "good" (Brainfuck is also simple), so I then assert that the combination of features that Haskell consists is fertile soil for writing maintainable and performant code.

> languages without these features can also have "clean, maintainable code"

Some people may prefer ML modules to type classes, sure. As to the other features, I have a hard time imagining a clean codebase in a language without some form of polymorphism, first class functions, and algebraic data types. (And lazy evaluation is a great addition to the list). Perhaps there are other sweet spots in the language design space, but I have not seen them yet.

> and nothing about this list implies "runs fast."

GHC is good at optimising this kind of code. https://stackoverflow.com/a/35038374

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

It's often hard to debug, and it means that the program can't be running for a long period of time. I suppose I should've used a better example, e.g. "use-after-free", to highlight the dangers of manual memory management.

> Haskell is particularly prone to "space leaks" due to its laziness.

Space leaks are benign compared to memory leaks in that the memory is eventually freed. That said, I'd be happy to have some sort of static analysis to prevent them.

> Why bring up Cyclone and not, say, Swift? Or is Swift meant to be included in "garbage collected languages?"

Swift relies on automatic reference counting, which is similar to garbage collection in that it isn't done by the programmer and has a runtime performance cost. Remarkably, it seems to be worse on both accounts: the cost of decrementing/incrementing these counters is very real, and handling reference cycles is not automatic (you need to carefully use weak references).

Here's an interesting discussion of RC vs GC in context of .NET https://blogs.msdn.microsoft.com/brada/2005/02/11/resource-m...

Rust, on the other hand, offers a static analysis with no runtime performance overhead to manage memory safely.

> dynamically typed languages with static type checking

You're talking about gradually typed languages. Sure, these are not unityped, but they also not purely dynamically typed (you said it yourself – they have static type checking). Perhaps that's just a difference between our uses of the term "dynamically typed" and we don't have a true disagreement here?

By the way, Haskell can do that too, we have the `Dynamic` type right in the `base` package.

> This read like a troll piece.

I'm sorry.
The truth about my design projects
Till the silicon comes nobody can really say much. Also NVIDIA is only using RISC V for the system controller for their future GPUs.
That’s fair. I guess the karma system makes for more combative comments, or comments that more align with the status quo. Like https://forums.bunsenlabs.org/viewforum.php?id=13 seems to be welcoming a lot more discussion. I can only give that as an example because it was the last non karma forum I’ve visited in ages, and even that was a long time ago.
Google Scholar considered harmful
What fonts are present (and therefore what characters will render successfully) depends not just on the version of Android, but also on the decisions of the device vendor about what to include.
The fact that you compare China with fascism is it's own can of worms, but even your comparison with selling armaments falls short. China already has search engines, Google wants to sell them a better one. Sure, it'll be censored but there's nothing to indicate Google China would be any more or less censored than Baidu. How does a China with Google become any more dangerous than a China without Google? I suppose better search engines make the country's labor force slightly more productive, which in turn means more tax revenue, some of which may be spent on the military. But if you really subscribe to such a belief, you should boycott all Chinese goods - and I'm going to go out on a limb and doubt you're going to do that.
Aside from aliases in your `.gitconfig`, as far as I know, if `git-subcommand` exists in your path, `git subcommand` will call that script for you automatically.

ie if you put `git-monkey` in `$HOME/bin`, add `$HOME/bin` to your path, now `git monkey` is a valid subcommand.
Android is finally using DRM/KMS
I love that book. I recommend Dr Fung's blog posts too. The success stories are really motivating, e.g:

https://idmprogram.com/idm-success-story-robert/

I've just found out they started a FB support group too thanks to the comments here (I haven't checked out his stuff in a while). The social support could be game changing for many struggling, hacking it out alone.
From what I've seen in earlier reports, a decent chunk of the Russian work was just them reposting things that actual Americans had come up with and managing to reach a smaller audience than the original Americans. This really is about Facebook letting people skip US corporate media and about ideas they don't approve of reaching a broad audience.
I think he would say that the "nowcast" is so useless and deceptive to be malpractice, since everyone will interpret it as a forecast, and even if they didn't it's not in any way useful. Which I agree with (unsurprising since I've semi-invented it as an opinion for another person).
Maybe if you shot a laser at the DVD and imaged 1 bit at a time. And then maybe you could rotate the disc while you do this, so you can get a lot of bits in rapid succession.
Then I would expect them to fire Beaumont to at least keep some control over the culture. You can't tell the shareholders "we're too big to know what the hell we're doing, we might be throwing billions of dollars on a project with absolutely no commercial value because it's some executive's pet project all the while the C-level management, the board and the shareholders would be none the wiser. We're a sure thing, by the way, invest in us!"

That's what you're saying as a CEO when you're letting rogue executives do projects that bypasses company guidelines, deceives other managers and costs boat loads in resources and PR without any sort of consequences. Or, you're totally fine with what he did because it's a silent approval if you're a manager and you let unethical behavior go unpunished. Nobody told Mr. Pichai being in charge was going to be easy.
regret every hour replacing our Bugzilla with those monstrosities. the perl hacks and occasional maintenance were a cheap price vs the usability nightmare we have now
> saying they did shady things in the past...neither legislators nor people seemed to think so

Your entire comment is ridiculous but I'll address this point... How many tech leaders have been summoned in front of world governments to justify their behaviour?
BLE has many interesting uses!

If you want to start playing with it, get a BLE keychain, and see what you can do with it - like unlocking your desktop when you come home, tracking who is around your computer at given times, etc.

hcitool can do the basics. If you want some extra (like accelerometer data to figure if the keytag is not just here, but "resting" or "moving") you need a better keytag and some time for debugging
Read a book. (Not just anything, but classics of all time that have proven value)
It's cool to toy with Tetris. Did it myself as a student, can't remember all the stuff I tried. But one thing I did was to make the blocks go invisible a few seconds after landing. Fun to try and remember the state of the board.
The role of social media in the Arab Spring was spun as a positive thing at the time though, as was the way it was used by Obama in the 2008 and 2012 elections.
I think the OP is explaining, not attempting to justify.
Epitomizing mediocrity, this new generation of names waft aimlessly by and inspire exactly nothing.

Names are labels. Actions are what leads to inspiration.
> He compared a very lopsided win to a slight loss, and those were equally likely.

I'm not arguing with you, since the one thing I know is that there's no surer way to making a mistake than jumping in confidently on probabilistic issues, especially issues of interpretation rather than of pure mathematics; but I think you must have misspoke, or I must have misunderstood. The quoted sentence says 'extremely probable' (an absolute condition), not 'equally likely' (a relative condition):

> "But no one should be surprised if they only win 19 seats and no one should be surprised if they win 51 seats," Silver added. "Those are both extremely possible, based on how accurate polls are in the real world."
A problem with HN is that the rules essentially incentivise this behaviour: if you simply think something is good, you cannot say so until someone else said it was not. “This is great “ is not a good comment. So people upvote instead. But scores are hidden , so you can’t see that from the outside.

you can see this effect in action on your own posts : 10 upvotes, 1 critique. From the outside however, it just looks like “HN is at it again!”

Sure, people could say “this is good because X”, just as they should with critique , anyway. But that’s not how we think : it’s easier to motivate why you don’t like something than why you do.

I think HN is much more positive than it seems. We just need to find a way to stop hiding it.
I never asked candidates about their past if it wasn't relevant to the job. It's hard enough to find any people at all that can do the job, so I can't afford to turn away people for things they did or did not do a long time ago. If you are qualified for the position, I'll hire you.

The big problem is of course, finding people that are qualified, and most people that replied to my job ads were just utterly unqualified for the job. (I received applications from programmers with "15 years of experience" who have never heard of source control.)
Creator of Floating Garbage-Collector Struggling to Capture Plastic in Pacific
The Wavefunction Collapse Algorithm explained
Understanding WCAG
>I am not agreeing or disagreeing with you, but this is a low value comment in furthering healthy discussion.

I disagree. When someone poses an analogy, it's a valid and contributing comment to point out a key flaw in the analogy, even if you didn't bring citations.

There are contexts where a comment like that is low value, for example if it's just contradicting another comment. The standards for making a statement are higher in that case.

But in context this comment is fine. I have no idea what you're even on about calling it a call to panic. Your comment is far more problematic than what you reply to.
Worth remembering Tim also wrote some violently racist and hateful crap. A sample (there's lots more) "Liquidate the Jew and the negro and most of our problems fade away." https://scruz.general.narkive.com/29QgNUds/commie-rag-praise...

I admire Tim's writing on crypto and what it could do. I deplore his violent racism. They both came together in one person.
One thing that bugs me is this:

The following are formally defined mathematical structures:

- Moore Machine
- Mealy Machine
- Deterministic Finite Automata

There are also (multiple) formal semantics for Harel State Charts.

But there is no single precise formal definition of what a coroutine is. And when we talk about programming with (finite) state machines, we are often not strictly referring to any of the above formalisms. To claim that two ill-defined notions are equivalent is not particularly meaningful.
https://medium.com/@SearchDecoder/global-search-engine-marke...
you might want to have a look at Joker (https://joker-lang.org/)

It's a Clojure dialect written in Go. Currently, its mostly used as a linter but you can also do programming/scripting.
I didn't know and I had to read that part twice.
As we are on the topic of Tetris, you can always play the good old Tetris online here http://www.goodoldtetris.com/
Not really. Attempt at explanation:

Solar wind is a stream of charged particles such as electrons and protons which are emitted by the sun. Together these particles form a "weak" (technical term "tenuous") plasma.

Plasma, as a state of matter, has quite a few resemblences to a gas. In particular, the plasma has a thermal pressure and a density, and the derivative of pressure wrt. density gives you a well-defined speed of sound for the plasma. There is a type of waves in the plasma called ion-acoustic waves, which propagate with this sound speed. (There are other types of plasma waves with other speeds of sound.)

When a uniform flow of plasma is travelling faster than the plasma speed of sound, nothing happens by itself. But when this flow hits an object, a bow shock is formed, just as we see in front of the nose of a supersonic jet or a speeding bullet.
Weapons of Micro Destruction
I thought the general idea is to code the client against a well defined and sanctioned media type. If the media type returns items and actions, a well coded client should be able to handle it (whether it is to show it as GUI and provide controls or do some automated response etc). The point of returning actions is that URLs change, and must be able to change. Instead of following HATEOAS guidelines, people hardcode routes and lament about how URLs should be structured (flat vs nested, e.g. `/posts/1/commment/4` vs `/comments/4`) and then they also have to be versioned etc. (`api/v2/posts`). Now that is silly.
Yeah, essentially "extremely possible" is just "far from impossible". Something can be very possible but still not very likely, surely?
> 100% automatically – in 5 seconds – without a single click

cant drag-n-drop images on the webpage... so the slogan is a lie

impressive service nonetheless
Do you have an electric pressure cooker?
You don't even need to do the maths. Just looking at a vinyl would give the game away since you can see grooves with your naked eye (as a DJ in an earlier life, we used to use that as a visual clue for when to queue up the next record, swap the basslines, etc).

Not to mention how albums would often be spread over two records where as the same album could fit on a single audio CD (let alone DVD).

I'm guessing the GP has never owned any vinyl. I could forgive someone questioning the density of records if he's not familiar with the tech.