skysight-inc/HackerNews huggingface dataset:
Amica is a mutual insurance company, but the dividend is paid only if you're a mutual policyholder, as they now also offer non-mutual policies at lower rates, without the dividend. However, I believe the dividend is based on the company's claim payouts over the preceding 12 months, rather than number and types of policies you personally hold with them -- that can provide a discount on your policy rates, but not the dividend rate.

So I would expect a larger-than-usual dividend from their auto insurance this year, assuming their paid claims are less than forecasted.
Ask HN: Free courses/books during Covid 19 lockdown
Let's make a list of free courses, books, MOOCs, bootcamps.
Bootstrap needs a modern browser, but modern browsers don’t need bootstrap.

Seriously: 90% of the value of bootstrap was homogenizing browsers and making horizontal positioning easier. Both these issues have improved dramatically, with browsers converging and CSS Grid becoming available, respectively.

At this time, bootstrap offers little more than a somewhat more opinionated set of margins and other defaults than what browsers ship with, plus some higher-level components.
It's just your large FinTech company probably doesn't have goverment contracts and/or huge enterprises as clients.
Great question. They don't have to trust the compiler: after compilation, they use an SMT-based proof process to establish that the resulting binary matches the semantics of the C source directly. See https://ts.data61.csiro.au/publications/nicta_full_text/6449....
https://blog.xthreen.net
My blog is brand new, but will be used to document my journey in software and cybersecurity. While that will be the focus of the blog, I also plan to write some fluffier pieces to fill in and keep my writing skills sharp. Fluffy posts will still be industry angled.
Is it really formal verification if the type system is unsound? Due to undefined behavior, a "proven pointer-to-int" may not end up being a valid pointer-to-int at runtime. Even in Haskell, the type system is actually logically inconsistent (see http://okmij.org/ftp/Haskell/impredicativity-bites.html).
If you take the original code as the formal statement, how could it ever be wrong?
Hacky port of GrafX2 pixel art editor to the PS2 console
most of those are complementary color combinations. those are colors that are opposite each other on a color wheel. They can seem to “vibrate” due to the high contrast in different color channels (RGB). They are sometimes used for attention getting but are not suitable for longer text blocks.
In some ways, there is 'good disconnect' if the disconnect is that the academia merely informs your thinking, not your immediate actions. It shows that you learned the fundamentals in an insular environment that doesn't muddle them. If there is full disconnect, that is rough though
More likely it's because no one wants to pay to upgrade the hundreds of barely supported in-house apps their company has that only run on IE 11 in compatibility mode.
There is just something about a decades-old mechanical device that still works. I'm not sure any company made a smoother film-winding mechanism than Nikon, especially on the Nikkormat series.

And on the other side, you have the clunky soviet cameras, which one wonders how they worked in the first place, yet they still do.
I wouldn't have put Keynes and Hayek in the same group but I guess that's partly the point the author is trying to make. The 2 couldn't be more different from each other.
http://jeffrey.io/writings.html

I used it as a cache for people that I mentored a few years ago. The reality was that my writings were a way for me to form a coherent identity when I talk to people. A large focus on my career is mentoring, and so this was a stepping stone. Now, I just teach in the moment as things happen.
https://szymonkrajewski.pl

I write mostly about software and web development but I also share tips and my thoughts on other topics. I've been writing since 2017.

Most popular:

* https://szymonkrajewski.pl/why-should-you-return-early/

* https://szymonkrajewski.pl/why-you-should-use-array-function...

But I don't think they are the best, rather needed.
GitHub is having major availability issues these past couple of months. 4 incidents in Feb, 4 in March and 2 in April so far.

Source: https://www.githubstatus.com/history

I look forward to reading root cause analysis promised by Nat in Feb: https://twitter.com/natfriedman/status/1233079491204804608
Opinion: The Evil Genius of Coronavirus
Back!

https://jekyllrb.com/

"13:37" https://www.githubstatus.com/incidents/f3xzj5fgfq5b ;)
Only those pushing for WebAssembly as if it was the best thing since the Web came to be.
I have a couple blogs, and a couple wikis, all written by me.

But, for starters, https://junglecoder.com

Why is it awesome? Because I write about things that I find _very_ interesting. Highlights include an article on Factor, a retrospective on 8 years of side-projects, and a poem about trying to debug code late at night.
We all evaluate if the click trough is worth it based on the title, and in this case looking for tips on success, not starting (the easiest part).
Of course, and they can get all the hate they can for this. But for the stuff they did 40 years ago? Somehow I feel like that's water under the bridge at this point.
Email provider got hacked, data of 600k users now sold on the dark web
There might be a reason why example.org was chosen for documentation purpose.
Nadia Calviño.. I read that name recently. Oh wait

> "Europe must respond united to the crisis," Nadia Calvino said in an interview with radio station Onda Cero. "I don't give up. We still think that, eventually, there must be a system of debt sharing, be they eurobonds, coronabonds or reconstruction bonds."

https://www.nytimes.com/reuters/2020/04/01/world/europe/01re...
https://0a.io/

I write about death. (Also have had explanatory articles here and there too)

I plan to write more about death and liberal arts stuff in years to come.

some notable past articles:

* https://0a.io/chapter1/calculus-explained.html (2014)

* https://0a.io/chapter1/boolean-satisfiability-problem-or-sat... (2015)

* https://0a.io/chapter2/yc-interview-screwed-up.html (2018)

* https://0a.io/chapter2/death.html (2019)

* https://0a.io/chapter2/death1.html (2019)

[the death series currently go all the way to 4]

* https://archy.sh/post/metamodernism-in-a-Canton-Dance-theatr... (2020)
I assume they’ll want to use css variables, so probably it will be completely broken.
Here is an excerpt from Milton Friedman:

Fundamentally there are only two ways in which the activities of a large number of people can be co-ordinated: by central direction, which is the technique of the army and of the totalitarian state and involves some people telling other people what to do; or by voluntary co-operation, whch is the technique of the market place and of arrangements involving voluntary exchange. The possibility of voluntary co-operation in its turn rests fundamentally on the proposition that both parties to an exchange can benefit from it. If it is voluntary and reasonably well informed, the exchange will not take place unless both parties do benefit from it.[1]

You will see a similar disclaimer in any bit of free-market libertarian thought, because you can't have voluntary exchange without informed consent.

If transactions without informed consent are taking place, it is easy to argue that someone's property rights are being violated. Any libertarian since John Locke will tell you that protecting your rights is the first and foremost job of government[2].

[1] https://oll.libertyfund.org/pages/friedman-on-capitalism-and...
[2] https://plato.stanford.edu/entries/locke-political/
Nabla is correct and the prior two commenters are wrong. Although many people think that arbitration clauses are unenforceable, in fact they are completely and totally enforceable under US law in every state. When you take your [service] to court, it will get kicked out immediately and your dispute will be adjudicated by an arbitrator usually chosen by and paid by the [service], and that will be the extent of the justice available to you.

https://en.wikipedia.org/wiki/Federal_Arbitration_Act
Not only start a silly cryptocurrency but got into the mining hardware business [1]. As a number of family members were and are lifelong photographers, seeing Kodak's long fall from grace was particularly hurtful for nostalgia's sake.

[1] https://www.engadget.com/2018/01/11/kodak-kashminer-bitcoin-...
What about free software?
Maybe Normalizing Isn't Normal (2008)
I could believe it...of course that probably means 8x inflated CRE agents/brokers too.
That was on February 24th, a full week before there was a single case in NYC. Promoting local commerce before the virus reached that area seems pretty far from denying the level of risk presented by COVID-19 on a global scale.
Google tests hiding Chrome extension icons by default, developers not amused
https://morepablo.com

Some tech, some culture, some of my life, whatever was interesting to me that day or few days. Have some favorites/highlights on that front page.
Yep, it looks like it is back up again! And, thank you!
https://blog.kovah.de/en/

Main topics are web development in general, Docker, PHP and other tech stuff. I do not post regularly but try to write a new article every now and then.

Most of the articles are about very specific problems, like mirroring private repositories to Gitea or how to setup DNSsec with Cloudflare and INWX.
Currently writing a guide on how to install YouTrack on Synology Diskstations.
I'm even not sure what an average experience on IE11 would be for any users.

I push as much as I can to POs / stakeholders to just disable non-critical features on IE11 and just leave the basic functionality.

I doubt anyone using IE11 likes that fact, so sounds good to give them just another reason to complain about their experience to their superiors. I will definitely never see "The product that just works on IE11" as a slogan, so being competitive in this won't be reasonable argument.
Show HN: Coronamaison, Covid artist challenge with 1000 drawings
I’ve always wanted to build a MAME cabinet. Do you have any good resources you could share on how to build one?
Either I will be able to show it to my child, or SEO her name so when she searches it one day, she will find it.
Real humans are much better than dummy virtual people to interact with.
Racist? Toward whom, Irish? I'm sorry, not from the anglosaxon world, I know britain put Ireland under the boot centuries ago, but is calling all of that's effects a form of enslavement deragotary toward Irish?
https://news.ycombinator.com/item?id=22795358 (57 comments, 20 hours ago)

I think the general view is "some ministers in Spain would like to implement UBI"

How that works, especially with freedom of movement from the rest of the EU, is anyones guess
>I can't imagine any hospital or doctor careless enough to connect one of these to a patient, even in this current emergency.

Well, you can choose death, I'll choose life.
Swag Management Platforms
Any language that arranges data in arrays or large structs does well on modern machines, especially with vector and SIMD extensions. To be fair to Forth, there exist machines that are well-suited to running "threaded code"[1], it's just that they are not machines that are commonly available today.

[1] "threaded" has nothing to do with multithreaded: https://en.wikipedia.org/wiki/Threaded_code
How is Netlify's CLI spyware?
Steps to keep remote development teams secure
Specifically, back people loot.

https://www.aclu.org/blog/smart-justice/mass-incarceration/b...

https://www.snopes.com/fact-check/hurricane-katrina-looters/
> There are all sort of perverse incentives built in to erode educational benefits, hand hold students, make university 'fun'

This blog may be relevant:

https://professorconfess.blogspot.com/
https://mitchum.blog/

I make JavaScript game tutorials to help people learn programming and have fun doing it. I also write about programming in general and random other stuff I find interesting.

You can find the game tutorials here:
https://mitchum.blog/game-tutorials/
If you read the Globe and Mail (Liberal) and National Post (Conservative), you'll see a similar -- though not quite as extreme -- phenomenon.
>but as providing the "college experience".

Schools maybe didn't say it as blatantly, but I think that's been a/the selling point since ... you had schools you went away to.

I'm not convinced a huge % of students value outcomes until ... it is time to face them.

If they did I think I'd see a lot different choices by students. That's not recrimination as much as a recognition about how folks make these kinds of decisions / choices.
While I agree it's a core element of Metroid, and I completely understand how it would bother many fans, but for me this is one of the less-essential aspects of Metroid. But it's possible that much of my initial enjoyment was because I had played Metroid Fusion before that, which is much worse as a Metroid (while still fun as a game).

It could also be because I got 'hooked' on Metroid because of Metroid Prime, and IIRC that one also was a bit more linear by virtue of the hint system.
While I think it is dead now, the 3Com Audrey was another gadget that was hacker/user supported and lived on long after its official demise. A mini (mostly) functional web terminal was a pretty novel thing when it was released.
As a contra dancer, I'm thrilled to find this! Your Bleach blog post is also very handy, and I'm looking forward to exploring more.
One of the metrics in league tables is % 1st class degrees (and it's not reverse weighted, as one might hope).

Gaming league tables drives almost all management decisions in UK universities, because it so directly affects the bottom line.
> Boarding schools have always been for a minority

I sincerely doubt this. I’m not sure if my father’s school had day students when he attended but boarders were definitely a large majority. The omnipresence of boarding schools in post WWII British fiction doesn’t make any sense unless there was at least rough parity among independent schools. CS Lewis, George Orwell, Roald Dahl, off the top of my head. Seamus Heaney after looking it up.
So Honda has got around uv from the sun fading paint?
You're not practicing with us. You're practicing with peers, find your weaknesses, work on them, and try again next time.
BEP14 is totally irrelevant to the discussion here. It's only for finding peers in a local lan, not for distributing payload via multicast. The latter is and always has been via unicast.
One way to solve this is to not ask customers to trust blindly.

For Webex Teams, the customers can run their own key management server[1]. Traffic gets decrypted using customer-controlled keys running on their own hardware.

For Webex Meetings the media traffic can be encrypted end to end[2]. Of course it breaks all cloud-based features (network recordings, transcriptions, join via web...) but for some users that is the better choice.

[1] https://www.cisco.com/c/en/us/td/docs/voice_ip_comm/cloudCol...

[2] https://help.webex.com/en-us/WBX44739/What-Does-End-to-End-E...
> So many of my undergrad classmates (perhaps even a slim majority) believed that undergrad was going to be the best 4 years of their lives and they had to make the most of them, which I personally found completely insane.

For people who don't neccessarily like working (i.e. for most people), school and college are usually the best times of lifes. It's just that it's hard to appreciate that when you have no point of reference. My parents and aunt had this wisdom and, while I was a child, told me "enjoy yourself now, because it will be all downhill from here".
"With great power comes great responsibility"

it's an ideal, not a metaphysical necessity. But we need to enforce the ideal because otherwise the powerful use their power to their interest and against their detractors. It is absolutely essential to hold them responsible for their decision making process if we value life in a liberal democracy or a classical republic. They cannot get every decision right, but they must at least get them wrong for a fair reason.

Otherwise it's just "personal responsibility for the many, riches and fiefdoms for the few"
https://refruity.xyz/

It is small yet, only 2 articles, but I plan to write more.
It is about building stuff (for example dicsord bot with speech recognition) explained in simple terms and with detailed steps.
Weird, I'm genuinely curious how this recommendation got a downvote.
I wonder if Medium would get included in the index.
> It seems to me the government should be involved in almost every transaction.

Depending on your definition of "involved", every libertarian I know would agree with you.

Most people's conception of libertarianism is a massive straw man. I promise we are not as insane as you've been lead to believe ;)
The 5g internet hypothesis in the video description is carnal conspiracy. But the doctor's words are apt.

Perhaps you can reupload it without that BS tacked on, exploiting the doctor's sage commentary.
I remember thinking "Once IE6 is dead I'll never complain about browsers again". IE11 is still pretty fantastic compared to IE6.
> If you’ve created an account on HN, you’ve agreed to arbitration.

Thats is not true. I just tried creating an account, there isnt even even a mention of any terms of service.
Late reply but...

> How does a git user become a fossil user

You just need to download the binary and start trying it out. Check out the Quick Start: https://fossil-scm.org/home/doc/trunk/www/quickstart.wiki

A couple quick notes to help smooth the learning curve:

- There is no “staging” step in Fossil. Doing fossil commit immediately commits all changes in all tracked files into the repository. If you need to, you can specify which file or files you want to be included in the commit.

- There is no selective “patch committing” in Fossil (i.e., git add -p in Git), reportedly because it facilitates check-ins of untested code. So, if you’re in the habit of making unrelated edits to code…stop it!

> is it worth it just to switch webservers?

Depends on your priorities for each affected project. I already maintain a VPS as a web server for my various websites, so putting Fossil on it was an easy step. There is also Chiselapp.com if you don’t want to maintain your own web server.

There is also the fact that it’s just not git. Unless your project is extremely popular, you aren’t going to be getting “drive by pull requests” from anyone. The bar for participation in your project is going to be much higher since most people just aren’t familiar with Fossil. Depending on the project this could be a good thing or a bad thing.
His "banging of the drums" was literally spreading conspiracy theories. I think that it is fair to criticize him for unscientific fear mongering.
https://www.nytimes.com/2020/02/17/business/media/coronaviru...
"as there is no reward except growing Google Analytics numbers." = there's a feeling of importance that comes with sharing the things you may know, so basically you do it for the ego (and not in a bad way).
Dealing with stress, anxiety and grief during Covid-19
Isn’t one of the central selling point of UBI that it would replace the existing welfare state with one single payment? What’s the likelihood that countries that implement this just tack it on the existing welfare state as yet another payment? I’m putting that is almost a certainty.
Escape is self-hosted system
It silently and without even first-run notification transmits your usage data without consent, pretty much the textbook definition of spyware. Netlify considers your agreement to their TOS (at account creation time) to be your opt-in to them silently spying from within your tools.

Until I complained, it even transmitted a telemetry event on the user’s explicit opt-out of telemetry.

More info: https://github.com/netlify/cli/issues/739
Presumably it would be citizens rather than residents.
Everyone spies on everyone. Governments know this. The necessity of using home grown communication is obvious.
Having a shared debt but not shared fiscal policies across the board. What could go wrong.
Do you need more empty MiniDiscs? I just found a new, in-wrapper one the other day at the bottom of a box of electronics as I was searching for N64 games :)
That's totally fair.
https://peterklipfel.com

Remember when you were first learning to code, and everything was really hard? Things didn't fit together, and understanding why one tutorial worked and another did not required reading at least 3 other tutorials?

Well, that's where I'm at with biology. I'm trying to track things that are interesting to me in order to maybe help someone else one day see the path that I walked from 0 to knowing how to do stuff.
> History is history

Except PRs, bug reports etc. can't affect the runtime behavior of your program, only code can. There are many times when I am looking through a dependency's history to see "what changed?" in order to decide if I want to pull a new version, and the ONLY thing I want to look at in that case are code changes.

> Furthermore, why should PRs, bug reports, and build artifacts not be able to refer directly to source objects and revisions, and vice versa?

I do that all the time in GitHub today.

I certainly understand wanting that auxiliary data to be versioned, and I also understand wanting it to be in a portable, distributed format like Git. I just definitely don't want it cluttering up the history of my code

Also, security is a big deal. I often want to allow pretty much anyone to open a PR or an issue, but I don't necessarily want that now to be part of the repo every time someone clones it.
It depends on what type of object you're using in pandas as well as whether you ever need to use a User Defined function e.g. pd.Series.map. Crossing between python objects and C objects is incredibly slow, and python defined UDFs will usually run at python speed.

In most of my projects I'm unable to avoid using a udf/python data manipulation at some point.
State and federal funding can be tied to increases in enrollment, 100%.

My current institution was founded on the principal that 33% of funding came from the feds, the state, and tuition. Now, it is 5% federal (excluding PELL grants), 11% state, and the remaining amount is tuition and PELL grants. Our incentive is to get as many students as we can, otherwise we close the doors.

If you want higher education to stop its sleazy processes, we need to fund it appropriately via tax dollars. It's a lot like people who want abstinence education, in my opinion. You can want people to do the right thing all you want, but at the end of the day, people are going to bang, so you need to set them up with the birth control they need. You can want institutions of higher education to act altruistically all you want, while cutting funding, but at the end of the day, they're going to do what they have to in order to keep the doors open.
I'm fortunate enough to be in the B2B where our customers are generally less tech inclined so we can actually say "You really shouldn't use IE, download this." and they actually do it. And our customers customer's are even less technically inclined, and they do it too.

Some even come back with feedback "Hey this other stuff works now!"

I like to think we're helping make the world a better place ;)

Granted while the leverage is nice, supporting those customers can be a bear.
Some 2 years ago Io got a new way of defining setters, which allowed for implementing destructuring bind ([a,b,c] := someTriple). It took me the better part of a year, but it was very rewarding. I put a write-up on my blog, which might be of interest if you'd like to know more about Io interpreter internals:

https://klibert.pl/posts/adding_destructuring_bind_to_io.htm...
UEFI forth sounds like a really cool project. Also cool to learn FASM has an easy way to generate efi executables.
Behind the Scenes of Folding Home:How to Fight a Virus with Distrib. Computing