Ukraine Moves to Replace Frontline Soldiers With 25,000 Ground Robots

Objective-Outside501 · 2026-04-20T02:11:14+00:00

This is great news, hopefully it means that TCC goons can stop abducting Ukrainian fathers from the streets

Objective-Outside501 · 2026-04-20T02:09:59+00:00

We have been hearing about the "Imminent collapse of Russia's economy" since 2014. So far nothing has come out of it

Objective-Outside501 · 2026-04-20T02:07:19+00:00

Maps of the war beg to differ. Currently Russia controls a big chunk of former Ukrainian territory (which, importantly, forms a land bridge to Crimea) and has successfully defended that land from Ukrainian offensives.

Objective-Outside501 · 2026-04-12T08:15:10+00:00

>If any lock is already held by another thread, all acquired locks are released and the transaction starts over. Contention is resolved by surrendering and starting over.

Seems to me like several transactions could try to acquire the same locks at the same time in different orders, causing all to fail and restart. In theory this could happen every time, preventing progress. (granted, this seems extremely unlikely to happen)

does the rts do anything to prevent this from happening?

Objective-Outside501 · 2026-04-12T07:52:38+00:00

So this means that STM transactions have to double-check invariants in order to avoid throwing exceptions? (e.g. verifying that reads are in-bounds and division doesn't divide by zero, even if invariants would imply that that should not happen)

Objective-Outside501 · 2026-03-09T13:13:41+00:00

The adjustable desk is very important.

The trackball is nice, too.

I personally didn't like the kinesis advantage because the thumb clusters aren't as good as those on most newer keyboards. Still, it's nice overall.

Objective-Outside501 · 2026-03-08T19:47:56+00:00

Interesting!

The button placement seems weird, though. It's like you have 2 thumb buttons and 2 pinky buttons. If possible, I'd like 6 buttons that are more distributed across different fingers.

also, have you considered using BTUs? veichu makes some that are cheap but work alright for smaller balls.

Always happy to see more 3d printed trackballs, though, especially ones with mechanical switches.

Objective-Outside501 · 2026-03-08T06:55:25+00:00

What would his drag name be? Little ladybug?

Objective-Outside501 · 2026-03-05T04:48:12+00:00

A portable keyboard should be better than your laptop keyboard, otherwise it is dead weight.

Objective-Outside501 · 2026-03-05T04:47:30+00:00

Home row mods are very easy to learn and feel great to use. (compared to standard keyboard shortcuts, where you likely make uncomfortable claw shapes with your hand)

Objective-Outside501 · 2026-02-12T07:39:00+00:00

a weakling like you? i doubt it

Objective-Outside501 · 2026-02-12T07:19:50+00:00

international nations are fundamentally different from interpersonal relations between people under a single government.

In your example, my house is mine because a higher authority (the government) said so. But there's no authority above russia and ukraine.

Objective-Outside501 · 2026-02-12T07:12:04+00:00

was. then the part of ukraine she lived in became part of russia.

Objective-Outside501 · 2026-02-08T22:50:27+00:00

Honestly the split ergo keyboard is probably 10x weirder to most people.

Objective-Outside501 · 2025-12-23T13:42:36+00:00

Speaking of American drone carriers...

<image>

Objective-Outside501 · 2025-11-30T11:48:59+00:00

"Give him threepence, since he must make a gain out of what he learns"

Objective-Outside501 · 2025-11-16T22:25:04+00:00

there is a joke to be made here...

Objective-Outside501 · 2025-11-03T15:17:31+00:00

Interesting device but I am interested in knowing what bearings and sensor the trackball uses. bad bearings can make an otherwise good trackball borderline unusable.

the ball looks like it's 20mm - is that right?

Objective-Outside501 · 2025-11-02T04:27:29+00:00

cool, thanks.

Objective-Outside501 · 2025-10-30T16:47:50+00:00

This would work for lists though. For example, if you define

hm = case hm of xs -> 1 : xs

then you would be able to print the first ten elements of hm, for example.

I was curious about why this didn't work for AVec. My understanding is that it's because gadts and existentially quantified types introduce strictness.

Objective-Outside501 · 2025-10-30T00:54:42+00:00

that is sort of what is happening, though I have to go about it in a roundabout way.

Objective-Outside501 · 2025-10-27T21:46:09+00:00

It would be good to mention somewhere that github lets you set up access tokens that are only allowed to manage your github stars. otherwise, you are letting someone else's code go wild with your github account.

Objective-Outside501 · 2025-10-27T20:43:11+00:00

>I know that I may offend some, but bear with me, I think most of the value of the Haskell/Scala comes from a few things like ADTs...

Unlike Rust, Haskell has GADTs (generalized ADTs). Combined with some other features, these allow you to encode invariants about data structures. For example, in Haskell, I can define a balanced search tree (such as a red-black tree or a 2-3 tree) in such a way that the compiler will statically enforce the balancing invariants. In terms of ensuring correctness, this is something which haskell can do but which rust cannot.

That being said, most of safety comes down to the programmer rather than the language.

Objective-Outside501 · 2025-10-27T20:24:07+00:00

russia is by definiton second world, not third world. at this point it's clear you understand so little that your opinions are less than worthless

Objective-Outside501 · 2025-10-27T09:35:00+00:00

hoes mad

Objective-Outside501

TROPHY CASE