TGViewer
PONV Daily PONV Daily @daily_ponv · 733 subscribers
Open in Telegram All posts from @daily_ponv
More from @daily_ponv
  1. Sep 14, 2026Tracking Redexes in the Lambda Calculus Jean-Jacques Lévy Residuals of redexes keep track…
  2. Sep 10, 2026Reference counting as a computational interpretation of linear logic Jawahar Chirimar, Car…
  3. Sep 6, 2026После лекции про System T меня расспрашивали про доказательства непротиворечивости и теоре…
  4. Sep 5, 2026https://dl.acm.org/doi/epdf/10.1145/2544173.2509546 Carbin, Misailovic, Rinard, [2013] "Ve…
  5. Aug 13, 2026Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecb…
  6. Aug 1, 2026People in the know say it's a daily-worth material, https://youtu.be/FTmmG3Dx8HA
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →