skysight-inc/HackerNews huggingface dataset:
I'm primarily a Scala developer, that also likes Haskell. And you're right.

With the caveat that some languages support an encoding of HKTs. You can encode HKTs in OCaml, Kotlin, or TypeScript for example, and there are FP libraries taking advantage of that. I believe the encoding was inspired by this paper:

https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-ki...

It kind of sucks, but it does let you work with a Monad type class, and it's better than not doing it at all.

I'm not sure if such an encoding is possible in Rust. I've been told that F# has a hard time with it, not sure why (possibly because of reified generics). In TypeScript and Kotlin it works because the runtime and the type systems are relaxed and you can just force downcasts if you're in trouble.
Adobe's Liquid Mode uses AI to make PDFs easier to read on phones
Ok, the concrete changes they mention sound harmless, but..."modern looking website" sounds like code for "webapp-looking thing with every pixel clickable and stuff that moves around on you when you don't want it to". There is a lot more room for screwing things up than improving, for Wikipedia. I am nervous.
This security issue is not that simple to manage as you probably know. It's mainly due to the fact that there is now way to have authorization on the the docker API. This is not the case on Kubernetes for example where you have RBAC to prevent this kind of issue. We have described this in detail in our documentation, and you have many solutions/workarounds to address this: https://doc.traefik.io/traefik/providers/docker/#docker-api-...
Duncan Hunter, from East County San Diego. Although he is no longer a CA Politician after being convicted of fraud recently.
> Why don't they make genetically modified yeast that produces the venom from snakes

Because that would be a catastrophic mistake

If is not difficult enough to fight airborne coronavirus, imagine how suffering and trouble would cause living in a world were just breathing it would kill you in minutes. Or where the bakeries could be silently contaminated with something that turns wheat floor into snake poison. Cereals are the basis of our diet. Poisoning it would top the list of most idiotic things done by humans, for sure.
> This CEO needs to go, needs to be replaced by someone who is well versed in technology instead of in law

There are people who are well versed in both. There are several HN posters for instance who are or have been both lawyers and engineers (although I can't recall any specific names at the moment).
It is a barrier, you can probably see it in your page analytics. A good way to implement is to let me play with the database a little, and then if I want to save or something ask me to make an account.
> This won't stop illegal use of course, but will stop anyone interested in their privacy

It won't stop much on the long term. Techniques like chaffing and winnowing[0] can be used to provide confidentiality while preserving plausible deniability.

[0]: https://people.csail.mit.edu/rivest/pubs/Riv98a.pdf
Since "references to politics" is an undefinable, and beyond the realm of computing to identify even if it could be defined, you're essentially asking for the impossible.

Your actual question is really -- "Should all social media posts be CAPTCHA'd?" Because that's the only way this could work on a technical or logical level.

I'm a big proponent of anti-bot measures on platforms, but you have to balance that against reasonableness. CAPTCHA-challenging at random intervals with higher frequency with new or dormant accounts would be ideal.

I don't considering trying to identify what is "political" as a worthwhile use of time or resources (least of all because no two people would agree on a definition e.g. COVID-19 political or not? Highways political or not? Wild fires political or not?).
Book Review: Working with Contracts
If you're going to redirect, I think it should be based on the browser language. This preference is usually accessible everywhere in your stack.
HTML Quiz Challenge
When I saw Mentat I immediately thought about Fallout.
The AI is required to reconstruct text order in legacy PDF files. Once you have the text, why wouldn't you render it in HTML?
Flow Forecast Version .09 Released: Expanded GCP and Metadata Support
There's a bit more to it, and I did a livestream[1] to go over some of the details, but if you use Ansible and have 2.9.x installed (or any older version) and want to upgrade, make sure to uninstall then reinstall:

pip3 uninstall ansible ansible-base
pip3 install ansible

With 2.10, Ansible is now split into 'ansible-base' (the foundation that is just the core components of Ansible), and 'ansible' (which wraps together all the modules and plugins that were in Ansible 2.9), so when you do a `pip install`, it gets messed up if you try upgrading from an older Ansible version.

[1] https://www.youtube.com/watch?v=D83Wf0njbyA
May I suggest adding "how it works" section in README.md?
I am old to remember that the initial publicity surrounding PDF touted it as the future of the web. A better HTML.

I laugh now as I laughed back then.
> Rather than being pre-compiled and linked, however, plugins are executed on the fly by Yaegi, an embedded Go interpreter.

Woof, no thank you.

Go is basically incompatible with any kind of plugin-like dynamic linking. There are basically two reasonable models for doing something like plugins: the HashiCorp model, where plugins are actually separate processes that do some kind of intra-process communication with the host; or the Caddy model, where you select which plugins you want when downloading the binary, and they're built-in at compile time.
You are not correct. I've never seen an injected ad and I use it and Firefox exclusively.
Agreed. It seems that a lot of people aren't getting past the title, so now there are a bunch of misguided comments peppered all over the thread about needing to use AI to read PDFs, which is definitely not what the announcement is saying.
Imagine if, every quarter, a committee voted on whether you keep your job.

Does this make you more or less willing to take risks? More or less focused? Does this decrease or increase the amount of attention you give to "optics" and politics?
If you want content to be able to be presented in different ways (such as a Reader Mode) that reflect the document structure, there are far better options than PDF. This is Adobe trying to extend their moat. Just Say No.
Americans getting along well enough to form class awareness and solidarity would more effectively question the Washington economic consensus.
Wikipedia already contains a huge amount of "powerful" tools in the sidebar, that most casual users would never want to interact with. Upload file, recent changes, what links here, etc - pretty much all of these are irrelevant for people who aren't editors.
No. :-)

Yeah, I know, not helpful. Hydrogen storage continues to be a huge issue. It is just so much more efficient to manufacture long chain molecules with hydrogen that you can then drive around in tanker trucks, store underground for pumping into units which burn them to recover the energy.

Once there is enough excess energy I expect you will see Fischer-Tropsch[1] type refineries that convert hydrogen and CO2 into liquid fuel rather than trying to ship around the hydrogen.

[1] https://en.wikipedia.org/wiki/Fischer%E2%80%93Tropsch_proces...
You've probably discounted this for some reason already, but why not use something more built for service discovery - e.g. Consul Catalog / k8s / etcd?
Azure Orbital launches Microsoft into a cloud computing space race with Amazon
Both. See here for more https://twitter.com/withoutboats/status/1027702538563477505

There have been some people working on these problems, take https://varkor.github.io/blog/2018/11/10/monadic-do-notation... for example. This is why I say "not clear" and not "impossible" or something. We just don't know.
How do you know that the people knew that the nuisance existed?

"Sometimes really loud jets take off really early" is not something that you would want to put into a realty listing, and is not necessarily something that would happen when you see the house. It might have been disclosed somewhere, but do you know how much paperwork there is with buying a house?

I can easily see someone not realizing that they would have this issue until after they move in. As much as they "should have known", they truly may not have.

Likewise with power plants, "You'll get a stench when the wind blows the wrong way" is again not something you advertise and not necessarily something you'd notice when you see the house.

(Of course, "You have to disclose all this crap" is part of why there is so much paperwork, which might or might not include some of it now...)
I wouldn't take IRV over FPTP. We've done it in the past and switched back. It also doesn't solve the problem. All it does is slightly increases the VSE but doesn't accomplish much else. IRV isn't great at allowing a new party to appear when major parties diverge from voter consensus.

This isn't something you take several steps towards the right direction. If we take a step and it doesn't work, people are going to stop stepping in that direction and look for other optimization methods. You have to make a large enough step that the loss function actually decreases.
It's a sad state of affairs for society. When you don't agree with the status quo you get "canceled". Even if it has nothing to do with your function.
This is why affine schemes as a thing never really took off until Grothendieck, despite Noether and Krull noting some of their interesting properties decades before. If you're just using affine schemes you don't get anything you don't get just by doing commutative algebra.

However, once you start gluing affine schemes together, you start getting things that represent functors you can't represent if you're working over the category of commutative rings alone.
While there might be a lot of current users who feel like “if it’s not broke why fit it?”, there are a lot of whys it can be improved (some previous commenters have already linked some great research to how line length improves readability). As someone who is very dyslexic, I can say that Wikipedia is incredibly difficult to read, navigate and use effectively as a resource. It is not organized in a way that is easy to parse, the content blocks are huge making it extremely difficult to read, and there is very little white space. I’m excited to see how they revamp the UI/UX to make it more user friendly.
The fed rate always closely follows treasury rates, and the latter are set by the markets.
If anybody wants to try for themselves in their language, go to "Preferences" >> "Appearance" and uncheck "Use Legacy Vector"
> most/all of Trump's and the enabling Republicans actions are leading their country to either civil war

What exactly is the contribution of the Trump supporters to the development of the looming civil war? Provoking the opposition to commit violent acts?
It's rarely mentioned how explosive hydrogen is and how this is supposed to be mitigated.

Another related problem has been solved though: Hydrogen cannot just be put in a normal tank, it dissipates through Hydrogen bonds which is a quantum mechanical effect.
This isn't true. There's definitely a baseline of happiness, but my life turned around dramatically once I had basic control over my finances and I didn't have to worry anymore about my financial future, the baseline increased and isn't coming down.
Charles Lohr has done some neat projects with this board. Recently he made this post and I've never thought about this level of hand-holding interaction with the silicon itself.

https://twitter.com/cnlohr/status/1307890077041909760
Can't you just turn the dial?
As someone too dumb to learn Haskell or Category theory, it blows my mind that someone who says he is four years from being a teenager wrote this.
Releasing Norfair, a lightweight way to add custom tracking to most detectors
Hi, we recently released our tracking library built to facilitate the experimentation of adding custom trackers on top of detectors, and thought people here may find it interesting, cheers!
But current battery technologies need elements that require mining and other environmentally taxing processes. Recycling batteries can be energy consuming too. With hydrogen the cost structure of the whole fuel lifecycle is much clearer. Hydrogen also depletes along the trip unlike battery which will be massive dead weight for planes & ships.
You missed the entire point.

"How dare Trump leave the climate agreement! Even though we were supposed to already reduce our carbon emissions since the country was apart of the agreement, we're going to show Trump he's an asshole by reducing our carbon emissions since he left the agreement!"

That's my problem. It's all lip-service. No one really cares about the environment. No more than buying a tshirt and a sticker. How many of them went out to go plant extra trees and ensured their viability by maintaining the surroundings and watering them properly after planting? Most of those massive tree planting raids end up only having 5-10% survive to a year after planting. Or went out and cleaned a beach or the ocean? Actual enforce filtering/dumping guidelines with massive penalties? It's just like the whole, "Oh, I care about the poor." Bullshit, when was the last time you volunteered at a soup kitchen? Lip-service, likes, thumbs up, hearts and whatever the hell else another platform thinks up, doesn't change shit. The whole idea that some politician is for "the good of us all" is such a load of crap, no matter the party or the country. It's just a way of them getting into power for themselves.

And yea, it's all warm and fuzzy PR bullshit that sadly the general public now believes, "is the way" to fix the world. It all annoys the hell out of me when someone says, "This politician/billionaire cares." HA! I think the closest is that guy that went close to broke recently and even then I have my doubts.
Plenty of links are submitted to HN every minute. If the guy cherrypicks, why not?
> a form of markdown where the parser is a (variable?) machine learning algorithm

Sounds like a way to extend vendor lock-in, as nobody else will be able to implement the same algorithm with any assurance of interoperability.
They require Google connectivity to change the temperature through the app. You can always change the temperature using the thermostat itself. Although it is absurd that there is zero local connectivity, this is Google we're talking about. If they allowed that, it would be trivial to just keep the thermostat offline and not allow Google to siphon up your precious data.
Is it going to be a single-page app with React, Angular, or similar?
Then why an exclusive license with Microsoft? If OpenAI had all the power, you'd think they license it out to several major cloud providers and just give the first license holders better pricing.
Well, given that Squarespace/Wix/Weebly etc. are selling Dreamweaver-as-a-service (plus hosting), I would say there's a lot of demand still. Pinegrow seems like it would cater to someone slightly more technical (since you need to figure deploying/hosting), but not willing to entirely learn the frontend stuff just to make a simple site. I have plenty of sympathy with that, it's better than going with WordPress for a four-page brochure site, at least.
Try reading a math page on an iPhone with a spotty connection. All the images now only load when tapped. So after the page loads, I've got to scroll down, open each collapsed paragraph, and tap each image separately, before I lose signal on the subway.
I agree very much in principle. The wikipedia desktop site is beautiful, functional, fast, and doesn't change every 6 months to chase trends (unlike every god-damn website today it seems).

That being said I don't understand why the sidebar should be collapsible (and collapsed by default). It's just an extra click to access functionality with some people rely on (languages, for example, being probably one of the most used).
What is a legal concept without a legal framework to enforce those rights?
Link from the article showing what features they are adding.

https://mediawiki.org/wiki/Reading/Web/Desktop_Improvements#...
It can be done if you write your code like this:

function MyThing() {
return (
el(A, {value: 123}, [
el(B, {value: 456, foo: true}, [
el(C, {awesome: true}),
el(D, {awful: false})
])
])
);
}

but there's a reason people prefer JSX syntax
Yes, that's just too slow. The same car with a stick shift did just fine.
Honestly, the prospect of having parts of my car have to depend on American network reliability is a huge issue for me. I've had friends stuck outside their Zipcars because they can no longer unlock it in the parking lot of a trailhead.
I'm guessing OCR of scanned images to turn into text.
MIT students are a bit ahead of students at other schools. Faculty hiring is such that there are no substantial differences in faculty quality. The difference between an MIT professor and a state school professor is mostly random chance. Oh, and the MIT professor has a lower teaching load, a great brand stamp, and a huge PR department.

MIT overhead is roughly 2/3 of the money which comes into NSF. Perhaps this might not be a problem to raise (it's generally not), but that doesn't make it okay. The bigger problem is your tax payer dollar passing through overhead into graft. Your taxes are contributing to the MIT yacht club ("MIT Sailing"), million-dollar salaries, buildings costing a significant fraction of a billion dollars (MIT Stata Center), fancy faculty clubs, etc.

Is that good use of taxpayer dollars? Of tuition? Of donor dollars? That's ultimately where all this excess comes from.
The problem with the Bethesda thing is that I won't get to play Doom Reboot 3 on PS5. I don't care about Xbox, heck I can't even differentiate the new model from the older one due to the confusing names.
The paper Profound anterograde amnesia following routine
anesthetic and dental procedure [1]

> Anterograde amnesia caused by bilateral hippocampal or diencephalon damage manifests in characteristic symptoms of preserved intellect and implicit learning, and short span of awareness with complete and rapid forgetting of episodic material. A new case, WO, 38-year-old male with anterograde amnesia, in the absence of structural brain changes or psychological explanation... amnesia onset coincided with anesthetic injection and root canal procedure, with extended vasovagal-like incident.

> WO attended a routine dental appointment for root canal treatment at 13:40 hours. He was injected with the anesthetic, Citanest with Octapressin 3% just prior to the beginning of treatment. He wore tinted dental glasses, obscuring a view to his level of responsiveness. The procedure was completed at 14:30 hours, and at this time it became apparent that WO was pale and faint, and could not get himself up when re-positioned from the supine to the upright position.

So after the 50 minute dental surgery, the patient was still suffering from something similar to an extended fainting spell (vasovagal syncope). This resulted in permanent brain dysfunction isolated to the parts of the brain associated with forming long-term memory without any measurable structural damage.

A weird but fascinating puzzle. Question 1: does oxygen deprivation in the brain result in measurable structural damage? Question 2: can an anaesthetic selectively impact one artery servicing the brain?

[1] https://pubmed.ncbi.nlm.nih.gov/25978125/
Details on this: This is a restyled version of wikipedia content that looks a lot better. They have a browser extension that redirects you to the wikiwand version of the same page, which is the same content with much nicer formatting. It really looks quite a bit better.

Caveats: you have to trust a non-wikipedia site to keep their copy up to date, not to info-mine you, and if you quickly send someone a link, they may not realize they're still sort of on wikipedia.

For comparison:

- https://www.wikiwand.com/en/Hacker_News

- https://en.wikipedia.org/wiki/Hacker_News
This is how I use the fullscreen expandable images:

1: Go to a page.

2: Click on an image.

3: Close the image.

4: Click the browser back button.

I am now at the image again. This is surprising and I cannot seem to learn this.
s/Approval/STAR (or range)? At worse these are approval, at best they are more expressive while still being substantially simpler than any ranked method (which requires multi rounds). I'd argue that STAR and range are more expressive than ranked because you can actually specify how much more or less you like a candidate than another. You can't express this in a ranked system.
do you just transfer files? or do you store them as well?
Cheers, this is such a neat website.
At this point they should keep waterbombers airborne 24/7 to just put out any fires.
Save Money and Uninstall Tinder
What kind of tank can it be put in?

I honestly really appreciate gasoline for being such and incredibly portable source of energy. It gets a lot more hate than it deserves.
The Art of Product Prioritization
To me this hints at the core of why small/niche games will always have a place. Diablo 3 and any other mass-consumption AAA title is going to have to compromise some of the edginess to gain wider acceptance. I personally thought the D3 launch experience into the first few months was incredible. That said, I can see how it upset some of the fan base for various reasons.

Overwatch is another example where you can see this battle unfold. There are now 2 completely separate competitive ranked queue options with different rule sets in order to bridge this gap in gameplay expectations. I personally prefer the unconstrained queue where more dynamic teamwork is required, but a lot of players prefer the role queue where they can expect certain meta styles. I think both are perfectly valid ways to play the game, and this approach might be a good example of ways we might be able to handle these varying expectations in a more general way.
Didn't stuff in the 80s have the ability to express monads, but nobody had yet realized that they were useful?
For many, the point of a PDF is that it appears the same way in all contexts. For device-dependent rendering, we have HTML.
It doesn't. There is a backup keycard you are supposed to have on you somewhere.
Usually I will just add the same sort of thing at nested levels.

Thinking on it more, the purpose of the `#{` `#}` is to denote "This comment is relevant for this section of code"
That's a really strange assertion to make. A corporation the size of Spotify giving that much leeway to individual employees on a major business relationship like this is basically unheard of and fairly implausible, and these sorts of things have been going on in a calculated, intentional manner for over a century in various forms of publishing.
Build - you get an executable, which is true. Run or Played is a different thing.
There was a time when contributions were welcomed by all with trust in the community to weed anything without backup out. Those days are long behind us.
Why can't we have a government-funded system that pays out to any whistle-blower some proportional amount of money (proportional to the damages they prevent)?

This would align the incentive system very quickly!
seems like the usual workaround to this paradox is to start a new "alternative" ui and allow the original site to stagnate. wikipedia did this with their mobile site - on a desktop-sized browser, it's a vastly superior reading experience to the regular wikipedia, and was implemented with virtually no controversy or fuss because anybody who was going to get angry about changes just continued to use the main desktop site.