HN user

feniv

331 karma

[ my public key: https://keybase.io/feni; my proof: https://keybase.io/feni/sigs/AcPslk_CsfdoazkXMC-v91bjbYmn1r-jkdg8DHCTf0c

Interests: Programming languages. Product development. The human condition.

Posts6
Comments112
View on HN

Steadily | Austin, TX - Remote| Full-time | Python, Django, PostgreSQL, AWS, React | www.steadily.com

Steadily is a venture backed insurtech startup for landlords. We've grown from five to over fifty people in the past year as the demand for our service continues to rise. Our purpose is to give landlords all over the country a fast, modern insurance buying experience and amazing customer service so they’re confident they’ll have the coverage they need on a rainy day. Because of our technology and service, our customers love being insured by us, even when they have a claim.

In November 2021, we announced our Series A raise of $27.8 million. Led by Matrix Partners and Zigg Capital, we are poised to bring landlord insurance to the forefront with cutting-edge technology and exceptional people.

Staff/Senior Software Engineer - https://grnh.se/2e5166924us

Software Engineer - https://grnh.se/539b183b4us

Steadily | Austin, TX - Remote| Full-time | Python, Django, PostgreSQL, AWS, React | www.steadily.com

Steadily is a venture backed insurtech startup for landlords. We've grown from five to over fifty people in the past year as the demand for our service continues to rise. Our purpose is to give landlords all over the country a fast, modern insurance buying experience and amazing customer service so they’re confident they’ll have the coverage they need on a rainy day. Because of our technology and service, our customers love being insured by us, even when they have a claim.

In November 2021, we announced our Series A raise of $27.8 million. Led by Matrix Partners and Zigg Capital, we are poised to bring landlord insurance to the forefront with cutting edge technology and exceptional people.

Staff/Senior Software Engineer - https://grnh.se/2e5166924us

Steadily | Austin, TX - Remote| Full-time | Python, Django, PostgreSQL, AWS, React | www.steadily.com

Steadily is a venture backed insurtech startup for landlords. We've grown from five to over thirty people in less than a year as the demand for our service continues to rise. Our purpose is to give landlords all over the country a fast, modern insurance buying experience and amazing customer service so they’re confident they’ll have the coverage they need on a rainy day. Because of our technology and service, our customers love being insured by us, even when they have a claim.

In November 2021, we announced our Series A raise of $27.8 million. Led by Matrix Partners and Zigg Capital, we are poised to bring landlord insurance to the forefront with cutting edge technology and exceptional people.

Staff/Senior Software Engineer - https://grnh.se/ca26c7654us

Steadily | Austin, TX - Remote | Full-time | Python, Django, PostgreSQL | https://www.steadily.com

Steadily is a venture backed insurtech startup for landlords. We've grown from five to over thirty people in less than a year as the demand for our service continues to rise. Our purpose is to give landlords all over the country a fast, modern insurance buying experience and amazing customer service so they’re confident they’ll have the coverage they need on a rainy day. Because of our technology and service, our customers love being insured by us, even when they have a claim.

In November 2021, we announced our Series A raise of $27.8 million. Led by Matrix Partners and Zigg Capital, we are poised to bring landlord insurance to the forefront with cutting edge technology and exceptional people.

Staff/Senior Software Engineer - https://grnh.se/3c63da104us

Native Type Theory 5 years ago

Seems like this is an extension of the Curry-Howard-Lambek isomorphism [1] relating type theory, logic and category theory together. I find that to be one of the most beautiful results in computer science and have been working on a practical language built on the same principles for a while (A mix of Haskell, Prolog and APL in a python-like language)

[1] https://en.m.wikipedia.org/wiki/Curry–Howard_correspondence

Seems like an interesting variant of SSE (Server sent events) without the JS code for retries. Both of these approaches are simpler than websockets, with the limitation that they're one-way (server push).

If you’re interested in diving deeper, the SMhasher benchmark suite tests a much more exhaustive list of hash functions (including wyhash) - https://github.com/rurban/smhasher

https://www.strchr.com/hash_functions Is also a great write up of how some of the classic hashing algorithms perform of various data sets.

https://nullprogram.com/blog/2018/07/31/ is an interesting approach on generating hashing functions automatically.

Does this also remove the 30 scripts per account limit? I looked into using Cloudflare workers to power a cloud runtime for WASM (think thousands of dynamically generated WASM binaries serving traffic for different sub-domains), but the script limit and CPU limits were a major blocker. I've had great experiences with Cloudflare and would love to use workers if it opens up these limits.

https://developers.cloudflare.com/workers/about/limits

I'm looking forward to seeing this supported in Wasmer as well. A lot of these announcements seem to target wasmtime as the default standalone runtime (and it has come a long way, especially with the addition of the JIT) but having the option to compile WASM to native code ahead-of-time is still very valuable.

For comparison:

TIOBE Index - https://www.tiobe.com/tiobe-index/

    1. Java
    2. C
    3. Python
    4. C++
    5. C#
    6. Visual Basic .NET
    7. JavaScript
    8. PHP
    9. Objective-C
    10. SQL
Language popularity on Github: https://octoverse.github.com/projects.html https://madnight.github.io/githut/#/
    1. JavaScript
    2. Java
    3. Python
    4. PHP
    5. C++
    6. C#
    7. TypeScript
    8. Shell
    9. C
    10. Ruby

StackOverflow Developer Survey https://insights.stackoverflow.com/survey/2019#technology
    1. JavaScript
    2. HTML/CSS
    3. SQL
    4. Python
    5. Java
    6. Bash/Shell/PowerShell
    7. C#
    8. PHP
    9/10 C++ / TypeScript (varies between surveys)

WebAssembly on desktop and servers is maturing pretty rapidly! There are several backend interpreters already in Rust and Go (life). The native, compiled options are even faster, Fastly's Lucet compiler and runtime was one of the first to implement WASI (https://wasi.dev/): https://www.fastly.com/blog/announcing-lucet-fastly-native-w...

The differentiator for InNative seems to be the ability to bypass the sandbox altogether as well as additional native interop with the OS. Looks promising!