@terrorjack@functional.cafe avatar

terrorjack

@terrorjack@functional.cafe

This profile is from a federated server and may be incomplete. Browse more on the original instance.

wingo, to random
terrorjack,
@terrorjack@functional.cafe avatar

@wingo another example of wasm stack switching probably worth mentioning is wasmtime, which support async host rust functions as wasm imports and works similarly as js promise integration in v8

haskell, to haskell
@haskell@fosstodon.org avatar
terrorjack,
@terrorjack@functional.cafe avatar

@haskell https://gitlab.haskell.org/ghc/ghc/-/issues/24603 for the discussion thread and instructions for reproducing the result

terrorjack, to random
@terrorjack@functional.cafe avatar

this might be the first haskell program in the world that natively runs on arm64 windows

terrorjack, to random
@terrorjack@functional.cafe avatar

i guess formally breaking up with only real friend irl on a sleep deprived day might not be the best way to celebrate a birthday

terrorjack,
@terrorjack@functional.cafe avatar

@imoimo 谢谢!

terrorjack,
@terrorjack@functional.cafe avatar

@sanityinc thank you :)

terrorjack,
@terrorjack@functional.cafe avatar

@GZGavinZhao 谢谢,虽然已经是油腻大叔了,,,

terrorjack,
@terrorjack@functional.cafe avatar

@Profpatsch i'm afraid it's a "couldn't care less" on his side. c'est la vie

terrorjack,
@terrorjack@functional.cafe avatar

@sinkerine 谢谢/

terrorjack, to random
@terrorjack@functional.cafe avatar

gotta love watching cooking videos while fasting on weekends

terrorjack, to random
@terrorjack@functional.cafe avatar

is there a german word for the mood "want to go home, despite being at home already"

terrorjack, to random
@terrorjack@functional.cafe avatar

a greek letter a day keeps the industrial users away

terrorjack, to random
@terrorjack@functional.cafe avatar

to workaround a ghc windows build failure on my laptop i just screwed up the refs filesystem by creating some recursive hardlink or something and no win32 api can save the day so i need to wipe the disk and recreate entire dev environment using my phone's metered connection since the hotel's wifi can barely stream a 240p video, how's your day btw

cfbolz, to random
@cfbolz@mastodon.social avatar

Anyone now what the least bad option is to express popcount of a bitvector in Z3 is? @regehr maybe? (I tried both a naive loop as well as a bit-twiddling advanced solution. the latter worked but was on the slow side, and the loop blows up all my timeouts)

terrorjack,
@terrorjack@functional.cafe avatar

@cfbolz @regehr beautiful! are the bit tricks here documented anywhere, may i ask?

terrorjack,
@terrorjack@functional.cafe avatar

@tekknolagi @cfbolz @regehr thanks for the ref! i digged into llvm a bit and found https://github.com/llvm/llvm-project/blob/1610eaad39ad882f006f32c29771862a610f8314/llvm/lib/CodeGen/IntrinsicLowering.cpp#L147 in case the ref is useful to anyone else

terrorjack, to random
@terrorjack@functional.cafe avatar

a lot of foss review processes is actually more about assessing potential damage than actually understanding the patch: how may it break existing stuff, how easy would it be to revert it some time from now, etc. this is not to blame anyone in charge of reviewing anything, just a little reminder to people not having a great contribution experience

terrorjack, to random
@terrorjack@functional.cafe avatar

going to orléans next week, hope this short trip cheers me up a bit

pkhuong, to random

I have a windows laptop that purports to suspend to RAM, and asahi on an m2, which doesn't even try to suspend. Guess which one turns my backpack into a furnace?

terrorjack,
@terrorjack@functional.cafe avatar

@pkhuong just disable modern standby on windows and it'll be cool again

terrorjack, to random
@terrorjack@functional.cafe avatar

a gentle reminder from someone who lived under a communist party regime long enough: public shaming your own private defense sector is very welcome by putin and xi.

terrorjack, to random
@terrorjack@functional.cafe avatar
BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

In Haskell Maybe is mostly used to encode the return type of partial functions: ones that are undefined for some values of their arguments. In that case, instead of failing, such functions return Nothing. In other programming languages partial functions are often implemented using core dumps.

terrorjack,
@terrorjack@functional.cafe avatar

@BartoszMilewski at the end of the day we have bottoms..

terrorjack, to random
@terrorjack@functional.cafe avatar

pals in palworld restore sanity by eating salad. me in realworld restore sanity by filling in a low calories number into a spreadsheet after eating salad

terrorjack, to random
@terrorjack@functional.cafe avatar

i should buy a hand grip and squeeze it a few cycles each time i wait for recompilation. that way I might become strong enough to do a bit of underground boxing some day, you never know

sabishizhiren, to random zh-CN
@sabishizhiren@m.cmx.im avatar

犯贱去扫了眼微博粪坑,冈本们还在义愤填膺地大谈毒品话题呢。

想想也可以理解:以某国如今这种到处千疮百孔撒气漏风再也遮不住了的社会治理状况,还能勉强被拿出来刷刷“自信”、“XX优越性”的,可能也就剩下毒品问题了:西方“民主”国家放任毒品泛滥!欧美底层人都是毒虫!还是咱爹最好最负责任,大力禁毒!

——然而这并不是事实。某国无论是在危险药品管理上,还是在药物成瘾者管理上,都像其他领域的社会治理一样千疮百孔,充满了各种无效、荒诞和害民。

药品管制层面,一方面是某些被列入“违禁”药物名单的药品,被过度管制:买个含有微量麻黄素的感冒药都需要身份证,甚至还把跨性别者需要使用的药物列入管制药品,给需要这些药物的普通人制造了极大的麻烦;

另一方面,却是大量有危险性的药物严重缺乏管制,给公众造成很大的危险,而当局还不准公众知道这个。我还没忘了,前几年有歹徒用烈性麻醉剂迷奸女性,闹出人命,有医生对此进行科普,微博名蛆“江宁婆婆”还要网暴医生。

对药物成瘾者的管理,就更糟糕。由于吸毒行为在某国被意识形态化,吸毒者一直是被视为“罪人”(而非需要帮助的病人),遭受到合理合法的歧视甚至迫害。

这种以“正义”为名的迫害,对赵家人是免疫的,公众根本没可能知道他们涉毒(当然,以各种小道消息来看,赵家人涉毒的情况,很可能相当普遍);遭殃的都是没权没势的普通涉毒者。早已成功戒毒的演员,因为吸毒经历而被权力封杀,就是一例。

我又想到当年臭名昭著的李思怡案。那位吸毒母亲被抓,是因为在超市行窃;她经常偷窃的原因是:她有孩子要养,又没有任何收入来源;当地政府居然因为她吸毒,而拒绝给她们母女办低保。

terrorjack,
@terrorjack@functional.cafe avatar

@sabishizhiren 还有网文里面也是,一堆穿越者屠城灭国的情节老中爱写也爱看,写点跟毒品沾边的情节的时候读者突然化身三观警察嚷嚷着要举报,很神秘

terrorjack, to random
@terrorjack@functional.cafe avatar

hmm, someone worked on a parallel quickcheck (paper accepted for ifl): https://github.com/Rewbert/quickcheck

terrorjack,
@terrorjack@functional.cafe avatar
  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • rosin
  • mdbf
  • khanakhh
  • ethstaker
  • osvaldo12
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • InstantRegret
  • Youngstown
  • everett
  • slotface
  • kavyap
  • anitta
  • cubers
  • Durango
  • modclub
  • tacticalgear
  • ngwrru68w68
  • tester
  • GTA5RPClips
  • provamag3
  • cisconetworking
  • normalnudes
  • Leos
  • megavids
  • lostlight
  • All magazines