First post on 🦋 network. Greetings everyone. If you are interested in #machinelearning #deeplearning #dynamicalsystems #appliedmath #theoreticalcs, let's connect.

#TechPhilosophy #NeuroAI #HPC #Cybernetics #ExistentialRisk #ComputationalPhysics #Maths #TheoreticalCS #Futurism #Transhumanism #Rationalism #LessWrong #Alignment #AISafety #ExplainableAI #DeepTech #TechTwitter

Join us at Bletchley Park this 16–18 Sept for Computable 90!

Hear why our team can't wait for this landmark event celebrating Alan Turing's legacy.

Watch: youtu.be/5c5zuOJDWlI

ECR bursaries available—please RT & share!
#AlanTuring #ComputerScience #TheoreticalCS #Maths #AI #BletchleyPark

Update: we now have a full line-up for the 2 Inspirational and 6 Rising Star talks at our pre #FOCS2025 "Celebration of #TheoreticalCS" event at 🇦🇺 #USyd!

More info (and free registration): sites.google.com/view/celebra...

Travel support (deadline ⏰ Sep 19 AoE): sites.google.com/view/celebra...

And that's a wrap for the semester! All the talks of the season are now available on our website:
sites.google.com/view/tcsplus...
and YouTube channel:
www.youtube.com/@TCSplusSemi...

Thank you to all attendees, and to our wonderful speakers—and see you in the Fall! #TCSSky #TheoreticalCS

zenodo.org/records/1599...
Uploaded v1.2 introducing new epistemological framework: constraint realism

#ConstraintRealism #epistemology #cognition #theoreticalCS #AIalignment #philosophy #complexity #simulation #embeddedagency

“The Gödelian Constraint on Epistemic Freedom (GCEF)”
A topological theory of embedded cognition, simulation occlusion, and unsolvable problems.

Read the paper → zenodo.org/record/15875...

#epistemology #cognition #theoreticalCS #AIalignment #philosophy #complexity #simulation #embeddedagency

Theoretical study showing promise problems behave fundamentally differently from languages in relativized settings. Improves upper bound on Quantum-Classical Polynomial Hierarchy and proves self-lowness of PromiseBQP under robust oracle access.

#QuantumComplexity #TheoreticalCS #Research

For Theoretical Computer Scientists

#algorithm #Complexitytheory #Theoreticalcs #Big-o-notation #Pvsnp

https://programmerhumor.io/algorithm-memes/for-theoretical-computer-scientists-sk3h

Solving this could revolutionize cryptography, algorithms, and AI, shaping technology and security for decades. #TheoreticalCS #PvsNP

This matters because it deepens our grasp of foundational principles, enabling more robust algorithms and formal verification methods. It shifts how we approach problem-solving and system design in computer science. #TheoreticalCS #FutureTech

A new study shows Kikuchi‑hierarchy spectral algorithms meet the optimal λ ≥ Θ_r(1) n^{-r/4} ℓ^{1/2‑r/4} bound for Tensor PCA, eliminating the √log n factor. Read more: https://getnews.me/sharp-trade-off-for-tensor-pca-via-kikuchi-matrix-bounds/ #tensorpca #kikuchihierarchy #theoreticalcs

This proof shows a dramatic theoretical compression in memory needed for computation. From t/log(t) bits down to roughly sqrt(t). Groundbreaking for theoretical computer science. #TheoreticalCS 2/5