!etBYPdyCKgnXJSXexD:matrix.org

NixOS GSoC

247 Members
24 Servers

Load older messages


SenderMessageTime
30 Apr 2026
@sanskar-0day:matrix.orgSanskarThat's interesting, if the identity contract ends up being roughly equivalent to just writing a custom snid contract, it kind of suggests the inference step doesn't actually save much. Maybe the real value of automation isn't generating the contract itself, but just helping figure out which boundaries actually need one?05:58:21
@cinerealkiara:matrix.org@cinerealkiara:matrix.org
In reply to @sanskar-0day:matrix.org

That's interesting, if the identity contract ends up being roughly equivalent to just writing a custom snid contract, it kind of suggests the inference step doesn't actually save much.

Maybe the real value of automation isn't generating the contract itself, but just helping figure out which boundaries actually need one?

if we're talking inter-service boundaries, I think grepping service modules for `services\.\w+.* =` should go a long way in finding what else they set
07:57:54
@sanskar-0day:matrix.orgSanskarAgreed. Grepping gets us the obvious write boundaries for cheap, leaving a much smaller surface area to manually audit. Certainly better than overengineering it.09:18:58
@yyovil:matrix.orgYyovil Thanks Tristan Ross and Robert Hensing (roberth). Forever grateful to yall for this opportunity. 18:15:23
@roberthensing:matrix.orgRobert Hensing (roberth) Just posted the announcement on community Discourse 19:55:50
1 May 2026
@prescientmoon:moonythm.devprescientmoon joined the room.12:59:49
4 May 2026
@avali:avali.zoneAnnoyingRains changed their profile picture.02:36:05
3 May 2026
@avali:avali.zoneAnnoyingRains changed their profile picture.13:02:40
@elloutro:matrix.org@elloutro:matrix.org changed their display name from LaLoutre to Bastien.20:17:42
6 May 2026
@yoganshsharma:matrix.orgYogansh set a profile picture.03:33:00
7 May 2026
@cinerealkiara:matrix.org@cinerealkiara:matrix.org changed their profile picture.18:34:11
12 May 2026
@elloutro:matrix.org@elloutro:matrix.org left the room.16:42:46
13 May 2026
@devprashant__19:matrix.org@devprashant__19:matrix.org left the room.11:17:31
14 May 2026
@ahmedamrnabil:matrix.orgAhmed Amr joined the room.00:35:51
19 May 2026
@mossyguy:matrix.orgMossyGuy joined the room.20:14:16
@mossyguy:matrix.orgMossyGuy left the room.20:15:46
@mossyguy:matrix.orgMossyGuy joined the room.20:16:03
20 May 2026
@cinerealkiara:matrix.org@cinerealkiara:matrix.org left the room.12:25:34
24 May 2026
@jwh4j4ez25q:matrix.orgmaurice joined the room.18:19:13
27 May 2026
@s7ven:mozilla.org@s7ven:mozilla.org joined the room.15:12:21
@s7ven:mozilla.org@s7ven:mozilla.orgHm, much too late this year, will check in sooner next year. NixOS on GSoC 2027?15:23:17
@k900:0upti.meK900 If we're allowed to participate, I definitely hope we will 15:24:16
29 May 2026
@lassulus:lassul.uslassulus changed their profile picture.07:06:55
30 May 2026
@alexandrutocar:matrix.org- joined the room.16:33:53
31 May 2026
@qweered_real:matrix.orgAliaksandr set a profile picture.00:31:01
@s7ven:mozilla.org@s7ven:mozilla.org left the room.19:50:00
2 Jun 2026
@michaelssingh:matrix.org@michaelssingh:matrix.org joined the room.23:51:23
4 Jun 2026
@michaelssingh:matrix.org@michaelssingh:matrix.org left the room.08:23:40
12 Jun 2026
@opandddd:matrix.orgSapii/Saperson changed their display name from Sapii to Sapii/Saperson.01:24:30
13 Jun 2026
@debtquity:matrix.orgdebtquity set a profile picture.03:23:16

Show newer messages


Back to Room ListRoom Version: 10