It’s a cultural thing. In Poland because of the climate, central heating and probably some other habits everyone has a carpet so you take your shoes off because carpets are hard to clean. In Spain because of the climate you don’t have carpets because stone floors help cool the apartment down. Bare stone floors are easy to clean and are cold during winter so you keep your shoes on.
Depends who’s protesting and what’s the support for the protests among general population. The problem with most of the protests you see is that the people that do the protesting are the same people that oppose the government. So yeah, no government is going to react to protests done by people that don’t vote for it, no matter how big. If the actual people that got the government elected protest or support the protest then they listen. Of course most of the time people know what they are voting and the government is doing exactly what it promised so they will not protest.
Yep, I will stick to nvim.
Romanes eunt domus!
You spelled vim wrong.
Languages don’t care about complexity. Look at Polish. It’s like it makes things complex on purpose. Language evolution is not only about simplifying thing. It’s also about conveying meaning and will adapt to the culture that uses it.
This was written by someone who never dealt with user requests. Typical user not only doesn’t know how to define requirements in a clear way, they also don’t understand limitations of the technology, side effects their changes can cause or different aspects of usability, compatibility and accessibility.
Those are the abilities that limit who can contribute to projects, not coding skills.
So for example you want an adaptive rewind time. Is it on by default? Where is in the settings? How does it interact with current auto-rewind feature (can you enable both at the same time?)? How do you name it so that typical user knows what it does? It’s not that those are difficult questions to answer. It’s that you need think about all that before you start changing code other people will use. Typical users don’t have the knowledge or experience required to do it. And it gets way more complicated with bigger changes.
Reminds me of a joke: A guy walks down the street and mumbles to himself angrily: You cook every fucking day but no one ever calls you a cook. You fix your car all the time but people never call you a mechanic. You have a small garden and grow your own food but when people see you they don’t say “Hey, farmer!”. But you rape someone one single time…
But seriously, for the same reason you don’t ban drunk drivers from driving for life or shoplifter from shopping. People have to function in society somehow, even if they did terrible things in the past.
Yep, programming is fun but working as a programmer not so much. For me writing software is a creative activity. It’s fun to come up with problems and find solutions for them. In my personal projects I decide what problem I want to solve, choose the technology I think will be fun to solve it in and then come up with a solution I like.
At work you are usually handed a problem you don’t care about (we’re decommissioning X, you don’t have to know why, just change everything to use Y), the solution is described in detail by someone else and you just have to turn it into some code using 5-10 years old stack.
Fortunately at my current job I mostly do projects without much technical oversight (proof-of-concept type project) so I can choose how I want to do then. I dislike the company culture but I know that moving somewhere else would mean going back to boring coding agian.
a >= 0, b >= 0, c >= 0, d >= 0
I think that’s the issue, in the second possible solution one of the parameters is negative :)
This looks great, I didn’t even know it’s possible to solve it this way. I’m glad someone dedicated some time to it. Let’s see if anyone will try solving it in other way.
Yep, that’s correct. I never heard about Z3 and I did it by reverting all the operation. It takes couple of seconds of computer time to solve my way but it took me closer to 7h to figure it out. 1h is impressive.
There are actually two possible solutions because some bits are lost when generating numbers. Can Z3 account for lost bits? Did it come up with just one solution?
It’s locked.
Not a lot of math in this one. At least not in the way I did it.
simultaneously defending himself in both cases would put him in a no-win situation.
What is that even supposed to mean? He has to prove that his actions where justified. How is his a no-win situation? Is his plan to first argue that he’s innocent because he wasn’t trained correctly and acted out of fear and then claim in the second case that he actually received proper training?
Was about to say the same thing. I just had a call to inform my team that they are going to change our reporting lines for the 4th time in the last 6 months.
I was fully expecting to see this https://www.youtube.com/watch?v=4JkIs37a2JE
How is it blackmail if they are not asking for anything? It’s harassment if it’s distributed as fakes and defamation if someone claims it’s real.
I used rust as a backend for a simple web app (axum and sea-orm), did some scripting for integrating couple of service (simple REST calls and some data processing) and recently I’ve been learning to build desktop apps using Tauri and Leptos. All personal projects so far but I contributed to one Leptos library a bit. Lemmy looks like interesting next step but there’s always another project I would like to do and not enough time :)
Sounds interesting. I’ve been programming in rust for some time now but didn’t get to looking at lemmy’s codebase yet. This would motivate me to do it.
Can you put this in a npm package so I can use it in my project, please?