News for hackers. Stuff that matters.

feniv

Re:Ask HN: Who is hiring? (May 2022) on Monday May 02, 2022 @11:19AM (#31236257)
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

Re:Ask HN: Share your personal site on Wednesday April 06, 2022 @05:42PM (#30937784)
https://fenivarughese.com/ Hand-crafted Hugo static site hosted on Github Pages.

https://github.com/Feni/feni.github.io

Re:Ask HN: Who is hiring? (April 2022) on Friday April 01, 2022 @01:32PM (#30880868)
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

Re:Ask HN: Who is hiring? (January 2022) on Monday January 03, 2022 @12:15PM (#29783182)
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

Re:Ask HN: Who is hiring? (December 2021) on Friday December 03, 2021 @03:27PM (#29434899)
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

Not the same reactor, but this high speed video gives a great perspective inside a fusion reactor.

https://youtu.be/IhHsOwLdCu4

A simple explanation for it would be a farming layout for irrigation.
Re:Native Type Theory on Saturday February 20, 2021 @12:32PM (#26206010)
Not yet. I've specced it out, but still working on the implementation. Here's a hand-written example showing how you can specify the constraints to validate a Knight's tour. You can then enumerate over the types to get valid tours.

https://gist.github.com/Feni/d819f120a7d179bc472c94df9471e60...

Re:Native Type Theory on Saturday February 20, 2021 @08:57AM (#26204096)
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

Looks great! I've tried it out with a bunch of recipes and liked the cleaner layout of information. Using chrome-extensions to augment the web experience based on metadata like this is definitely an underrated capability.
Re:Stupid solutions: Live server push without JS on Tuesday September 29, 2020 @05:36PM (#24633307)
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

Re:GitHub Codespaces on Wednesday May 06, 2020 @01:31PM (#23093857)
Is the browser editing powered by Monaco or something else entirely? https://github.com/microsoft/monaco-editor

Both repl.it and codesandbox.io seem to be Monaco based. This seems to have better support for VS Code extensions than what's available in Monaco.

If you can't watch the video, there's a blog post writeup of Lightbeam by the presenter here - http://troubles.md/posts/lightbeam/
Re:Multi-Value All the Wasm on Thursday November 21, 2019 @02:30PM (#21598416)
TIL! Lucet is being switched over to Wasmtime as well [1]. I'll have to take another look at it.

[1] https://hacks.mozilla.org/2019/11/announcing-the-bytecode-al...

Re:Multi-Value All the Wasm on Thursday November 21, 2019 @02:15PM (#21598213)
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.
Re:Top Programming Languages 2019 on Saturday September 07, 2019 @12:36PM (#20904838)
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)
Re:Clojure’s Approach to Identity and State (2008) on Saturday July 13, 2019 @01:26PM (#20429093)
Rich Hickey has a talk on this (The Value of Values) here: https://youtu.be/-6BsiVyC1kM
The author, Russ Cox, has a whole series of articles on the topic of regex - https://swtch.com/~rsc/regexp/

The rust Regex crate docs even refer to his posts as a reference since the rust version is based on his efficient RE2 Regex implementation at Google.

Re:Flying-V: Flying long distances energy-efficiently on Tuesday June 04, 2019 @12:05PM (#20096295)
From the title, I thought this would be about an airline flying using the V-formation like geese or military jets to reduce fuel.
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!

Re:Beyond Meat S-1 on Thursday April 25, 2019 @01:30AM (#19745306)
FYI - I've put up the extracted data and a quick visualisation here - https://thequarterly.org/S-1.html

Surprisingly, it doesn't look like the overall number of IPOs is any higher this year than in the past.

Re:The wave of unicorn IPOs on Thursday April 25, 2019 @01:28AM (#19745294)
I've been curious about the recent wave of IPOs as well and did some data analysis here https://thequarterly.org/S-1.html

Despite several notable IPOs, the overall rate of S-1 filings doesn't seem higher this year.

Re:Beyond Meat S-1 on Monday April 22, 2019 @02:43PM (#19721584)
I've been curious about the increased IPO rate as well. The data is all in EDGAR but it's not easy to find the trends - https://www.sec.gov/cgi-bin/browse-edgar?company=&CIK=&type=...

I think it'll be a fun project to scrape the data and create some visualizations with it. Look out for a Show HN from me if you're interested!

Older »