skysight-inc/HackerNews huggingface dataset:
Coq means a rooster in French that is not a usual name for theorem prover by itself. Therefore Coq developers should have thought that it is at least an interesting (and more likely, funny) idea to name it after an animal, much like CHICKEN Scheme.
Subtitles, slightly edited for reading:

https://pastebin.com/raw/VrLPVC2H
Where did you go? Any wild stories
Afaik it costs you some performance for long string operations.
For things like this I recommend going to wikipedia and looking up "Functor" -- there's some weird dislike of category theory terms but we're all fine with terms like "singleton" or "Factory"

You'll see the definition and be like, "shit that's just a map." We sell each other a bit short.

Likewise for applicative, monoid, monad -- they're mathematically pretty clear and if you squint while assuming a list is a category, you can probably read most of the definitions and get it.

functor -> equivalent of map for lists

monoid -> equivalent of having an identity ([]) and a join (a.concat) for lists

applicative -> equivalent of turning one element into a list

monad -> equivalent of unwrappering list items, applying a function to each, and rewrapping it

This is just for lists, but the terms are more powerful than that and have many variations. The nice thing is because it's universal. You don't have to wonder, "have I done this pattern right," because you test the laws for them. It might also help, for some of the laws, to remember identity and associativity as like from multiplication -- ie 1 * 9 = 9, 3 * 2 = 2 * 3
Luckily, for Ross, none of them actually occurred as they would have made him eligible for the death penalty under the CCE statute.
I recently discovered Nils Frahm, the day after he performed live in Sydney. Now I have to wait for him to tour again!
"CalTech" used to be correct
It's too early for data on this coronavirus. There isn't enough organizational capacity in Wuhan to properly capture the numbers; to start with it's difficult for people to get to the hospitals because transit is shutdown, and if they get there it's often pointless because there are very few test kits and no free beds. How many have been infected is impossible to determine.

https://www.youtube.com/watch?v=7AI3R41dGnU

Edit: removed remark
The scene would'nt be much different in a develop country, would it ?
What value are they getting out of carrying a bunch of freeloading accounts?

Or put another way: what value are they risking by force-deplatforming the freeloading accounts, besides a bit of splashback from frustrated (non-paying) users?
Population growth is the change agent.
> du Chatelet redid Newton’s equations using Liebniz’s formulation of calculus.

Newton did not use equations in his book, it was all done geometrically and with proportions.
They are different IMO. There are thoughts, which are just abstract forms, and there is the response to thoughts, which are emotions and monologues.
Undefined behavior in C++ and C means that it's up to the implementor to decide what happens in a situation. Usually it ends up being whatever is most convenient or most performant on the target architecture.

One consequence is that portable code can't depend on any particular behavior because it can be different between implementations. Every implementation will do something, but each one may do something completely different.

Another consequence is that "undefined behavior" isn't undefined in the context of a specific implementation because you can look at what it does and see how it's defined in that implementation. In this case, libc++ is essentially part of the implementation, so it's fair game for it to depend on implementation details of clang.
I struggle to find a beautifier doing something similar to this with indentation. I use quite a bit of plpgsql which makes it even more challenging. I have tried a few found in the www however none of them cut it. Any recommendations?
That is already the approach in Lisp, Scheme, Java, .NET, mainframe language environments, OCaml, Haskell, Eiffel, Dart, D and plenty others.

By having a mix of interpreters, repls, JIT and AOT compilers, one can mix and match, using the fastest ones for development and the slow ones for the final release build.
If you have both, I suspect that they have significantly more storage than your vintage fridge?

In any case, if you buy a A+++ freezer they "only" use around 200kWh/year. This is mostly due to better insulation, and is in general an environmental and economical benefit to buy if your freezer is old.
And it's a good news - Swift is a niche, vendor-locked language. Using something like Rust for production level and something like Julia for R&D stage is a better fit.
> complaints were rife when they recently introduced WYSIWYG and we continue to get requests for help in disabling it.

Can you tell me how they don't like it?

Do they rather want auto formatting like markdown or no formatting at all?
I think in words out loud by default, but I can intentionally interrupt my narration to get access to the instant, non-verbalized fuzzy representation. It feels weird.
I can't wait to use nimbyism as a service
My internal monologue doesn't even stop when I'm dreaming. I don't lucid dream, but the internal monologue critiques how things don't make sense (pointing out discontinuity errors etc). It took awhile to find out this isn't ubiquitous

Previous HN threads have talked about how people notice a reduction in their verbal skills shortly after programming for awhile. There's a lot going on in programming that's non linear, so it's useful to not serialize your thoughts then. I've found that listening to music is often a good way to distract the monologue. When I was younger I only listened to instrumental music because I found I couldn't think with lyrics in the background
A lot of people are mentioning bandcamp, which is great for exploring new music, but there's also this tool: http://campexplorer.io/ which lets you search using multiple tags. It has worked perfectly for me when I'm trying to hone in on very specific sub-genres of metal. :) One of my favorite tools ever.
That's both a little harsh and doesn't stand up to scrunity. As a counterexample, consider Singapore, which also has inherited and retained the British education & legal systems, as well as standardized on English as the lingua franca despite it being nobody's mother tongue. Yet Singapore has still become one of the world's richest countries, while Malaysia next door, starting from almost the same position (they were part of the same colony/country!), has not.

My equally unpopular opinion is that Gandhi's ruinous Swaraj/socialist economies theories that basically involved blocking off imports and central planning of everything were the primary cause India stagnated for so many decades, and has now fallen so far behind China in everything except exporting brainy IT engineers to work in the US.
> "Good. Now tell me: how did you describe it when you were talking to yourself?"

> "'The crazy shape of the crankshaft in my car.' What's your point?"

> "Uh, I don't know. I didn't plan for you actually having an answer."
It's not rational environmentalism, but I'm sure a lot of NIMBYs are honestly convinced they're fighting for Mother Earth, and the simultaneous explosive value increase of their home is purely coincidental.

Motivated Reasoning is a hell of a thing!

https://en.wikipedia.org/wiki/Motivated_reasoning
The swap method requires that pointers or iterators don't get invalidated.
I believe your severely underestimate the influence of regional culture.
You can use PyTorch Rust bindings [1] or OCaml bindings [2].

[1] https://github.com/LaurentMazare/tch-rs

[2] https://github.com/LaurentMazare/ocaml-torch
> applicative -> equivalent of turning one element into a list

This is only one part of the definition of an applicative. Applicatives must also preserve the monoidal operation (product). That is, there is a function `pair : f a -> f b -> f (a * b)`. Then, you can map functions of multiple arguments by turning `(a * b) -> c` into `f (a * b) -> f c` via `map` and passing it the result of the applicative `pair` operation.

> monad -> equivalent of unwrappering list items, applying a function to each, and rewrapping it

I'm not sure how precise or accurate this definition is. I'd say that a monad is about collapsing multiple layers of a functor into one layer.

> This is just for lists, but the terms are more powerful than that and have many variations. The nice thing is because it's universal. You don't have to wonder, "have I done this pattern right," because you test the laws for them. It might also help, for some of the laws, to remember identity and associativity as like from multiplication -- ie 1 * 9 = 9, 3 * 2 = 2 * 3

Yup, I agree that this is a benefit of generalizing these operations based on their common structure.
War is a moral argument. Health and welfare of society is a moral argument.

As for "maximizing output", I'm failing to see big returns here. Afghanistan? Iraq? Vietnam? The only output that was maximized was cashflow to the military industrial complex.

I do believe in national security but the way we do it is not only inefficient, but manufactures more insecurity that feeds into the cycle.
Which is why the system need to be reformed on a statewide level, not by making a special case of every project and every neighborhood.
I like the aesthetic, but we’re on a budget here. Rhinestone and we call it a compromise?
Yes.

C++ is horribly slow if you overuse templates, and not take advantage of binary dependencies.

If every module compiles to its own library (not object file), got proper translation units, and a fast linker, compiling the stuff you're currently working on is relatively fast.
Say to who, when, why?

I wouldn't include thinking through upcoming conversations, texts, tweets, emails, posts, presentations, or phone calls.

Let's say you need to run three errands and eat dinner on the way home. How do you decide what to do when, and make sure you have what you need?
> please take me back to previous path before (because) latest fork = mistake

Seriously. I regularly travel from Ohio to Michigan and back, and often times if I take an exit for gas, Google Maps will assume I want to take an obscure country backroad for the final 2 hours rather than get back on the highway.

I absolutely do not want to worry about deer, a lack of gas stations, food, and light.
My brain functions exactly like yours.

I wonder if learning multiple languages as a kid has any influence on the way we think (I was raised bilingual and now I can speak 4 languages quite fluently), but also if the way we think determines what we are good at and the path we choose to live. I'm an engineer and I always enjoyed doing math and science, whereas I'm not that pasionate about art and humanities. I know some people can be really great at both, but most of us will only shine on one of these fields.

Does this resonate with you too?
sqlite has full text search capability: https://sqlite.org/fts5.html#overview_of_fts5
At least on the D side:

Nullable!int[] zs = [2.nullable, Nullable!int(), 4.nullable];
// no partial application, and
// separate template parameters and runtime parameters
// so (fmap . fmap) (+1) is one function
Nullable!int[] zs2 = map!(apply!(i => i + 1))(zs).array;

The C version probably has a lot more function pointers, and may use nonstandard compiler functions like closures. But in principle you could do the same thing.
How to Nail a Front Flip in a Monster Truck
So insure them for $1000?
Don't blindly trust Docker for the selfhosted stuff
A Painter Resurrects Louisiana’s Vanished Creole Culture
I believe he means: they aren’t in competition for customers. They are in competition for stockholders. Stockholders exist in a true competitive marketplace where AT&T must provide value to get their business. This is strictly not the case for most of AT&Ts customer-facing business. That exists in an oligopoly that appears to collude on pricing and (lack of) service.
Agreed, data volumes are definitely the biggest hurdle in this scenario. Any of the cloud DAWs I've seen mostly offer basic features, and a handful of recording tracks at best.

Just checked out Ardour, looks great! Being able to work with videos and (I presume) work on additional audio and eventually mix the two audio sources back into the video is a fantastic feature.
The Unsung Black Musician Who Changed Country Music
100% agree with you on solo travelling: I am not daunted in any way by the idea of days-long-trips alone with my thoughts, a notebook and my kindle. In fact, often I'll seek out long-distance travel by train over flying precisely to experience some alone-time.

I have travelled extensively alone as a woman - there is a safety aspect regardless of gender. It has its own benefits as well as the obvious downsides. For example I found home-stays or BnBs that more easily accepted a solo female and I was welcomed into many family's lives.
Build your own self-hosting platform with Raspberry Pi and Kubernetes
Is there any reason to think they're not reflecting the will of their voters?
Eugenp/Tutorials: Just Announced – “Learn Spring Security OAuth”
Should Your Antivirus Software Be Spying on You?
Maybe they will be motivated to legalize housing if they are taxed proportionally to the value of their houses.
Next, Flash emulation running under WebAsm?
2019 Wuhan Coronavirus Data (2019-NCoV)
Andrei Rublev felt like a slog until the last segment with the bell making. That segment really built tension for me and at its end it became clear to me that the entire film had been a set up. It established the vanity of Rublev's religious experience and his realization of that through his sudden exposure to the chaos of the world outside the monastary.

But to make Rublev's epiphany clear -that he could live for compassion, passion and the kindred spirit of a fellow creator- you had to be taken through this long process of seeing this crazy world through Rublev's naive eyes.

It was definitely one of my first experiences where I discovered that sticking with art that is challenging or difficult could truly pay off in a way immediately gratifying art sometimes cannot.
Interesting idea, but why they are offloading heavy computation to the less powerful device? I don't see any device around me that is more powerful than my smartphone. Except for the computer, for which it makes sense to run the computation at the first place.
I suspect that “chance of dying” varies based on treatment, and that treatment in an overwhelmed Wuhan hospital is likely not the same as treatment as, say, the first patient in France to get the disease.
TL;DR: I want Myspace Bulletins but with text messaging.

I have a band on facebook with 23,000 likes.

Even when I have paid money to promote shows, music, and merchandise, I had no guarantee that what I posted ever got to my audience. There are some (unclear) analytics involved but at the end of the day I don't want to pay a middle man to connect to my audience.

This was one of the best aspects of Myspace: there used to be a bulletin board that would give you a specific feed of bands/friends posts. You could choose to read whichever messages you want and bands could message their audience without having to pay a toll.

With social media, there is so much hype and noise that there is no signal for up and coming bands to really stand out. I frequently see sponsored ads on Instagram of musicians playing in their living rooms and I keep wondering why I am seeing this when I frequently miss posts of bands that I care about.

In my mind, I would love the ability to be able to have fans text a number and receive a message if one of my bands is playing a show in their area. I don't want to send them anything else unless I have a show coming up, new merch for sale, and new music to listen to.

Bands put up messaging/posts to stay relevant on social media. A larger band can hire a team for this, but it adds so much more noise for bands that are small as they have to grind for social media relevance _with everyone else_ instead of working on their music.

It would be the most direct marketing possible without a need for an installable app. It would be a very grassroots thing but I think it's something that needs to happen.
SpiderFoot: OSINT collection and reconnaissance tool
Humans are complex and social systems.
Just link the parent folder into dropbox, I do it for savegames all the time.

Or switch to resilio sync, it’s great and selfhosted. Unlimited folders can be used.
Some don't want their old posts archived for eternity, for privacy reasons.

Yahoo had a nice interface to allow everyone that was a member of any group to download everything for their personal and private use, and it worked fine. Random external parties republishing other people's old posts though is not OK at all and is a massive breech of privacy, and is a violation.

Because of the threat that one's opinions may be archived and forevermore propagated by random third parties, at this point in history one would have to be insane to express a genuine opinion publicly. Therefore these efforts have a chilling effect on free speech and are inimical to democracy.
I think you missed the point. Haskell, keeping up with research, allows for further research. That research allows you to explain your ideas better and explore. It could save you refactoring time if you could explain it right the first time.

This kind of snub is weird.
This is especially true in the UK where most rural roads are nominally 60 MPH even if they’re barely wide enough for two cars.
Britain Defies Trump Plea to Ban Huawei from 5G Network
...but even this Prop 13 Landed Gentry has a big problem:

They have to live in their fabulously high priced and undertaxed home to enjoy the benefits. They can't move to another town or maybe not even take a job in the other side of town.
A little Python library for making simple Electron-like HTML/JS GUI apps
I had no idea other people do this too. To me, it doesn't even feel intentional.
But mainframe customers are still dumping them, and they're not picking IBM: https://cloud.google.com/press-releases/2020/0121/sabre-and-...

Note that SABRE is the OG enterprise app, by most measures it was the first non-military/govt/research computer system, going live in 1960 (!) and the core still runs System/360 (which they had to migrate to, not from!).
Ground cloud, got it.
Yes, of course you can encode it in any language you want, but the point is that ML-ish languages make it extremely natural to think like this, and Java makes it impossibly painful. Haskell makes traditional imperative algorithms painful, though, which is arguably a greater loss.
Nobody here has mentioned the fact that they went through a locked door (well supposedly it was unlocked, they closed it, and they broke in to test it) even though their 'get-out-of-jail-free' letter explicitly said that was not permitted. I agree it took embarrassingly long to get the case dropped, but it seems like if they hadn't done this there wouldn't have been a problem in the first place.
why not signal?
Anecdata to add to this:
In the third grade I took the phrase "voices in your head mean you're crazy" so I actively suppressed my internal monologue (previously expressed in language) and now my thinking is mostly abstract and/or visual. There are two exceptions: imagining a hypothetical conversation or reviewing a previous conversation in my head. Those are the only cases of language in my head. When I read I experience a combination of the two.
So they ONLY provide a ~275GB torrent zip file???

Lame.

Why not allow the DL of only certain games?

I don't need 38,000 flash games... nor does my laptop have 500++ GB free to fiddle with this.

Poor delivery decision IMO.
You can still deploy a new version of the monolith with a downgraded module.
Setting different standards for themselves, setting other people up, even boasting of sabotaging others openly, surrounded by gullible and oblivious people, limiting number of marks, snide remarks, running in packs and claiming all authority while victimizing themselves. Gaslighting is rare but part of the toolset.
It's bad for the businesses, but I assumed that was intended. This new regulation that's proposed sounds like they're surprised that this was the effect of GDPR.
I think part of the problem of this graph is that it attributes commercial building emissions to the municipalities in which they are placed, even though these buildings might be used by residents and commuters alike.

So if you move into the city instead of commuting, you might be using the same commercial buildings a before, but their emissions are suddenly attributed to you.
I think you're a bit off the mark. Healthcare is cheap in China, but people are even poorer. Only rich people can afford the important stuff. It's common for young people from poor families to work or forgo their education to pay their sick parent's medical costs. Usually old people just die because they can't afford medical care where in the west, they would be treated. Also doctors are poorly paid and commonly supplement their income with under the table drug sales. Oh, and most of them prescribe fake herbal medicines as if it was real and patients are fooled by it because their culture tells them it works. Imagine getting a vial of homeopathic diluted water and a sugar pill when you complain about a cough. I once knew someone who had TB and was recommended to treat it with an OTC sachet of herb from the pharmacy! It's common to find beggars outside hospitals with signs asking for money to continue their treatment. Insurance? Yes, that exists but the excess is often something like 1/3 the total cost so if you couldn't afford it yourself, you still can't afford it with insurance. That's if you have a high enough income to afford insurance in the first place.
Same here. My “inner world” never stops unless I force it too (I like meditating occasionally for some mental-peace-and-quiet.)

Other than forcefully pausing it that way, it runs 24/7/365 and is incredibly vivid.

I can also have multiple “tracks” running at once internally, but I generally have one “in focus” and another 1 or 2 sort of there in the background dimly. I’m aware of what all tracks are currently up to though at any given point.

Generally it’s just brainstorming ideas, playing back memories, imagining fantastical worlds/stories for internal entertainment, or wondering about things.

It’s not always positive, and keeping it all under control can be difficult, but I definitely think the pros outweigh the cons.
Yes, but by that accounting the other mechanism has only 22 characters.
Platforms limit reach of participants with large audiences, in order to encourage them to buy ads.

Participants move away and build their own platform.

Advertising ruins every platform. Just look at Google even, a darling of the early 2000s.
I think you can get about 33% more both in Tokyo and in the Bay Area.

I took the Tokyo side of this trade. I don't think my learning and connections are significantly impeded by being in Tokyo, and my quality of life is leaps and bounds greater.

Examples: Strangers regularly assault or shout slurs at me in San Francisco while I am distracted by trying not to step in the human feces on my way to work. In Tokyo, while I was waiting at a crosswalk in the rain without an umbrella, a stranger placed his umbrella above me. In Tokyo, everyone uses a form of bike lock that's essentially an extra back brake with a combination lock. In San Francisco, I lost my $500 bicycle from inside the trunk of my locked car in a private garage. In Tokyo, I do not really have any reason to own a car.

I will save a little bit less money per year, and I will not get to deduct as much money per year from my income due to theft. I think it comes out alright.