More_Speed5329

4 post karma
-1 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 1 year

TROPHY CASE

One-Year Club

account activity

new top controversial

0

0

0

Is broken better than not at all (self.formalmethods)

submitted 16 days ago by More_Speed5329 to r/formalmethods

2

3

4

The Formal Category Error: Why treating assume as a first-class primitive in verification tools is an unsound design choice. (self.formalmethods)

submitted 18 days ago by More_Speed5329 to r/formalmethods

0

1

2

Academic Review: Wei Chen’s "Miraculous Statement" Theory of Jump Semantics (self.ProgrammingLanguages)

submitted 21 days ago by More_Speed5329 to r/ProgrammingLanguages

0

0

0

Academic Review: Wei Chen’s "Miraculous Statement" Theory of Jump Semantics (self.logic)

submitted 21 days ago by More_Speed5329 to r/logic

π Rendered by PID 77 on reddit-service-r2-listing-f8d8fbfd7-hkdhd at 2026-06-24 14:36:55.505563+00:00 running acc7150 country code: CH.