#compsci 搜索结果
Just a couple bros talking about the future of #AI and how we can build a better world. Thanks again to Bruce Schneier and the folks at @Yale #compsci for the lecture. We've got an opportunity to shift the conversation toward what's best for humans in a world dominated by bots.
Building onto my personal raytracer the past couple weekends. Spent the time to add some soft shadows and volumetrics, pretty psyched. #compsci #gamedev #cpp
#MULCIA: PhD positions in automated and foundational verification at the Institute of Science and Technology Austria (ISTA). is.gd/VbhEov #PhD #CompSci
Well done! RU #CompSci students, Nick Belov (rising CS Senior), Thomas Yang (CS Class of 2024), and Eric Yang (rising CS junior), placed 11th in the ICPC North American Championship. cs.rutgers.edu/news-events/ne…
#MULCIA: PhD position in formal verification in Leiden, Netherlands. is.gd/XZOnPO #PhD #CompSci
FREE computer programming resource. 🚀 Time2Code (by Craig’n’Dave + Mission Encodable) helps students master Python & C#. Tried, tested, proven. Start today 👉 time2code.today #CompSci #GCSEComputing #Teaching #CraigNDave #TeamCompSci #time2code
RED HOT SPLOIT FUDGE PACK ALERT OpenBSD has had quite a large minus days root cause fixing pack of munitions rolled back and converted to thermonuclear scale unfixable vulns by some of the most awsm Aussie #CompSci computer scientists that spent a lot of time getting it done.
We are excited to announced that we have established an endowed scholarship at CSU in memory of Karen Vaughn! This scholarship supports Black women enrolled in Computer Science undergrad and graduate programs! #blacktechtwitter #blackwomenintech #compsci charlestonsouthern.edu/nubuya-begins-…
#MULCIA: Postdoc Position in AI Theorem Proving (ProofBench Project), TU Freiberg (Germany). tinyurl.com/29e3o7dh #PostDoc #CompSci #AI
GenAI for computing careers: A sunny take (Positive outcomes for computer science graduates will take some determined action from both educators and learners). ~ Saurabh Bagchi. cacm.acm.org/blogcacm/genai… #GenAI #CompSci #Education
🚀 Bring CS to life for K–2 students! Join a free PD session on GASHA GO! World—fun games, videos & resources from GPB + @georgiadeptofed that spark creativity & critical thinking. 💡 Lunch & sub pay included 📍 Sessions across GA 🗓️ Apply now: tinyurl.com/54utu3u6 #compsci
Bring #TechApps to life in your K–5 classroom with our next #CompSci training September 16–18! ✅Hybrid, 3-day training ✅Free computing set ✅$30 | 12 CPEs Save your spot: esc4.net/event/sci-1920…
Trending in #CompSci: ooir.org/index.php?fiel… 1) Autonomous surgery (@SciRobotics) 2) Predicting inflammation after vaccine (@LancetDigitalH) 3) Neural network & important relationships 4) Cardiac MRI & Air Pollution (@radiology_rsna) 5) Medical needles in the hands of AI
"If the core concept in computer science is the algorithm, then maybe AI is the field of solving problems that do not have algorithmic solutions" Amanda Stent @astent, Head of AI Strategy at Bloomberg, joined us this morning to share insights on #AI and #CompSci #MelioraWeekend
Just a couple bros talking about the future of #AI and how we can build a better world. Thanks again to Bruce Schneier and the folks at @Yale #compsci for the lecture. We've got an opportunity to shift the conversation toward what's best for humans in a world dominated by bots.
sn-news: #maths #compsci #ai #ml Startup Proposes ‘Better Math’ for AI Efficiency eetimes.com/startup-propos…
'Reverse #mathematics' illuminates why hard problems are hard - Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent quantamagazine.org/reverse-mathem… #compsci #math
quantamagazine.org
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard | Quanta Magazine
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.
50 years of proof assistants lawrencecpaulson.github.io/2025/12/05/His… #compsci #logic #math
sn-news: #maths #compsci DualMatrix: Conquering zkSNARK for Large Matrix Multiplication eprint.iacr.org/2025/1768
#MULCIA: PhD position in formal verification in Leiden, Netherlands. is.gd/XZOnPO #PhD #CompSci
Readings shared December 3, 2025. jaalonso.github.io/vestigium/post… #CompSci #FunctionalProgramming #Haskell #ITP #LeanProver #Math
sn-news: #maths #compsci #ai #ml Aristotle - IMO-level Automated Theorem Proving arxiv.org/pdf/2510.01346
‘Reverse mathematics’ illuminates why hard problems are (Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent). ~ Ben Brubaker. quantamagazine.org/reverse-mathem… #Math #CompSci
quantamagazine.org
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard | Quanta Magazine
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.
Building onto my personal raytracer the past couple weekends. Spent the time to add some soft shadows and volumetrics, pretty psyched. #compsci #gamedev #cpp
RED HOT SPLOIT FUDGE PACK ALERT OpenBSD has had quite a large minus days root cause fixing pack of munitions rolled back and converted to thermonuclear scale unfixable vulns by some of the most awsm Aussie #CompSci computer scientists that spent a lot of time getting it done.
I am hoping that most university computer science courses are keeping AI at an arms length. If not, we are fucked. #compsci #ai #chatgpt #grok
Follow along for notes on logic gates, hardware, and the MIPS architecture. medium.com/@emodexohimai #CompSci #Hardware #TechEd #SwiftUI #TechnicalWriting
Yes, if they said mine and my friends parents would be targeted before we signed up to study properly good #CompSci beforehand, I would have done #Concrete instead. It's a bit unfair. Life as a #TI is rather sucky, but I have lived 100 lives of fun. I do always get all the fun.
#MULCIA: PhD positions in automated and foundational verification at the Institute of Science and Technology Austria (ISTA). is.gd/VbhEov #PhD #CompSci
Interestingly because the copyright date was wrong (2007 instead of 2017) Grok hallucinated four different bugs in my C++ thread pool class -- it projected bugs on my code that simply weren't there. #cpp #coding #compsci #AI
Readings shared November 24, 2025. jaalonso.github.io/vestigium/post… #CompSci #CoqProver #ITP #LeanProver #Logic #Math #Physics #SetTheory #TypeTheory
Something went wrong.
Something went wrong.
United States Trends
- 1. Alina Habba 9,778 posts
- 2. Piers 26.2K posts
- 3. Wolves 77.1K posts
- 4. Paramount 73.6K posts
- 5. Chargers 14.8K posts
- 6. Carragher 28.4K posts
- 7. Cunha 11.2K posts
- 8. #WOLMUN 6,022 posts
- 9. Manchester United 36.3K posts
- 10. Farmers 72.9K posts
- 11. #NXXT_DOESupport N/A
- 12. Kyle 31.8K posts
- 13. Jermaine Burton N/A
- 14. #CHILISSKILLETQUESO 1,196 posts
- 15. Go Birds 6,165 posts
- 16. Jiffy Pop N/A
- 17. Jasmine Crockett 17K posts
- 18. NextNRG Inc. 3,132 posts
- 19. Mbeumo 8,902 posts
- 20. Mbuemo 1,760 posts