Posts by [email protected] | |
Post #AkaJBhDDNQEV2yYbkO by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall interesting technique. Could this be applied more generally to … | |
Post #AoTqOxNw12W37JrUjw by [email protected] | |
0 likes, 1 repeats | |
@david_chisnall I'd say LLMs are both worse and better than memory safety b… | |
Post #AroiFPROUifSlmXyMa by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall I haven't worked in automotive or a CHERI platform, but thi… | |
Post #AsmnAsMl6KHnx7pwrA by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall MS Office itself had a UI compatibility problem. I only ever us… | |
Post #AtNNfgI6dYZtWJCrCq by [email protected] | |
0 likes, 0 repeats | |
@azonenberg @nota @regehr C23 finally requires two's complement, so there i… | |
Post #AtNNvuOFz5FHshoySe by [email protected] | |
0 likes, 0 repeats | |
@regehr excellent, I always thought about how UB could be eliminated from the s… | |
Post #Atx5uMK6M5yiRzXwJM by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall I assume you're running that in screen/tmux? | |
Post #Au5FypwkiBTYI44v56 by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall what if you need to allocate memory while decoding (e.g. strdup… | |
Post #AumxMEiDS0gRaNxa6a by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall thinking about how this could be applied to OCaml: it different… | |
Post #AuxLNEvwSCfp2hzUeG by [email protected] | |
0 likes, 0 repeats | |
@JaxxAI @david_chisnall apparently it is a known issue with peering between OVH… | |
Post #AuxPidmvdj5u1fEe3c by [email protected] | |
0 likes, 0 repeats | |
@david_chisnall @JaxxAI is it only upload that is a problem, or also download? … | |
Post #AvvPhVfA1OuW1KerQ0 by [email protected] | |
0 likes, 0 repeats | |
@voltagex @david_chisnall I used Scaleway before. Only thing to be aware of is … |