@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.

imoimo, to random Chinese
@imoimo@o3o.ca avatar

本来买了个Android手机是打算用来隔离国内App的,不翻墙不用Google就像最老实的用户。结果发现国内App不给权限经常就不干了,还有各种黑色的bypass,root以后给个假的授权还会被检测出来封号。后来就闲鱼买了个二手 iPhone mini 来装国内软件。现在反而发现 Android 机翻墙工具多,还能提供透明代理的热点,还能中继热点,热点也比 iOS动不动就断线要稳定,很适合当翻墙机。

terrorjack,
@terrorjack@functional.cafe avatar

@imoimo iphone里面给中国app充值要交苹果税,两相对比之下还是用旧android手机体验更好点,权限这方面我甚至不root,直接island装work profile里面不多折腾了

terrorjack, to random
@terrorjack@functional.cafe avatar

no do not write that friggin ghc ticket. you're on holiday. holiday means watching anime without needing to watch another terminal panel with rolling build messages. repeat after me, holiday holiday holiday

terrorjack, to random
@terrorjack@functional.cafe avatar

motivated by fosdem rr & gdb talks: my personal guess is they snapshot process state pre/post syscalls so to handle side effects. if this is true, this kind of reverse debugging should ideally be implemented for wasm32-wasi instead, because with wasi you have a really small set of well-defined side effects, and you can also snapshot the vfs in addition to linear memory

terrorjack,
@terrorjack@functional.cafe avatar

and with wasm32-wasi-threads, you can write a custom userspace thread scheduler with built-in chaos mode support to expose more bugs more efficiently

terrorjack, to random
@terrorjack@functional.cafe avatar

evil little trick learned from fosdem: to debug systemd, you could use a shell script as stub init script that spawns gdb server to debug itself, then execs into systemd

terrorjack, to random
@terrorjack@functional.cafe avatar

got a train to catch tomorrow, which does mean i need some proper sleep tonight, which will be a bit harder cause i'm hyped for my first fosdem trip already

terrorjack, to random
@terrorjack@functional.cafe avatar

you gotta love how real world ocaml book calls laziness a "benign effect"

w3cing, to random Chinese

不考虑内存使用量的话动归是不是一定可以用记忆化搜索强行解决?

terrorjack,
@terrorjack@functional.cafe avatar

@w3cing 是,而且比递推的写法简单多了

terrorjack, to random
@terrorjack@functional.cafe avatar

you know you're out of luck when you debug a language with .txt extension. yes it's turing complete and can do ray tracing and probably doom but ffs i wish it isn't

Profpatsch, to random
@Profpatsch@mastodon.xyz avatar

I’m really not surprised that Elm is abandonware

https://github.com/elm/compiler/issues/1773

terrorjack,
@terrorjack@functional.cafe avatar

@Profpatsch iirc there's some community maintained fork, curious if most elm folks switched over

terrorjack, to random
@terrorjack@functional.cafe avatar

after landing jsffi for ghc wasm backend, next thing i'll work on is template haskell support. and after that, threaded rts. yes, it'll be possible to run a haskell app in your browser that eats all your cpu cores (for a better purpose than crypto stuff, i personally hope)

scturtle, to random Chinese

哪一天会先到来,是 LLVM 先被干掉,还是 人人有一台可以轻松编译 LLVM 的电脑

terrorjack,
@terrorjack@functional.cafe avatar

@scturtle ccache/mold/ninja 三剑客,极大缓解编译 llvm 的痛苦

terrorjack,
@terrorjack@functional.cafe avatar

@fulkrum @scturtle 你没开LTO的话直接-DLLVM_USE_LINKER=mold -DLLVM_PARALLEL_LINK_JOBS=1完事

terrorjack,
@terrorjack@functional.cafe avatar
18+ SilverYang, to random Chinese
@SilverYang@alive.bar avatar

之前刷微博看人分享黄文梗,看到有人觉得“被暗恋/尊敬/仰慕的人强奸”这个梗很不错,很色,感觉被强奸的那方会露出“因狂喜但又不能表现出来而露出的扭曲的神情。”
看完想问这人是真心这么觉得吗,感觉很缺乏对性侵受害者心理的基本了解。)虽然纸片人性癖存在也只是为了爽,但还是觉得这种想法不无冒犯就是了。)

terrorjack,
@terrorjack@functional.cafe avatar

@SilverYang 纸片人的所谓性侵也只是个抽象化了的属性罢了,不是在浪漫化现实中的性侵行径。就像喜欢纸片人百合和基腐跟支持现实LGBTQ平权根本是两码事

terrorjack,
@terrorjack@functional.cafe avatar

@SilverYang 的确。所以说 good fences make good neighbors,遇到这种场合互 block 大概是最合适的做法

SilverYang, to random Chinese
@SilverYang@alive.bar avatar

说真的竞技运动本质上和做爱一样,都是一种肉身搏斗,一种性灵交流,所以我说体育漫画里的跑步滑冰打球踢球,打牌动画里的决斗,和做爱本质上是一样的。不赞同我的人都是处男!

terrorjack,
@terrorjack@functional.cafe avatar

@SilverYang 刃牙是这样的,勇次郎甚至会直截了当地说恋爱了,对象是自己儿子,但那是期待父子大战的意思,这种隐喻全篇都是。直男看打架腐女看BL,各取所需好得很

terrorjack, to random
@terrorjack@functional.cafe avatar

and thus begins weekly sleepathon

terrorjack, to random
@terrorjack@functional.cafe avatar

i don't get why microwaving tea is actually not a meme for quite a number of folks out there. also me: microwaving cold brew, because it actually has a different (and more pleasant imo) flavour than regular americano

terrorjack, to random
@terrorjack@functional.cafe avatar

if people want "apt install" experience with nix, instead of trying to force feed "declarative" or "reproducible" down their throat, how about giving them an actual cli that they can do "nix install" in the same nix shell and have the changes reflected in the nix file. and nope, you know i'm not talking about "nix profile install"

terrorjack,
@terrorjack@functional.cafe avatar

same with nixos. give them actual gui to turn the knobs, and have the changes reflected in version managed /etc/nixos

terrorjack,
@terrorjack@functional.cafe avatar

@leftpaddotpy most troublesome part should be reflecting changes within the current shell without reloading. but people already use nix with direnv so that should be somehow possible too. anyway, interesting project you've shared, thx

normanzxy, to random Chinese

一个现象特别搞笑:以前是视频博主把文字博主的东西做成视频,现在终于看到文字博主把视频博主的东西做成文字了。前者是因为视频收益高能挣差价,后者是因为视频收益高所以大家直接做视频反而可以扒回来挣点零花。巨大的赛博人体蜈蚣。

terrorjack,
@terrorjack@functional.cafe avatar

@normanzxy 后者说不定是技术原因使然,现在语音识别加生成式ai洗稿一条龙服务已经很好实现了

ClaireInClarke, to random zh-CN

谷歌现在的中文搜索部门是不是彻底废了?随便搜索了一个关键词,第一页出来的结果就有毫不相关的东西,而且经常有恶心人的内容。

terrorjack,
@terrorjack@functional.cafe avatar

@ClaireInClarke 你用的关键词是?我搜了一下宫锁珠帘,大概这个效果:

terrorjack,
@terrorjack@functional.cafe avatar

@ClaireInClarke 还真混进来了点奇形怪状的玩意:

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