#compsci 검색 결과

'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

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

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

Vibe coding? #compsci #ai #grok #chatgpt

#1 Stochastic Parrot you mean. #compsci #AI

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

In here is where the future starts #Futures #compsci #UoN

Just a little Lab my class is working on ;) #compsci @durhamcollege #cisco

It is possible to teach an old dog 🦮new tricks 👨🏻‍💻 - Just finished @Harvard @cs50 AI with #Python course. Thank you @davidjmalan & @brianyu28 for an excellent program. This was a challenging course implementing AI/ML algorithms #compsci #ArtificialIntelligence #TensorFlow

That's a wrap on our @SimonsdaleElem grades K-2 Coding Camp!! ⛺5 weeks, 10 classrooms, and 40 total lessons teaching @VDOE_News Algorithms and Programming #compsci standards. @PortsVASchools @ebracyPPS @nicscud @jennthomas75 @KrisLiCastro #PPSshines #PPStrt #PPScodes

"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

Our @dressCodeHQ Hopper Award winner for this session is the wonderful Dervla D! Top Scottish team in @GCHQ language comp, joint winner of @CarlukeHS S3 CompSci prize, summer immersive scholarship at @Cambridge_Uni to study #compsci...!!!👏👏👏

I'm excited to be sharing #NorthsideStJ journey to implementing a talent development program. Come hear Wendy, Sarah, Lydia, and me share what that looks like in #compsci #MESPAInstitute2024 @MESPAprincipals

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…

Behind the scenes of our upcoming series on computer science pathways in Georgia! 🎥 We spoke with Brandon Murray, who teaches Internet of Things at McIntosh High School, about what students learn in his class and how its concepts are applied in the real world. 💻 #compsci

HAPPY TEACHER APPRECIATION DAY! Thanks to our talented teachers, encouraging both teachers & students alike in their #CompSci #GameDesign journeys. 🍎🍏🍎🍏🍎🍏UP! From left Joelle Darcy Stephanie Kathryne Vanessa Alfredo Matthew. Alejandro & Danny 💪. Savannah & Wynta inset.

A student in #compsci degree paid to get hard assignment done in his name. Then the actual coder tried to blackmail him for more money, or he would report him. So many questions, but this is close to my heart. 1/n

This project showcases how the ability to design & fabricate our own custom #electronics through real-world production techniques empowers learners of all levels to create incredible inventions & prototype solutions! The possibilities are endless… @makeymakey #STEM #CompSci

Covers and pre-orders are live! amazon.com/stores/D.-J.-C… I am so proud of the work @julielibrarian and I did together. Can't wait to hold the real books in our hands... #compsci #kidlit #picturebooks #girlswhocode #girlpower #childrensbooks #childrensbookart #illustration #art

An important paragraph in this paper on #gender and #compsci nature.com/articles/s4152… Downplaying serves to stay alive.

TAU kicked off #AIDay to a #fullhouse with an opener featuring top Uni #CompSci researchers who spoke on #AI and #law, #cybersecurity, and #global research. @cyberweekTLV @TAD_TAU

Back at #MSBuild and delighted to meet @sethjuarez again! 8 years since I met him last, he has been a huge influence on my career choices, as I reach the end of my #CompSci degree #AI #MSFTStudentAmbassadors

It's #CSEdWeek Dec.9-15, an annual call to action to inspire students to learn #compsci It's what we do best & we're fired up to celebrate 🎊 We’re all about #gamedesign as education. Students learn creative confidence & high-tech skills + collaboration, leadership,…

Introducing our esteemed sponsor for #JuliaCon2024, cloud.jolin.io — an agile development platform revolutionizing the workflow for computational scientists. Excited for a future where code meets computational excellence! #DevTools #CompSci #JuliaLang

Did you know CS can seamlessly integrate with all subjects? From algorithms in math to data analysis in social studies, #compsci knowledge & skills support all areas of the curriculum. Learn more at “Computer Science+Core Subjects=Win for Learning” @ 10:30am today at #CSTA2024!

Computer science skills are always in demand at NSA. We’re also more than happy to bring our employees up to speed through classes, training and certifications. #compsci #computerscience #computerscienceeducationweek

Diving into SQA marking again! Time to evaluate all the hard from the students this year. Let's do this! 📚 ✍️ #exammarking #teaching #CompSci