lheck

9 ms·

1.
Conway's Game of Life in pure pickle for fun and profit(linus.space)
1 points by lheck 6mo ago|0 comments
2.
by lheck 1y ago
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), ("baaababaaa", 5), (&qu
3.
by lheck 2y ago
Colleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html
4.
My band of elephants is more accurate than your neural network(linus.space)
2 points by lheck 2y ago|0 comments
5.
by lheck 3y ago
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.
6.
by lheck 3y ago
The dependencies. It does work on Linux and Mac. On Windows, you can use the WSL.
7.
by lheck 3y ago
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 more things you can only do in Storm, but if you can d
8.
by lheck 3y ago
> 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 is THE huge issue when combined with the
9.
by lheck 3y ago
only that they don't exist. and we thought they'd exist now, in 2013.
10.
by lheck 3y ago
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 calculators is required.
11.
A communal bikesharing system for under 10€ per bike(linus.space)
3 points by lheck 3y ago|0 comments
12.
by lheck 3y ago
yeah, they have that, that's the picture in the article...
13.
by lheck 3y ago
ok, just quickly change the entire layout of every station in Central Europe to have ticket control
14.
by lheck 4y ago
People who buy an e-bike more than double their use of bicycle for transport. https://www.sciencedirect.com/science/article/pii/S136192092...
15.
by lheck 4y ago
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.
16.
by lheck 4y ago
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 expensive It's cheap. An e-bike like
17.
by lheck 4y ago
> 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 ideas didn't work (e.g. two complex infinite se
18.
by lheck 4y ago
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 born of faulty premises and of misunderstandin
19.
ChatGPT can create cool images using TikZ(linus.space)
3 points by lheck 4y ago|0 comments