Viewing profile — lheck

almost-one-liner (though it will give you the full model): import z3; z3.solve([z3.Sum([ord(a) == z3.Int(f"k{i}") for i, a in enumerate(r[0])]) == r[1] for r in [("bbababbabb", 7),…

Colleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html

The AfD had a large secret meeting with right extremists discussing "re-migration" policy this last November, and many members have close ties to Neo-Nazis.

The dependencies. It does work on Linux and Mac. On Windows, you can use the WSL.

Hi lou, I'm a contributor to Storm and will continue to work on it in my upcoming PhD position. The bottom line is that there are some things you can only do in PRISM and there are…

> Another common theme is that while Julia is great at composition, it's not clear what's expected to work and what isn't, because the interfaces are informal and not checked. This…

only that they don't exist. and we thought they'd exist now, in 2013.

The reason is admission of calculators to exams in schools and universities. Casio and Texas Instruments basically have a cartel that dominates this market. Often one of these calc…

yeah, they have that, that's the picture in the article...

ok, just quickly change the entire layout of every station in Central Europe to have ticket control

People who buy an e-bike more than double their use of bicycle for transport. https://www.sciencedirect.com/science/article/pii/S136192092...

I don't understand the "cycling is for rich people" argument where it's actually the case that people with low wages are the ones that overwhelmingly do not own a car.

Let's forget about the solar cells (there's not that many on this bike) - e-bikes really are extremely eco-friendly. Your points are not correct and I want to point out why: > It's…

> Is this only a problem for infinite sets (of sets to pick from)? I've edited this a lot, but it might still depend on the AoC if you can construct such a function in general, my …

True. It's always good to see someone thinking about math concepts in critical ways to understand them. But this post doesn't really have a place here on hacker news as it's just b…