skysight-inc/HackerNews huggingface dataset:
Soteris (YC S19) – hiring employees #3-5 in SF to lower insurance pricing
Hi - my name is Sunit. I founded Soteris because the way insurance rates are currently set results in massive inefficiencies that increase prices for policyholders like you and me. From years of experience, I know for a fact that a machine learning approach is orders of magnitude better than what the largest insurers do - and our customer list is proof of that claim.

Before Soteris, I built a $750 million property and casualty (everything that’s not life or health) insurance company from scratch, out of a $16 billion hedge fund called Pine River Capital. This gave me deep visibility into how insurance works, through which I saw firsthand how much of the insurance value-chain is terribly outdated and littered with processes that might have made sense in 1920 – but are way past their prime in 2020.

These inefficiencies lead to increased prices for policyholders, and they can all be solved by better use of existing data, so I started Soteris to do just that. In a short time, Soteris showed its first customer that our software could solve these problems to the tune of more than doubling their policy profitability. They plan to drop rates for at least 80% of their applicants as a direct result of the efficiencies Soteris’s software provides. I think that’s pretty cool.

Soon after, Soteris signed two enterprise production contracts providing almost $1m in contract revenue - at which point it was still just me at the firm, so I started to build out the team from there.

Today that team is two PhDs with over 20 combined years of experience deploying algorithms in financial markets. We just raised a large round from a number of top investors, including YC, Amplify Partners, Khosla Ventures, and Data Collective. Combine that with a lot of early revenue and a low burn rate, and we have a long, ample runway to execute our mission. What else would you expect from a team from finance?

WHAT YOU’LL DO

We’re primarily looking to build the team along two verticals: machine learning and back-end infrastructure. We work in Python, but the specific toolset you’ve used is less critical than your ability to adapt. You’d be doing the following:

* Defining our technical strategy and direction during a critical period in our growth

* Helping build and maintain our cloud infrastructure

* (ML specifically) Building the algorithms we use to produce the output and analysis that we feed back into customer workflows, including data exploration, model selection, hyperparameter tuning, and iterative analysis

* Creating data processing pipelines to simplify the onboarding and normalizing of highly heterogeneous customer data sets

* Establishing the coding standards and agile and collaborative engineering culture and that will allow the whole team to thrive

* Setting up our processes to optimize the accuracy/speed-of-delivery tradeoff as you see fit (e.g. unit tests, automation, our code review process, etc.)

* Working with clients to understand requirements, formulate use-cases, and build pragmatic solutions

If you’re interested, please apply here: https://www.soteris.co/#careers
I have a feeling PyPy isn't running the string conversion at all. My Java version didn't without using a trick to prevent dead code eliminaton
Looks like a great release, thank you.

OpenBSD is one of the last really good choices for an operating system, in my opinion. Redhat, the pretentious gnome developers, canonicals latest folly, proliferation of systemd cancer (homed being the latest abomination)... All these things take away from the user's freedom.

I hope OpenBSD continues for decades to come.
What the German court argued wasn't that intelligence services cannot exist, it was that blanket surveillance of foreign individuals is not legitimate, including for example journalists which we grant protection in particular.

What our court is arguing is that these rights are cosmopolitan in nature, not that they're unlimited. What I think is irrational is that the German border (or anyone's border) delineates those rights. To say this surveillance is justified because the services and the nation state exists is circular. The question is why we let tribalism determine whose rights we defend in the first place.
Re-write linux in rust? Good luck with that.
Kindof.

We provide massive subsidies to farmers. Then the farmers give us food.

But when we provide massive subsidies to ISPs, they don’t invest; They just spend it on executive bonuses and stock buybacks.
OK, so a reason why this file might reflect reality is that some automatic system wrote the file and subsequently successfully ran sysctl -p, but there are dozens of reasons why the file and reality would differ. The only source of truth is sysctl(8) or reading files in /proc/sys, and these are the values that need to propagate to observability systems and decision-making.
Joe Rogan moving podcast exclusively to Spotify
Nope. Wine?- have not tried.
Nautilus has some integration, which is mostly not usable.
Note: You shouldn't use int, unsigned int, char, short, long. Use int16_t, uint16_t, uint8_t, etc (or their _fast equivalents) from stdint.h.

The former's sizes change based on platform, cpu, and compiler; the latter are fixed-width (or flexible, where _fast may use a larger size if it's faster).

I started brushing up on my C recently and have been collecting these little nuggets: https://gist.github.com/peterwwillis/53cd9d34d8755784e483790...
These affected customers will be contacted in the next few days. If you are not contacted then your information has not been accessed.
> most people here

I highly doubt that.
It works really well across all of my devices and operating systems (and will continue to do so as those systems change).

I’m glad keepass exists, but I’m happy to support polished software in this domain. I like paying for software I think is really good and focuses on a narrow problem.
One of the biggest criticisms against MS was not releasing sooner.

Now there’s preview and dev versions of every single major product. It’s awesome.
Even moreso than just a one person ranking, being able to have a team sign in, and different divisions and functional groups rank and prioritize their needs, and having it roll up into an organizational score. That is a place where you could monetize. https://www.scoutrfp.com/ and https://www.loopio.com/ play in this space.

There's also the side of vendor management once you do make a selection. Even a service that manages and negotiates for you. https://www.vendr.com/

Do you have a page planned for https://carta.com/ and the like?

Or talent sourcing? https://gocatalant.com/ https://www.hellogustav.com/ https://www.lever.co/ https://www.hellobonsai.com/best-freelance-websites

Smaller tools as well - https://www.privacytools.io/

Once you get bigger, a single page playbook of all the best choices would be great https://www.hellobonsai.com/best-freelance-tools
Self service moderation which serves as training for machine learning algorithms. Perhaps a system where messages aren’t whitelisted for the entire platform by default but instead must pass scrutiny as a canary. At first you could seed this with employees for users with no audience. During this time the sentiments of those who view the message are used to determine if wider distribution is desired.
It is not that hard, I followed a Youtube tutorial and about a week later things clicked in place for me. I am glad I put the effort because I feel that I've gained a skill that will change my approach to money for the rest of my life.
Maybe _your_ brain can, but mine can't.

To somebody with APD, it sounds like science fiction, although it does require more suspension of disbelief than faster than light travel or teleportation.
AFAIK, Rust can panic on overflow even in release builds if you want it to, at a somewhat heavy performance cost (which is why this is not enabled by default in release builds). In this case, it would convert the issue from "some packets are unexpectedly being discarded" into an immediate crash within the kernel.
I think the idea for this is great, as it has the potential to save a lot of time and effort researching tools.

Some minor quibbles though.

I'm not getting any younger, and I find that the non-white background combined with the light weight of the font hard to read (Windows/Edge Chromium). I can't put my finger on it, I can't tell if it's the readability of the font itself or simply the weight. Text is a little easier to read on the purple background for the Summary section for some reason.

As a sanity check, I hopped onto the Wirecutter, which I frequent a lot, and they have a non-white background, but the serif font they use for the body text is a little heavier and much easier to read for my aging eyes.

For the Analytics article, I think adding screen grabs would help break up the monotony of long streams of text, and give people an idea of what the UI looks like for the product(s). One of the first things I look for on any SAAS landing page are screenshots, so I can see what the UI looks like. Adding screen grabs in your reviews would save some time for me.
I looked in to switching from GnuCash to Ledger about 5 years ago, and found that it would have been too painful to use for manually inputting the thousands of transactions I had because it just didn't have the nice auto-complete and GUI nicities that GnuCash had.

I'm a hardcore command-line and keyboard-only power user, so I would have absolutely loved to have made Ledger work for me rather than use the mouse-heavy GnuCash interface, but couldn't, and went back to GnuCash with my tail between my legs.

I'd still rather use it, so maybe I'll give it another try some day.
Holy cow, I never thought about doing that. I think there's a similar thing in Github, I'll definitely check it out.
I made a more serious reply about Microsoft's past behavior here:

https://news.ycombinator.com/item?id=23237643
Windows Terminal should support ANSI SGR 53 overline attribute · Issue #6000
The Windows Subsystem for Linux Build 2020 Summary
Didn't read yet, but I imagine it'll store the JIT'd code on disk for further requests?

This will be amazing when it happens.
We really need a new analogy - I assure you that ranchers care when they lose a cow.
New in Chrome 83
Forking libinput is unwise and would likely not be productive choice. The maintainer of libinput and the synaptics driver are the same person, and he has blogged several times about why the synaptics driver was a mess and was impossible to test and maintain. https://who-t.blogspot.com/2016/04/why-libinput-doesnt-have-...
I work in banking. Everything we do, that's easier elsewhere, is harder in banking, because it's a bank (regulated, money, etc).

Everything Facebook builds has to scale to billions immediately. Could be a contributing factor to why it took them this long to do this.
Graph Convolutional Networks made easy [video]
If only people had learnt from Pandemic 2...
To be more innovative, learn to identify and use obscure features
Is it possible to author a program that can determine whether a bill is "better" or "worse" for constituents, and whether it makes the city / county / state / country "better"?

How would you categorize pro life?

How would you categorize shipping all homeless population to another state?

My take on the purpose of this game, besides obviously for fun, is to get people more engaged with what's happening in politics, and who is responsible for what.

I don't think a program should tell people what is good and bad.

I think it's wonderful to give them the motivation to learn and draw their own conclusions.
Sequencing is a fundamental computing construct, not the exclusive preserve of imperative programming.
The 'do' notation in Haskell, function composition operators, shell pipes, data flow graphs are all expressions of explicit sequencing.

Imperative programming is about each statement altering a program's state, not the act of sequencing.
> Python is "slow", yes, but often the bottlenecks are outside of python, so it doesn't matter anyway.

It matters when it's just Python, onstensibly the only concern, when talking about Python performance.
I think the saying is that : 'data is not the new oil, it's the new uranium'
I added the "for modification" to reference the open/closed principle of object oriented programming. For many programmers the word open has everything to do with extensibility.

"Open and free" sounds like a great suggestion, maybe we could lead with that? Maybe I missed some discussion about that suggestion, I only responded to your remark about the word 'open'.
If you want to play the old SimCity again, 'Micropolis' is what you are looking for.

The easiest way to play it seems to be this website [1] but some Linux distributions actually have packages for it.

[1] http://micropolis.mostka.com/
Oh sure yeah, but I don't think it has any logic/constraint programming functionality.
IA Writer has a Windows version.
When you have a service which is acting weirdly, ideally I'd like to snapshot the VM, then do whatever I need to do to repair the service urgently.

That might involve making a new VM from scratch, but it also might twiddling some settings, or other emergency changes.

Afterwards, I want to be able to restore the VM state, probably in a firewalled off environment, so I can debug exactly what was wrong.

Sometimes I'd like to do it to a set of VM's - for example, if there is some DNS wierdness, I might want to snapshot an application server and a DNS server.

So far, no cloud provider seems to offer functionality to make that easy, which is a bit disappointing.
It's not really about syntax. It's about the execution model. Your second example might almost feel normal to someone with a preference for SQL, which is a declarative language.

Declarative languages don't specify (or minimize the specification of) the execution, imperative languages specify the execution. You can look at the verbs used in describing or verbalizing the language. In declarative languages you don't talk about "assigning" as much as you talk about relationships: "x is y", "x is related to y by f(x,y)", "if x is predicate(x) then y is z else y is z'". In imperative languages you do things: "x is assigned y", "for x in y do ...", "if x is predicate(x) then do y is assigned z else do y is assigned z'".

Additionally, statements/expressions in declarative languages can be reordered more freely (the "purer" the declarative language the more true this is), given that it tends towards the relational version. In a constraint based system, for example, you could do these in either order:

x in 1..10
x % 3 == 2
;; => x \in {2, 5, 8}

x collects these constraints and so the order is irrelevant (though practically many declarative languages aren't this pure so the order may matter for various reasons).
They are subject to their assumptions, but they also make those assumptions much more concrete. That makes them easier to version, critique, test and improve. The alternative is unstated assumptions minus the benefits, so what's to lose?
I think I understand where you're coming from; the way I see it, she isn't prejudging anybody, maybe if anything judging the people who fired her, but not those who will come after. She believes the reason for her termination was her dedication to the cause, so from her perspective, if whoever took the job after her shared in her dedication, they too would be theoretically fired and replaced until the individual set to fill her position is somebody who would not refuse to "manipulate data"
Don't forget that the surface of the sun is not perfectly uniform: if you have a recent picture of the surface of the sun and sensitive enough instruments, you can effectively treat it as a "cluster of known celestial objects" (e.g. sunspots, solar flares) half a degree apart from each other.

Also the moon is sometimes visible during the day, and since the topography of the moon stays constant over time that trick will work with the moon (with craters etc) even without a recent picture.
I love it when they spam you with big ticket purchase ads right after you have made a purchase.

Yeah I'm full up on computers/cars/kayaks/trailers/riding lawnmowers right now, thanks.

Maybe sell me monitors or printers instead, or wait a month and show me fancy kayak paddles, GoPro, or roof rack mounts that save my back.
Podcast: Data science can improve our collective (and mental) health
Dr. Fauci backed bat coronavirus change of species research in Wuhan in 2019
Handpicked YouTube Videos for Designers and Developers
A curated and regularly updated list of YouTube videos for Designers and Developers.
For your education & motivation when you work or you just get bored.
Here’s the thread, go ahead and tally the number of comments that are sympathetic vs unsympathetic to the hate-crime CEO, and compare that to the proportion of comments in this thread that are sympathetic/unsympathetic to the Florida whistleblower: https://news.ycombinator.com/item?id=23007512

Kinda funny how HN commenters decide that certain people’s perspectives need to be “steelmanned” but not others’
They are accusing her of lying because what she is saying does not confirm their biases or reinforce their prejudices.
Immutability in JavaScript: A Contrarian View
> As an example, a staggered animation is a nice way to make the entry of multiple objects feel less monotonous.

Hopefully readers considering this sort of thing for UI transitions will bear in mind: this is nice if the goal of your application is entertainment, deeply irritating if the goal of your application is productivity.
Notion just raised $50M. I don't think they need to boost anything to attract anybody.

https://www.nytimes.com/2020/04/01/technology/notion-startup...
A stalking-free version of this where you could push your state manually to the clock and have it automatically reset to home when your device is detected on the home wifi network would be more fun, and removes a dependency. You could also support more specific states this way that you cannot detect through simple movements. States can also decay to an unknown state if not updated in a while and you never come home.

And it would be better for building any kind of trust in a child, as they would know you are trusting them to tell you where they might be, and gives a character-building opportunity to choose between lying or telling the truth. Without those opportunities, you never learn the satisfaction of telling the truth, only the satisfaction of lying to get your way when you are not trusted. Inevitably, you become a vicious liar with no limit, and you will lie to everyone: Your parents, your spouse, your mistress, your children, and worst of all yourself.

State can be pushed to an SMS number powered by Twilio.
Thanks for letting me know, will take a look now. If you want to drop me an email “josh@ the website above” then I’ll add you to the list.
Why not just fork Magento? I bet with Facebook's infrastructure you could get it running at Shopify scale for a few million bucks a year.
It also will blur the line between sponsored reviews and sales. So imagine when you watch a review for something on YouTube, or see someone share a product on Insta, you just straight up buy that item/service from their page. You’ll now have your payment hooked into these platforms and they can take advantage of serious impulse buying.

Could subvert Patreon in a way also. The implications are there I think.
I'm not suggesting that the NYT corporation didn't have their bases covered legally, I'm sure it said somewhere that my subscription would autorenew, but I assure you it wasn't plain or obvious. In fact that is not what I'm used to from periodicals, which is part of why I was surprised. I have subscribed to magazines many times in my life, and I'm used to getting many "your subscription is about to run out" "only 2 issues left!" "last issue! Resubscribe today!" notifications with the magazines. Presumably this is what the times does as well if you subscribe in cash or check.

What really bothered me was they took the payment method itself as an indication that I wanted a different type of subscription. Check? 1 year subscription. Cash? 1 year subscription. Credit card? oh ho! You obviously want to subscribe from now until the end of eternity! And yes, they told me on the phone that my use of a CC was indication that I wanted to autorenew and that there's not a way to pay with CC that doesn't autorenew (at the time I spoke with them in early 2018).

Basically to the NYT: "because of the payment method you used, we are able to keep billing you" = "you must want us to keep billing you!" and that is complete bullshit.
I don’t use Facebook, but bragging about that and questioning whether anybody else still uses Facebook feels a lot like asking if anybody still buys Apple phones.

I vaguely recall a HN comment on a different subject which drew a parallel to the famous Yogi Berra quip, “Nobody goes there anymore, too crowded.” It sounds like one of his classic oxymorons, but there is a deeper implication with respect to tastemakers/early adopters/elite users who flee anything once it has its “Eternal September.”

Yes, it’s too crowded, but what we’re really saying with a line like that is, “Too crowded with the wrong kind of people.”

But for me, Facebook is crowded with plenty of the right kind of people. Lots of my climbing tribe coördinate trips on FB, and I miss out on that. There are multiple Volvo enthusiast groups on FB, and I miss out on get-togethers if nobody remembers to text me.

So, scarface74, I’m with you on the importance of being self-aware about the fact that while we may not use a thing for ethical reasons, or because it no longer adds value to our lives, but nevertheless it is still crowded with people who have perfectly valid reasons for liking it.
Or competition appears in your most profitable locales and skims off the most profitable end of the market, like Juno in Manhattan, offering slightly higher payouts to the top-rated Uber drivers, and a slightly better service to the top customers. And they don't have to try to make up the costs of overcoming legal hurdles and creating the market.
What is MLM?
I wasn't using euromomo as a source, I was using a thread on euromomo as an example of faulty interpretations of provisional date-of-death data.
What you do and buy is much more accurate information than what you say. A form of preferences will never be as effective as surveillance.
How Charcoal Is Made
From my experience reporting various GDPR violations is it clear that the ICO does not actually want to enforce the regulation so this is not surprising.
They were not IDs. They were indicators of what the div is for.

It was sort of HTML-pseudocode.

In any case, this is exactly how you center something that doesn't try to stretch across the entire page. It's old-fashioned, but robust.

Also, I would generally not use inline CSS. I think of it like I think of !important: the nuclear option.

That said, I tend to use inline styles a lot for WordPress site content, because I don't want to deal with the slow-ass "customize" option.
The only facts we know are she was involuntarily removed.

The good faith assumptions are:

* She was removed for reasons unrelated to manipulating data.

* She was not asked to manipulate data.

* No data will be manipulated.

Surely the people in charge of removing her and identifying her replacement can verify those assumptions?
This requires advanced knowledge of the width and height of the `.element`
Probably discussed before, and I’m happy to read about it if you have pointers to it, but how does livecoding work with multiple ppl/source control? Is there a persistent textual format where all changes to the image are stored? How about releases?
Perhaps Reddit isn't a preferred support channel for them?
The first one I got was:

torquatawhether.com

Possibly the most confusing domain name I’ve ever seen in my life, lol.
3D Portrait of Jim Carrey
This is cool! Needed to re-up my lockdown reading list.