Posts by hyphen@duwa.ng
(DIR) Post #B2ihbtw4Vv8cqU0GG0 by hyphen@duwa.ng
2026-01-27T19:33:09.890555Z
0 likes, 0 repeats
https://www.youtube.com/watch?v=-BmEacXXXpY&list=PLScfAP4C0m2zJND36tcrVn-Ne2pSGDhU1&index=10
(DIR) Post #B2ihkcYMVicpXc4SuW by hyphen@duwa.ng
2026-01-27T19:34:45.746556Z
0 likes, 0 repeats
> &index=10well nothing specific about that one track but look around
(DIR) Post #B2kFE3MxNaS0kkL2hM by hyphen@duwa.ng
2026-01-28T13:24:29.897031Z
0 likes, 0 repeats
the world as it is today seems hell-bent predicating the human experience entirely on consumption
(DIR) Post #B2p9gPHDtRqas6aoqW by hyphen@duwa.ng
2026-01-30T22:15:55.977831Z
0 likes, 0 repeats
the O in OCaml is silent
(DIR) Post #B2pUz6Dt3bcmJhmrM8 by hyphen@duwa.ng
2026-01-31T02:14:40.600540Z
0 likes, 0 repeats
:smuganime: a used fossil fuel car on the road, not scrapped, is always 10x better for the environment than buying a new ev
(DIR) Post #B2rAxlovomqJz07gtU by hyphen@duwa.ng
2026-01-31T21:38:38.673862Z
0 likes, 0 repeats
:duwang: gonna migrate to rum please hold
(DIR) Post #B2sGSNb4cm1ylF13QW by hyphen@duwa.ng
2026-02-01T10:15:52.258357Z
0 likes, 0 repeats
:duwang: 05:04:21.425 [info] == Migrated 20190510135645 in 20914.4srum index is now used for searching. this should improve search performance & reliability (less timeouts for simple queries).i also took the opportunity to do a vacuum and check spammy instances. because the db had a million(!) objects. here's a query with posts over the last 30 days. domain | count ---------------------------+------- mk.absturztau.be | 3644 mastodon.social | 2774 lain.com | 2316 shitposter.world | 2257 fsebugoutzone.org | 1953 akko.wtf | 1564 types.pl | 1449 queer.hacktivis.me | 1044 hachyderm.io | 914 merveilles.town | 905shoutout to lain.com can't believe ur singlehandedly competing with the big dog instances with thousands of users :touchgrass:I couldn't find federated instances posting significant spam so maybe this is just natural growth
(DIR) Post #B2saW3RFVsOeTxRzO4 by hyphen@duwa.ng
2026-02-01T14:00:44.177534Z
0 likes, 0 repeats
@kookie that's basically haskell's OverlappingInstances right? which is undecidable sure but is it unsound as well?
(DIR) Post #B2sge4zyCEhhMVtu5o by hyphen@duwa.ng
2026-02-01T15:09:28.367348Z
0 likes, 1 repeats
by the time gnome 67 is released, :67: would be dead
(DIR) Post #B2sghOMke3jaIX8UYy by hyphen@duwa.ng
2026-02-01T15:10:05.205822Z
0 likes, 0 repeats
but :69: is eternal
(DIR) Post #B2wxaFOW4uryIbyplY by hyphen@duwa.ng
2026-02-03T16:37:57.429425Z
0 likes, 0 repeats
@kookie looked back at this today. it's not a simple overlap because the instance heads are identical, so even haskell and its family would fail here. haskell's solution is a newtype wrapper (as in Monoid Product/Sum) and i guess that's the simplest way (there's also the type family + proxy pattern for a closed sum of instances)...so in rust:struct D<A>(F<A>);impl<A> Debug for D(F<A>) { fn fmt(&self, f: ...) -> ... { f.debug_struct("F") .field("a", format_args!("_")) .field("x", &self.0.x) //... .finish() }}you could add a const generic phantom type parameter to F itself but that would infect all use sites. you could then write new-style smart constructors to ensure F<A, true> is never constructed with A : ~Debug. in any case this means you'll shift the burden of deciding whether to construct with a constrained A to the user:- #[derive(Debug)]- pub struct F<A> {+ struct F<A, const D: bool = false> {andimpl <A: Debug> Debug for F<A, true> { ... }impl <A> Debug for F<A, false> { ... }andlet a = F(A);// vslet b = F::<_, false>(B);still I think the newtype solution is much better because it only infects the call sites which constrain A.
(DIR) Post #B2zf8gbA7qpgrUU16u by hyphen@duwa.ng
2026-02-04T23:55:34.786612Z
0 likes, 0 repeats
> Microslop Windows provides a large ABI surface area...:waowbased:
(DIR) Post #B2zfQF0HSfOaUSbRJY by hyphen@duwa.ng
2026-02-04T23:58:45.368978Z
0 likes, 0 repeats
the memefication of the epstein case will be studied in psyop handbooks for years to come
(DIR) Post #B2zfuV42JT5OzMmvce by hyphen@duwa.ng
2026-02-05T00:04:12.516461Z
0 likes, 0 repeats
a heinous and deep far reaching scandal of the ruling class of the modern day empire, with head figures from multiple nations involved, trivialised to the point of absurdity with the power of cynical jokes
(DIR) Post #B30jPSFxIQIQHJm7O4 by hyphen@duwa.ng
2026-02-05T12:18:02.454849Z
0 likes, 0 repeats
i wish pleroma synced drafts
(DIR) Post #B3BRU2CXvzEsTwm2fA by hyphen@duwa.ng
2026-02-10T16:18:57.775682Z
0 likes, 0 repeats
@mossfet wdym? he very much is :chefkiss:
(DIR) Post #B3Bd8Gi0Vwi0YTsRRg by hyphen@duwa.ng
2026-02-10T18:29:34.189960Z
0 likes, 0 repeats
don't wanna brick this instance by checking if thread dot com also federates after meta moved the domain. can't see it in block lists though.
(DIR) Post #B3Bl9T2kwHZkjWfHVY by hyphen@duwa.ng
2026-02-10T19:59:27.372183Z
0 likes, 0 repeats
i can't believe glorified pagers (smartwatches) now come with quad core processors, 2gb ram, and 32gb storage...
(DIR) Post #B3BlBtIYINL2jxD0xE by hyphen@duwa.ng
2026-02-10T19:59:54.067650Z
0 likes, 0 repeats
it's insane how overpowered these tiny computers are becoming
(DIR) Post #B3BnxbsoY00mXK3IVk by hyphen@duwa.ng
2026-02-10T20:30:55.074932Z
0 likes, 0 repeats
is there a mrf which, like, allows ppl on home instance to follow ppl from remote peer instance, maybe interact with them, maybe reply maybe not depending on technical considerations, but doesn't allow sending any home posts to remote (no follow back, no public posts)?