Viewing profile — edoardobambini-

[flagged]

Hi! they are deterministic

I'm really open to hear from others! Did you solve it in some way?

[dead]

[dead]

[dead]

Feels like a case of domain-specific optimization. People can be extremely effective in one domain (e.g. building companies) without having a strong feedback loop for correctness i…

A lot of past neuro-symbolic work struggled because the integration layer was too tightly coupled. Either the symbolic part constrained the model too much, or the neural part bypas…

[dead]

[dead]

[dead]

[dead]

[dead]

[flagged]

[dead]

[dead]

The idea is interesting, but these projects usually fail on semantic mismatch. Rust’s guarantees (ownership, borrowing, lifetimes) are not just syntax — they’re deeply tied to how …

[dead]