Lightnews — Scholar-powered news

LightNews

StepBroBD

@stepbrobd.com

88 followers 240 following 180 posts

F/KC1VZR λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥)) https://github.com/stepbrobd

Posts Media Videos Starter Packs

StepBroBD @stepbrobd.com · 19h

おおおおおー
youtu.be/1rgizfCbqf0

サカナクション / 新宝島　-Music Video 振付サンプル映像-

YouTube video by サカナクション sakanaction

StepBroBD @stepbrobd.com · 1d

sub 10 microsecond accurate time at home 🤣

StepBroBD @stepbrobd.com · 1d

ahhhhh my own stratum 1 time server (nixos ofc)

StepBroBD @stepbrobd.com · 2d

yes
github.com/nvmd/nixos-r...

GitHub - nvmd/nixos-raspberrypi: Nix flake for a fully declarative NixOS on Raspberry Pi

Nix flake for a fully declarative NixOS on Raspberry Pi - nvmd/nixos-raspberrypi

StepBroBD @stepbrobd.com · 3d

i got a pretty good deal from cogent

if anyone wants to share a full rack in cogent grenoble dc, dm me 🫨

StepBroBD @stepbrobd.com · 3d

got trusted certs for .arpa zones with cloudflare lmao

StepBroBD @stepbrobd.com · 5d

let’s goooooooo

witchwatch-anime.com/topics/959/

第2期制作決定！ | 最新情報｜TVアニメ『ウィッチウォッチ』

篠原健太が描く「週刊少年ジャンプ」で連載中の人気漫画がアニメ化！TVアニメ『ウィッチウォッチ』2025年放送開始

witchwatch-anime.com

StepBroBD @stepbrobd.com · 5d

i think ppx runtime library have very bad ux cause it must be opened at call site even if im not referring anything in there

however inlining runtime helpers will cause extra allocation :<

since this is a toy project im just inlining helpers per ast rewrite like crazy

github.com/stepbrobd/mi...

StepBroBD @stepbrobd.com · 5d

glad that i took a compiler class in ocaml before trying to write a ppx 😑

StepBroBD @stepbrobd.com · 6d

😳
www.reddit.com/r/k_on/s/apj...

From the k_on community on Reddit: Camden Town, The British Museum, and Denmark Street Real Locations (Real Life K-ON! - Part 15) [Map To All Locations In The Comments]

Explore this post and more from the k_on community

StepBroBD @stepbrobd.com · 6d

fun 🐫 challenge

all functionality must be implemented only by type defs with ppx annotation (custom ppx allowed with no restriction 🤣)

StepBroBD @stepbrobd.com · 6d

i think i almost got it working

but i doubt anyone can understand this shit 😑

StepBroBD @stepbrobd.com · 6d

how tf is this even possible 😭😭😭

github.com/pedrobslisbo...

StepBroBD @stepbrobd.com · 6d

discuss.ocaml.org/t/ppx-by-exa...

Ppx by example - repo to help on ppx learning

Hey everyone! Over the past few weeks, I’ve started my journey to learn PPX, and during this process, I found it challenging to find examples. So, I began creating my own examples and adding explanat...

discuss.ocaml.org

StepBroBD @stepbrobd.com · 6d

now it’s time to write my first ever ppx 🗿

github.com/stepbrobd/mi...

miroir/lib/config.ml at 3eaa843cd48d1e4c6a5d4028eca87927a31e9f60 · stepbrobd/miroir

repo manager wannabe? Contribute to stepbrobd/miroir development by creating an account on GitHub.

StepBroBD @stepbrobd.com · 6d

youtu.be/K5vCog0uzzQ

サカナクション / 新宝島　-Music Video Behind the Scenes-

YouTube video by サカナクション sakanaction

StepBroBD @stepbrobd.com · 6d

i’m cooked*

日経電子版 @nikkei.com · 6d

トイレでスマホ「痔のリスク上昇」（無料記事）
www.nikkei.com/article/DGXZQO...

2025年9月 #注目された記事

トイレでスマホ「痔のリスク上昇」　米研究、滞在延び肛門に負担？ - 日本経済新聞

米国の研究チームは3日、トイレで用を足しているときにスマートフォンを使う人は「痔（じ）のリスクが高まる」とする研究成果を発表した。トイレの滞在が長くなった分、肛門に負担が掛かり、痔になりやすくなったとみている。米ベス・イスラエル・ディーコネス医療センターの研究チームによる成果で、米科学誌「プロスワン」に掲載された。トイレでのスマホ操作と、痔のリスクの関連を調べた研究は珍しいという。大腸内視鏡

StepBroBD @stepbrobd.com · 6d

ocaml 🐫 with nix ❄️!!!!!!!!!!

StepBroBD @stepbrobd.com · 8d

forgot to mention colmena have concurrent eval and build so very handy if you have multiple servers

StepBroBD @stepbrobd.com · 8d

yeah most of my servers only have 1g ram as well and i use colmena to push-and-deploy

github.com/zhaofengli/c...

GitHub - zhaofengli/colmena: A simple, stateless NixOS deployment tool

A simple, stateless NixOS deployment tool. Contribute to zhaofengli/colmena development by creating an account on GitHub.

StepBroBD @stepbrobd.com · 9d

🤓☝️

check prometheus grafana and kanidm

github.com/stepbrobd/do...

dotfiles/modules/nixos at master · stepbrobd/dotfiles

yet another dotfiles repo with nix. Contribute to stepbrobd/dotfiles development by creating an account on GitHub.

StepBroBD @stepbrobd.com · 9d

for whatever reason 100+pp runs dont seem to be that hard anymore now 😱

StepBroBD @stepbrobd.com · 9d

9 nixos servers with alerting (grafana also running on nixos and monitors itself lmao)

StepBroBD @stepbrobd.com · 10d

sup weebs

StepBroBD @stepbrobd.com · 12d

* run the routing daemon on nixos 🤣