TypingOutBugs

The EU has an Accessibility Act coming into play from June this year, so a subset of companies working on things like travel booking systems will have to test to make sure they meet those new requirements.

https://www.epinova.se/en/blog/2024/understanding-the-europe...

Sure, to increase the rates people can negotiate for. Which is cool, I like more money too!

I just find it ironic you’ve had to go offshore to be able to afford talent. Which is what many companies are doing due to the high US rates. With a very small part to play by levels.fyi, because people see the shiny numbers and aim for the same.

This isn’t conjecture (but could be an anecdote), I know a founder who offshored because people wouldn’t take a high five figure rate due to salaries shown in the area on levels (this was mentioned in negotiating a couple times). I’ve heard similar stories from others!

Jane Street uses OCaml and property based tests are easiest when dealing with pure functions, and are taught in FP classes usually, so I assume it’s that. Easier to setup and target audience.

Edit: also a numerical domain, which is the easiest type to use them for in my experience!

What measurements did you use for everything, cheese/sodium citrate/etc?

How many hours are you looking for QA support each week/month, if it’s part time? I’m interested in extra hours if it works!

Thanks!

I think that works!

How did you iterate through product ideas go find one that worked?

And what tech stack did you use?

Oh, that’s just annoying lol. Thanks for pointing that out, thought it was a US person not aware of EU citizen movement rights

I don’t know, California-based co-founders trying to pump rates in the US by making people have info on better salaries (we can raise your salary by $XX,XXx!) while simultaneously outsourcing work to low salary positions in India just has a bad taste in my opinion.

But good for business I’m sure!

This is an EU role restricted to EU citizens with some financial help to relocate? They’re not confined, but no one said that

I’d have expected Levels.fyi to pay competitive market rates based on all the content around high salaries, surprised to see remote $30k!

The trivial reason would be no need to support visas, but happy to pay to incentivise you to move there

> This repository has been archived by the owner on Dec 12, 2023. It is now read-only.

Hasn't been updated in 4 years, and is now archived, so I assume this project is dead. Looks good though!

> I don't know which hypothetical CI runner you have in mind. Back in reality, most CICD services bill you on time spent running tests, not "core". Even core count is reflected as runtime multpliers.

If you’re charging a runtime multiplier per core then there’s a cost per core. Included minutes on most runners are limited to basic versions with limited cores. Try xdist pytest on a default GitHub runner and get any speed up…

> Moreover, services like GitHub not only offer a baseline of minutes per month, and on top of that provide support for self-hosted runners that cost you nothing.

Except the cost of the hardware, sysadmin time for setting up and supporting ephemeral runners, monitoring, etc…

> No, that's simply false and fundamentally wrong. You can run any test on any scenario independently of any other test from another scenario.

In end to end system tests if you have 100 hitting at the same time how do you guarantee the underlying state is the same so the tests are idempotent?

Also another example, I set up testing pipelines for an OS that ran in an FPGA in a HIL CI test. I had three of these due to operating costs. How could I parallelise tests that required flashing firmware AND have the most pipelines running as possible?

> What do you mean "if not parallelized"? Are you running tests sequentially and then complaining about how long they take to run?

Some CI runners are single core unless you pay more, some tests are very hard to parallelise (integration, E2E), some test code bases are large and unwieldy and would require a lot of cost to improve to allow parallelisation.

> Please explain exactly how you managed to put together a test suite that costs up to 50€ to run.

If you need to run a hefty windows runner on GitHub it’s $0.54 per minute, so a 90 minute full suite will cost $50.

You could be better with different tests running at PR/Nightly but if quality is a known issue some orgs will push to run total test coverage each PR (saw this at a large finance company).

It won’t be this. People on that forum talk about hitting many more birds at much higher speeds with much less issues. The landing gear should have been deployed before the strike too? Happened at 200 meters I believe?

Then they’d have lost comms with the ATC which would have been mentioned by now surely? With two pilots incapacitated in a go-around procedure?

I haven’t found it harder than any other time since 2014 to be honest. In Sweden now, previously Palo Alto, previously Oxford/London, but remote since 2018.

The only thing that might be niche in my position is I focus on SDET contract roles while having a general dev background? I moved into SDET work originally to join a company that used Haskell because I couldn’t get a dev role there, and enjoyed it so stayed in the domain.

Ends up it’s been fairly easy to find work ever since!

There’s three ways US companies can do that:

1. Hiring a company for a service

2. Hiring a contractor who invoices through their foreign company

3. Having an office in that country

Which one would you make illegal? I don’t even understand what the rule would be to defend or support here, in practice. Companies in the US cannot hire services from foreign countries?

What should be illegal, specifically? What concrete action should be made illegal?

These are people hired locally within their respective countries by local corporations owned by holdings in the US. How can you make it illegal for a company to hire people legally in other countries through their legal non-US incorporations?

The Zephyr route from San Francisco to Chicago still has a proper dining cart, viewing cart, and is 52 hours long. Surprisingly comfortable and the only way you can access the Ruby Canyon in Colorado outside of a kayak.

I just took a sleeper train last night from Helsinki to the arctic circle and they had non-reclining seats with no light dimming. Got around an hours nap between 6am and 7am this morning. Took around 14 hours to go 1000km. Very much regret not paying for a proper cabin…

What was the company in Sweden? Thankfully I live in Stockholm!

I’d love to work with Ada but never had the opportunity. Anyone know which companies hire for it?

Not because it’s necessarily more suited for those business operations, but the complexity and risk of refactoring means it remains in COBOL

But it still has to be auditable by humans, so I imagine some sort of LLM tool library over an existing language makes sense. Might be wrong! But langchain tools and pydantic schemas for Input/Output feel like the right abstraction

I can see the argument though, anything moving in that direction already?

Why would it?

There’s a few papers in this space but it’s still early days, both using Formal Verification to test outputs of LLMs and using LLMs in formal verification itself

Examples of both:

https://sumitkumarjha.com/papers/2023_ICAA_LLM_Dehallucinati...

https://mathai2023.github.io/papers/28.pdf

Agda and Liquid Haskell are used for Cardano, one of the largest blockchain platforms, alongside other tooling in that space. It’s one of the larger formally verified projects in the wild so I’d argue it’s fairly mature.

For example their formal specification of their ledger system:

https://drops.dagstuhl.de/storage/01oasics/oasics-vol118-fmb...