skysight-inc/HackerNews huggingface dataset:
I wonder how many of these ancient legacy systems are content to stay on IE because everyone coddles them with support? Chicken and the egg kind of thing. Why invest the time and money to modernize if devs will bend over backwards to keep them on life support?
I specifically mentioned in my post that problems related to _proof search_ are undecidable. Coq's tactics for proof search are unreliable. They rely on timeouts and tend to fail ("omega can't solve this system").

So you're not arguing with my post.
I'm confused, article said Microsoft bought it. Not google.
See, without caring about its looks, I like this website.
It gives some context, some explanations and helps me to know why I should care about this.
It also provides some nice content to explore, some pointers to find out more. I just love it and I wish there were more websites with content like this.
In general I agree, though every gaming community is a bit different. Personally I'm keeping my kids off public online communication in particular, but I do want them to have that communication option with IRL friends and family when they go online.
It's definitely a security flaw created by Microsoft.

A default/pre-filled value should be an acceptable value to use. By prepopulating "Corp", they implied that it was an acceptable value their customers could use.

What else would you think a prepopulated value would mean?

Fixing a flaw this big for what we assume is under $2 million seems like a bargain.
Somehow the large FinTech company I work for dropped support for IE 11 and just asked employees to use Chrome. Even users still on Windows 7.

We run a few customer portals and a customer facing ticketing system. Until now I’ve never been able to rid myself of IE 11. It’s very nice. Small banks aren’t so happy.
ESA Sentinel-5P air quality data during international lockdowns
https://basicbands.com/

It is my side project, a blog about watch straps.

You should read it because the world of custom watch straps is actually pretty amazing and full of really cool artists doing leatherwork. If any of you own watches and want a new strap, check out my list of custom watch strap makers: https://basicbands.com/list-of-custom-watch-strap-companies/

The work there is incredible, and its a lot of fun interacting with and interviewing artists. I realized after I started how small most watch strap companies are. Its a very pleasant side project that bring in about $200 a month (mostly through Amazon affiliate sales on watches).
Long time lurker but registered to post. https://www.bryanleetc.com
I transitioned from a frontend developer to product manager. My posts are a blend of frontend and product management posts.
where can I find more about the GTO strategy? Is the algorithm public? Thanks.
http://theprogrammersparadox.blogspot.com/

Nearly 15 years of writing about most aspects of software development. Not really awesome, but it is my attempt to make some sense out of 30 years of software development.
Lossless Image Compression Through Super-Resolution
Some pedantry is in order – withered and weathered are different words.
Digital Emotion Contagion
Still a beginner, but in the two preludes I'm playing the phenomenon I'm using as an analogy is called "resolution," (https://en.wikipedia.org/wiki/Resolution_(music)). It happens most notably 8 bars from the end of BWV 999, and in every every 4th bar in BWV 846. We sense it as a kind of "relief." Everyone uses it, but I used Bach as an example (instead of say, pentatonic blues or jazz) because he stacks a bunch of variation in before the resolution.

The rhetorical analogue is creating tension in the listener by adding parenthetical ideas (open loops), and then making them agreeable by providing relief by "resolving," them to your theme. The link to "kayfabe," is that the stacked story lines in the wrestling narrative create the same tension and consequent audience and participant submission by overloading our ability to track the individual threads.

Eric Weinstein said on Rogan that he thinks this is what the current president did to win the last election, and that he picked it up literally from his time in the professional wrestling world. I tend to agree with him on that one, and am sympathetic to his idea because it reflects dynamics in other areas.
https://paulstamatiou.com/

Been running this site for about 15 years now and while I don't post often it's usually long-form detailed articles on a broad range of hardware/software/tech/design topics that take me a few months of spare time:

Getting started with security keys (15k words) https://paulstamatiou.com/getting-started-with-security-keys...

Building a Lightroom PC (30k words) https://paulstamatiou.com/building-a-windows-10-lightroom-ph...

I also host my photography and frequently updated gear/stuff/software-i-use pages like: https://paulstamatiou.com/stuff-i-use/
> Supposedly, the free market should correct this when consumers stop buying the flawed product.

Any free market purist will tell you that all transactions must be both mutually consenting and informed. If these conditions are not met, it is the governments job to step in.
https://blog.frankel.ch/ aka a Java Geek

Mainly Java as I was a Java developer when I started
Now a lot of Kotlin, Spring Boot, Kubernetes, Testing, ...
> I only wonder how much of this process was a result of student demands for more parental oversight and involvement

Rather, parental demands like "we're paying for this, we want to know what's going on"...

And to be fair that position makes sense when parents put up hundreds of thousands of dollars.
Ditto but for the Pebble 2. I bought a few backups that I can continue using for a few years until something similar is released (week long battery life, easy to read always-on display, hacker friendly, etc).

I have my eye on the PineTime, but it has quite a while to go before it's usable.
Ask HN: What is your experience with the HashiCorp stack?
From the little experience I have with HashiCorp products they seem to be exceptionally well designed and documented. Outside of Terraform, I don't hear much about people actually using them though. Are you using the HashiCorp stack? If so, what's your opinion on it?
Not sure. At least in my experience, the people demanding that their apps keep working on IE11 are not the people who care about what framework we use to build the apps.
Code and Datasets we used are available at https://github.com/bhatiasiddharth/MIDAS
US also used German companies for spying. So I guess there is no escape.
You must not remember much about Microsoft in the 80/90s
You don’t need a full blown programming language for that, just a configuration language with some basic expressions.

Your example is fine, it’s certainly more pleasant than not doing it that way, but that’s not where the trouble starts: the trouble begins when you have conditions and loops and any non-trivial logic.

If you need non-trivial logic then it probably isn’t “configuration” and should be part of the normal codebase (and go through the same review and testing procedures).

I would also argue that if your system is so complex that you need a programming language to configure it, there’s something very very wrong.
And that's pretty reasonable. What else should they do? If you're replying in-line you almost never want to quote the entire original message - if its very long you'll want to delete the bits you aren't replying to and if its short it doesn't matter where it goes.
https://blog.isquaredsoftware.com

I'm a Redux maintainer, and primarily blog about React and Redux-related topics.

I'm particularly proud of my "Idiomatic Redux" series, where I've written multiple 6-10K word posts on the history and design of Redux, React-Redux, and Redux Toolkit:

https://blog.isquaredsoftware.com/series/idiomatic-redux/
What is irrelevant to one person is relevant to another. So by pruning down to what we think is important, we have removed context someone else added to the thread later may need. Long quoted sections of emails are ugly, but they do a great job of preserve the context for anyone to follow.
In Europe, or at least Germany, there are consumer protection initiatives that have standing to sue in such cases. They sometimes take up individuals’ cases, and even take companies to court preemptively for onerous ToS. Mobile phone companies have been hit by such lawsuits quite a few times. Similarly, there’s an environmental group that has forced several large German cities to implement (partial) bans of diesel cars based on EU pollution limits being repeatedly being broken.

The concept of class-action lawsuits isn’t as relevant here, and there is no such concept as “punitive damages”. The best you can hope for is a court order granting you whatever Igor is in dispute plus any actual damages.

Lawyers’ fees and court costs are also awarded to the winner by default, with a sliding scale for such fees based on the value in dispute. You can sometimes find a lawyer who will take your case if they are optimistic as to your chances, but of the cases I know, this mostly happens when the lawyer also has some ideological interest in it (say privacy or labor law).

There is insurance you can buy that will cover legal costs, but you will need to convince them of your chances in any litigation that you want to initiate (as opposed to being sued). There are also a number of non-profits that offer legal services for specific issues, typically in exchange for yearly fees: unions, tenants’ organisation, and even dog owners’ or RC airplane clubs.
He's misrepresenting Dublin intentionally to contrive the point that AirBnB and student accomodation are entirely the cause of the problem.

It's far more nuanced and complex -- involving tax laws, property dev incentives and planning laws and policy. None of which he mentions.
CandidateZip and Zapier integration to simplify resume screening
Genuinely curious to see a source for that claim.
http://www.anothermadworld.com

I write about programming and recently about Firebase. You would want to read it if you use Firebase or are interested in learning about it.
Mobile Design for iOS 13 – Skeuomorphic Components
Perfect marketing for 2020. Hope they'll reboot it soon.

"The drink's slogan was 'Things are going to be OK.'"
Spot on. I've worked in P&C and life/ health insurance, and really wish states would regulate life/health like they do for P&C.
One that isn't totally neurotic, presumably. Just to reiterate, I don't believe such an organization exists. But when trying to understand the plausible actions of even fictional characters or organizations, I try to imagine myself in their shoes. If I were in their fictional shoes, I would ignore the people who say I rule the world if those people are widely mocked and derided as insane by the general public. To do anything other than ignore them would be to risk giving them a sliver of credibility.
How will it prove that this new optimization does not introduce bugs? It's not like GCC is verified compiler.
I’m a big fan of TOML. It’s not perfect, but as a configuration format, it does the job much better (imho) than the alternatives.
At least a little? That's extremely hostile behavior to new users. I could see not shipping a lot of these things for a highly optimized server version etc. For a standard end user (and let's be honest, middle/large company IT dept guy), you should put some sane defaults in place.
Go on! ;)
>In reality, consumers aren't (and can't) be educated enough

this is a gravely serious statement. in America youre talking about a fundamental shift in the relationship between the governed and the government. many states would violently oppose the idea that the government knows whats best for you and should create laws for you backed by lethal force.

>US citizens would still rather protect corporate bad actors than protect themselves.

you missed the point. its not about protecting corporations, its about allowing personal freedom, even if that freedom includes suboptimal results. moreover, it is abjectly false that the government can simply do whats best for everyone.
Found this: https://stackoverflow.com/questions/41550727/how-does-docker...

And:

https://dockercon.docker.com/watch/U7Bxp66uKmemZssjCTyXkm
Founder Advice with Jessica Brondo Davidoff, Managing Partner, Sprezzatura
If it required a custom plugin, what was significant about playing it in a browser?

To me, the appeal of a browser game is that it is contained and you don't have to worry about malware.

(Notwithstanding the occasional vulnerability, but those get fixed.)
I wonder if multicast could be reclaimed as a layer in application-specific overlay networks. E.g. if a videoconference tool wanted to join a session, it would create stateless IP tunnel to an access point, and then just run regular multicast RTP over that.

It would allow to use existing tools and infrastructure to scale that and remove forwarding and distribution from applications to a common layer. But it has a disadvantage that there is no common API for applications to setup ad-hoc transient IP tunnnels, as that is usually a privileged operation.
I have a hobby of trying odd sodas. This one was on my list with New Coke, Crystal Pepsi, Surge and Orbitz as things I'd never get to try.

That list has gotten smaller over time as Crystal Pepsi and Surge got mass rereleases, and New Coke got rereleased last summer.

Orbitz I believe said that they no longer have the machinery to make the balls but I have no source on that.

Come on Coke, rerelease OK Soda. Tie it in with OK Boomer for all I care.
Well you'd not catch me dead using Windows to be frank. MacOS has the best offline TTS available to consumers right now, so that's what I use for TTS.
Then you shut down the servers and move on. You got the ad dollars at that point, what do you care?
IE 11 legacy support is a dream compared to having to support IE 8 and lower back in the day. The JS engine on IE 9 was about 10X faster than the one on IE 8.
Not the best time for GH pages to go down :(
GitHub Pages is down
Well, there are other examples - to me, Bohemians are my nation, to English people, "bohemian" describes behavior that used to be seen here (and way overblown in catholic-driven news sources at the time - Prague people were protestant) during the Middle Ages
Quoting a lot of studies makes a great impression, but it's only worth it if you're not cherry-picking. Have you read the actual studies he's quoting? I did. Well, I read the first 50 or so. More times than not, they did not give what he says or he is interpreting the result so it matches what he likes them to say. Many are done badly. Many studies are done by hardcore vegans or animal right activists. He quotes the same studies multiple times, adding another references each time he quotes it again (making a great impression!).

A vegetarian diet may be the healthiest there is - I don't know. But Greger is biased for sure.
> Pirko told host Noah Adams that OK tastes “a little bit like going to a fountain and mixing a little bit of Coke with a little root beer and Dr. Pepper and maybe throwing in some orange.”

This is consistent with my memory of the taste. I think I only had one or two cans in my life. The taste was adequate, but not truly compelling.
This first processor is very simplistic, it can do just one logical thing... Addition

That's a very good place to start, because historically, computers evolved from calculators.
I completely agree. Another heuristic which has helped me in research (and I owe to my supervisor) is to break the problem down to the simplest set of elements which mimic the problem or mechanism or physics of whatever needs to be solved. This helps me stop panicking.
Promising Drug on the Horizon for Covid-19
80s were literally 40 years ago at this point. How many of the original employees are even at Microsoft at this point? At which point complaining about Microsoft's actions decades ago will be the same as complaining about Bayer making chemicals for the Nazis - as in, relevant historically, but not very relevant at the present?
As everything is wont to do.
I've definitely bought floor models before, and for the guitar it was fine. I was worried about what abuse the floor model amp may have been through, though, and neither item would come with all of the extra stuff (manuals, tools, etc). The 5% off felt like an insult after the BS I went through, and I didn't want to stand around waiting while they wrestled with the system to apply it, either.
https://unicornify.pictures/

source code: https://bitbucket.org/balpha/go-unicornify
Higher education is merely one face of Cost Disease; we've seen similar trends in medical care, transportation (especially US subways), primary education...

Slate Star Codex [1] has a good overview, but doesn't provide a solution (instead only providing some good evidence that rejects some hypotheses).

As far as I can tell, the single biggest driver of Cost Disease is labor, but not salary: it takes more people to deliver the same services. This in turn is driven by market failure:

- The signaling component of higher education is zero-sum, and infinite loans and foreign capital mean not enough few consumers make college decisions based on cost

- US states have shown insufficient teeth in enforcing caps on construction budgets; overruns are expected meaning the bidding process cannot actually cause cost savings. And the days of private light rail companies competing against each other are long, long gone.

- Primary education's cost growth has been concentrated in areas that are not teaching - administration and bureaucracy. There is, of course, no meaningful cost competition at all in primary education.

All of these carry the caveat that we used to be able to get these things for cheaper, and e.g. primary education was never traded on a free market. So what happened? Was it inevitable, and merely took time?

If anyone has other ideas, please let me know. I would love to vote against cost disease and call any politician who will listen, but I don't fully understand the problem, let alone have a solution to offer.

[1] https://slatestarcodex.com/2017/02/09/considerations-on-cost...
https://www.kharekartik.dev/
I started this blog after getting inspired by Richard Feynman's principle of being able to explain complex topics in a simple manner. My aim is not to make money from this but just help fellow distributed systems developers and most importantly myself, in gaining a deeper understanding of the systems.
Yes! A sugary drink that has no nutritional value - which is shit for the human body - is a great product! // sarcasm [1]

Jesus, the twisted logic of this current system that encourages excluding-enclosures (proprietary 'recipes') is so damaging to humans as well as to the planet.

[1] https://www.youtube.com/watch?v=N4kvX1kgJ8Q
There was a way to use a coke soda fountain to make something that tasted shockingly like Baja Blast. It involved Sprit and Blue Poweraid from what I remember. There may have been one more ingredient.
Install NoScript, it makes the web far more usable.
I think it is the best four years of life for many (maybe most?) Americans at least. But I think that speaks to exactly what people are saying in this thread. It's not about education anymore, it's evolved into a four-year time-of-your-life experience that through a fluke of history gets supported by guaranteed loans.
http://mischeathen.com

It's mostly thing I think are interesting, with occasional longer form pieces of creative nonfiction or book reviews.

It's old -- 20 this year -- and all the archives are there, too.
Firefox 75.0 Release Notes
The entity being sued here is the same one that commissioned the design work.

If you're not in the loop, do note that the "Atari VCS" referenced in the article is not the original 70's console but a recent, crowdfunded console that has nothing to do with the original Atari except trying to capitalize on brand nostalgia.
Here's a specification of an increment function in Isabelle/HOL, the theorem prover used for SeL4, plus some other random lemmas about it:

theory Scratch
imports Main
begin

fun increment :: "int ⇒ int" where
"increment x = x + 1"

lemma increment_increments:
shows "increment x = x + 1"
by simp

lemma double_increment_adds_two:
shows "increment (increment x) = x + 2"
by simp

lemma increment_sub_1_is_x:
shows "increment x - 1 = x"
by simp
While it has some wrinkles, i must say that i have generally much better experience with SIP tools than with a current wave of WebRTC tools.
Is there anywhere on your site where I can see a complete list of your reviews in one place? I like your essays, I occasionally do the same thing and I think it has made me a more attentive reader.
https://pomb.us/

I'm experimenting with new ways to display code in time.

See:
https://pomb.us/build-your-own-react/

There's a new post coming out this week. Sneak peek:
https://twitter.com/pomber/status/1246080226779631618
https://toddbryant.dev

I was a developer and then moved up through management in various companies. I have worked for startups losing money and public corporate companies that made a lot.

I retired a couple of years ago from it all and now I am a small business and startup coach in Nebraska. I focus mainly on scaling the business and leadership skills.
that is an absolutely fair critique of my word choice. Totally agree, and I'm usually the person making that comment.
If you think your mirroring/deployment ops will be better monitored and more robust than Github's ops ;)
Is this a april fool’s or where can I buy it and give to my managers?
We are https://www.adaltas.com

At lot of efforts was dedicated to build a fast and clean reading experience with Gatsby.js. We mostly write about data related topics including Data Engineering, Data Science, infrastructure and cloud computing.
https://theandrewbailey.com/

I usually write about whatever game I've finished playing, but sometimes write something mildly funny, surreal, or sarcastic. Other times I write about some nifty piece of code I just wrote, or improvements to the blog itself.
I think the implication is that, to quote Eric Weinstein from that Kayfabe article, "economic theory ... currently uses as it's central construct a market model based on assumptions of perfect information."
SEEKING FREELANCER | Remote | Florida, USA

We are a web-based software company seeking a part-time remote freelancer who can help us build new features and provide backup support to other developers with bug fixes as needed. This would be a long term, part-time role for a senior developer.

Skills required:

-Python

-Django

-Vue.js

-Wagtail

-Heroku

Knowledge of the following would be helpful:

-Finance

-Real Estate

-UI/UX

Email: hn@porter.33mail.com
What is all involved in being a 'co-creator' of something like the Xbox? I realize it's a huge project but Rob Wyatt's name isn't even mentioned on the Wikipedia page.
This might result in another fallthrough scenario though, wouldn't it?
>this is a gravely serious statement. in America youre talking about a fundamental shift in the relationship between the governed and the government. many states would violently oppose the idea that the government knows whats best for you and should create laws for you backed by lethal force.

You sure about that? The FDA, USDA, CPSC, FCC, FAA etc all exist already.
I don't know.

Meaning that in this case the MS customers are not "end customers", they are highly specialized (in theory) and highly paid (in practice) IT specialists setting up (part of) a complex (and security sensible) corporate network backbone such as Active Directory.
I used edge for a while when I did a fresh install of windows and was too lazy to install anything else. It was overall fine but had a few issues that annyoed me. For one a ton of sites or malls would block me from using an "unsupported browser". I'm sure the sites would have worked just fine, and that it was lazy whitelisting of UA strings and not Edge's fault itself. It also still seemed to crash a lot for me, although not as much as when it was first released. And, of course, there was that article posted on here a few weeks(?) back that mentioned how edge has the most intrusive "telemetry".