https://lobste.rs/s/dlxlvj/okay_what_actually_uses_rust
interesting to learn about rust users you don't hear often about (see the comments)
https://lobste.rs/s/dlxlvj/okay_what_actually_uses_rust
interesting to learn about rust users you don't hear often about (see the comments)
Question for #PL folks:
Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.
Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.
After several attempts to get my text published, it has turned into something I can in no way call my own work. Everything, from the title and terminology to the structure and presentation of proofs, has been dictated by reviewers and the editors requirements. As a result, I have absolutely no desire to put my name to what has come of it: it is not my work, and these are not my words.
However, this is how academia works: as a junior researcher, you do not have the freedom to refuse to publish under your name, even if you strongly disagree with the content. You either publish what you are told to publish, or you leave the profession. I suppose I would probably go for the second option.

The non-equilibrium dynamics of mesoscale phase transitions are fundamentally shaped by thermal fluctuations, which not only seed instabilities but actively control kinetic pathways, including rare barrier-crossing events such as nucleation that are entirely inaccessible to deterministic models. Machine-learning surrogates for such systems must therefore represent stochasticity explicitly, enforce conservation laws by construction, and expose physically interpretable structure. We develop physics-aware surrogate models for the stochastic Cahn-Hilliard equation in 3D that satisfy all three requirements simultaneously. The key innovation is to parameterize the surrogate at the level of inter-cell fluxes, decomposing each flux into a deterministic mobility-weighted chemical-potential gradient and a learnable noise amplitude. This design guarantees exact mass conservation at every step and adds physical fluctuations to inter-cell mass transport. A learnable free energy functional provides thermodynamic interpretability, validated by independent recovery of the bulk double-well landscape, interfacial excess energy, and curvature-independent interfacial tension. Tests demonstrate accurate reproduction of ensemble statistics and noise-accelerated coarsening, with generalization to spatial domains 64 times larger in volume and temporal horizons 160x longer than those seen during training. Critically, the stochastic surrogate captures thermally activated nucleation in the metastable regime, a qualitative capability that no deterministic surrogate can provide regardless of training, thus establishing flux-level stochasticity as an architectural necessity rather than an optional enhancement.
I stumbled upon this #CS concept today: false sharing. I don't remember working on a problem like this before, it's interesting,. #performanceIssues
