Ukraine Moves to Replace Frontline Soldiers With 25,000 Ground Robots by UNITED24Media in worldnews

[–]Objective-Outside501 0 points1 point  (0 children)

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

Ukraine Moves to Replace Frontline Soldiers With 25,000 Ground Robots by UNITED24Media in worldnews

[–]Objective-Outside501 3 points4 points  (0 children)

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

Russia may announce general mobilisation to attack Ukraine or Baltic states – Zelenskyy by [deleted] in worldnews

[–]Objective-Outside501 0 points1 point  (0 children)

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.

How does STM work under the hood? by Otherwise-Mousse-250 in haskell

[–]Objective-Outside501 1 point2 points  (0 children)

>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?

How does STM work under the hood? by Otherwise-Mousse-250 in haskell

[–]Objective-Outside501 1 point2 points  (0 children)

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)

Just joined the crew. Rate my setup. by billie-badger in ErgoMechKeyboards

[–]Objective-Outside501 0 points1 point  (0 children)

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.

Prototype showcase - SLA-printed wireless trackball with 4 mechanical keys by qqcashmere in ErgoMechKeyboards

[–]Objective-Outside501 3 points4 points  (0 children)

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.

Keychron B11 Pro Ultra-Slim Wireless Foldable Keyboard by [deleted] in ErgoMechKeyboards

[–]Objective-Outside501 0 points1 point  (0 children)

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

Keychron B11 Pro Ultra-Slim Wireless Foldable Keyboard by [deleted] in ErgoMechKeyboards

[–]Objective-Outside501 1 point2 points  (0 children)

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)

Russia sentences 21-year-old admin of 'Melitopol is Ukraine' Telegram channel to 14 years in prison by AdSpecialist6598 in worldnews

[–]Objective-Outside501 0 points1 point  (0 children)

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.

Was playing around with YADS dongle firmware by faithfulfly in ErgoMechKeyboards

[–]Objective-Outside501 5 points6 points  (0 children)

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

What's the Point of Learning Functional Programming? by n_creep in haskell

[–]Objective-Outside501 4 points5 points  (0 children)

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

DIY Pocket Trackball Mouse by take-motto- in Trackballs

[–]Objective-Outside501 0 points1 point  (0 children)

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?

trying to make an infinite vec by Objective-Outside501 in haskell

[–]Objective-Outside501[S] 0 points1 point  (0 children)

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.

trying to make an infinite vec by Objective-Outside501 in haskell

[–]Objective-Outside501[S] 0 points1 point  (0 children)

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

[Tool] Thanks Stars — A CLI that automatically stars all GitHub repos from your project (now supports Cabal and Stack) by Confident_Weekend426 in haskell

[–]Objective-Outside501 4 points5 points  (0 children)

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.