Posts by c_cube@octodon.social
(DIR) Post #9vYaldog3qqEhei4Zs by c_cube@octodon.social
2020-05-30T01:32:55Z
0 likes, 0 repeats
@sir 9p seems interesting, even in a modern context. And it can be used on any OS and userland. Do you think it should be used more, or that outside of that actual plan9 it's not that relevant?
(DIR) Post #9veMrtEzfFpeYs54pU by c_cube@octodon.social
2020-06-01T20:26:55Z
0 likes, 0 repeats
@solderpunk that's what I was thinking of!! Schismatrix+!
(DIR) Post #9vutftB4nQAcRsJ7vk by c_cube@octodon.social
2020-06-09T19:48:55Z
1 likes, 0 repeats
@sir is that the one with Impossiblium? 😂
(DIR) Post #9vuu1HLY8EQxULPDLk by c_cube@octodon.social
2020-06-09T19:51:30Z
1 likes, 0 repeats
@sir Ah that's right. And fusion bombs in the core. It's a good stupid show indeed.
(DIR) Post #9vwmXaafhy217cIKUy by c_cube@octodon.social
2020-06-10T17:38:35Z
0 likes, 0 repeats
@sir I wonder if you looked at grpc (or capnproto, for that matter), and if you did, what made you decide against it?
(DIR) Post #9vwnh7n5juAKeRDN5c by c_cube@octodon.social
2020-06-10T17:50:45Z
0 likes, 0 repeats
@sir is it because of http2?I think protobuf is neat, but I don't have experience with grpc (the implementation) and since it's googleware I can imagine it's heavy.
(DIR) Post #9vwsPE9FraXUvWrmvw by c_cube@octodon.social
2020-06-10T18:44:10Z
0 likes, 0 repeats
@sir @_1751015 I don't think using "coproduct" is a good idea there, BUT sum types are absolutely great. Languages without them are just a pain in the butt.
(DIR) Post #9w6polJz74xLCa8DhY by c_cube@octodon.social
2020-06-15T14:01:56Z
0 likes, 0 repeats
@sir is there an overflow in your code if i == MIN_INT? At `i = -i;`
(DIR) Post #9wFTCUhXnOBhKwQBLk by c_cube@octodon.social
2020-06-19T17:53:27Z
0 likes, 0 repeats
@solderpunk I'm convinced by your email on TOFU, pretty cool argumentation. TLS is a good idea.Maybe old certs can be used to sign newer certs, to palliate the case where you connect to a gemsite from a café and its certificate was renewed since last connection?
(DIR) Post #9wFvwjtegxF3rHnaDY by c_cube@octodon.social
2020-06-19T23:22:28Z
0 likes, 0 repeats
@sir that's almost https://json5.org/ , minus the binary data part…
(DIR) Post #9wFwFqOmk1efWhTA7U by c_cube@octodon.social
2020-06-19T23:26:41Z
0 likes, 0 repeats
@sir sum types would be very useful. Very very useful.https://queue.acm.org/detail.cfm?id=2038036 has good arguments about why they're useful for modelling data.
(DIR) Post #9wFwrT4vtT0ECj7kZs by c_cube@octodon.social
2020-06-19T23:32:55Z
0 likes, 0 repeats
@sir just call them "tagged unions" if they offend your susceptibilities.
(DIR) Post #9wK12tUvlYoPhaikpk by c_cube@octodon.social
2020-06-21T22:40:14Z
0 likes, 0 repeats
@amolith what a bad name. Unicode is important, so this should be plaintextribbon, not ascii!
(DIR) Post #9wLOHLtRTvzrvW0cJk by c_cube@octodon.social
2020-06-22T14:33:58Z
0 likes, 0 repeats
@sir looks like untagged unions are not playing well with the first rust implementation.
(DIR) Post #9wLQrbxZQL625cMDDM by c_cube@octodon.social
2020-06-22T15:03:00Z
0 likes, 0 repeats
@sir They're tagged in the wire format, but not in the IDL. Tagged unions would typically take an enum as a parameter and map each case to a message.See for example zig: https://ziglang.org/documentation/master/#Tagged-union
(DIR) Post #9wLRpiqgwJ70pYnqQi by c_cube@octodon.social
2020-06-22T15:14:00Z
0 likes, 0 repeats
@sir I don't see a tag in `(a|b|c)`. I see an anonymous union where the order of declarations matters.It's the same thing as removing `struct` (with named fields)` and replacing it with tuple syntax `(string, string, i32, bool, i64)` without names. Still technically a struct, but the code generated from that gives you accessors by position, not name, of fields.
(DIR) Post #9wNggee55MJMofxUP2 by c_cube@octodon.social
2020-06-23T16:45:18Z
0 likes, 0 repeats
@smondet any chance for a RSS feed on that blog? :)
(DIR) Post #9wNhbhMfeF0Zkw11pA by c_cube@octodon.social
2020-06-23T17:15:25Z
0 likes, 0 repeats
@smondet fair enough, I'll have to follow on Mastodon.Are you aware of Lwd btw, since you look at let-def's creations?
(DIR) Post #APfr3OWo54ipuuHphI by c_cube@octodon.social
2022-11-16T21:42:39Z
0 likes, 0 repeats
@robpike It might be for parents of toddlers, to know not to keep such pouches within range. Toddlers will eat anything!
(DIR) Post #AQjeFYGfBU0FYFO2wy by c_cube@octodon.social
2022-12-16T17:04:18Z
1 likes, 1 repeats
Today's a big like an early Christmas in the OCaml community! The (very) long awaited muticore GC is released in OCaml 5.0. It's been a long journey for contributors and maintainers, I hope it'll make some noise on lwn and the likes. Also, the arrival of effects means OCaml is back at the forefront of FP ergonomics. You can now write a fiber scheduler directly in OCaml, to your taste, with the same ergonomics as Go and the likes. Bye, concurrency monads 😍!