Just over 1 week left to apply to the International Visitor Program at SMRI/ The University of Sydney.

Are you a #MathSky researcher with a desire to collaborate with someone at an Australian university? Or Aus-based researchers, do you have a visitor in mind? Please share! Due 17 Feb
#CompSky

Synthesizing scientific literature with retrieval-augmented language models - Nature A specialized, open-source, retrieval-augmented language model is introduced for answering scientific queries and synthesizing literature, the responses of which are shown to be preferred by human evaluations over expert-written answers.

OpenScholar, an open-source language model that can outperform commercial LLMs in performing accurate literature reviews is presented in Nature. The tool has the potential to help scientists navigate the complex, ever-growing task of scientific literature review:

#CompSky #ComputerSkyence

With CONCUR, FoSSaCS & FM downgraded to ICORE B (as of today) the future for formal/theoretical CS researchers looks dim. Imagine getting 15 pages of highly technical/formalised work accepted, only for some “outsider” to dismiss it as “not A*”, whatever this means.
#academicsky #compsky #compsci

I guess I’ll have to adjust my scientific writing classes when it comes to the research ethics part. Something like “fabricating references is gross misconduct, but you might get away with it if the conference is big enough”
#compsky #academicchatter #neurips

Computational Techniques & Resources for Effective Translational Research in Alzheimer's Disease May 18 - 22, 2026 | Bar Harbor, Maine This hands-on workshop is designed to accelerate preclinical Alzheimer’s Disease (AD) research by equipping participants with computational techniques and tools t...

🧠 💻 Advance your translational #Alzheimers disease research with hands-on computational training at JAX.

Join an intensive, NIA-funded workshop focused on integrating multi-scale data from model systems and humans for preclinical AD research:
www.jax.org/education-an...

#Compsky #Alzsky #CompNeuro

I believe that every #compsci researcher/practitioner that has benefited from @dblp.org should seriously consider donating. Their service is priceless. #compsky
blog.dblp.org/2025/12/18/d...

black background with red text: "I'm still here, b*tches. [photo from Pretty Little Liars of all four friends reading phone] And I know everything. -A"

HAHAHAHAHAHA
YALL THOUGHT I WAS GONE?!?!
LMAO!!!!
#Imstillhere #prettylittleliars #whistleblower #womeninstem #compsky #techsky #silenced #metoo

#privacy #security #compSky #computerscience #compsci #tech #sneaky #dumb #notsmart

a woman wearing headphones says shout out to you in pink letters Alt: a woman wearing headphones says shout out to you in pink letters

Happy #CSEdWeek! Thanks for being part of our community this week. Today I want to spotlight some awesome educators and researchers I’ve appreciated learning from in terms of equity in CS. Give them a follow! #WomeninSTEM #AcademicSky #EduSky #CompSky (1/3)

Screenshot from git-wrapped dot com, showing Github stats from 2025. Universal rank: top 5% Longest streak: 8 days Total commits: 555 Total Stars: 31 Top language: Python

Cheers to one year of academic coding shenanigans 🐍🐍🐍
#compsci #compsky

I heart data

Happy #CSEdWeek! So far this week I’ve shared videos, op-eds, and infographics about our lab’s research on gender equity in CS. Today I want to share the research itself! Data lovers, rejoice—today is your day! (1/14) #WomeninSTEM #AcademicSky #PsychSciSky #DevPsychSky #SocialPsyc #EduSky #CompSky

Resources | College of Education | University of Houston Identity & Academic Motivation Lab Resources

Happy #CSEdWeek! How can we help girls feel like they belong in computer science and beyond? Check out some of the infographics we’ve made about our research: (1/13) #YOUBelongInSTEM #WomeninSTEM #AcademicSky #PsychSciSky #DevPsychSky #SocialPsyc #EduSky #CompSky
uh.edu/education/ia...

GitHub - lou1306/homebrew-formal: Homebrew formulae for formal methods Homebrew formulae for formal methods. Contribute to lou1306/homebrew-formal development by creating an account on GitHub.

My #homebrew tap underwent some winter cleaning today 🧹
- Updated Mathsat
- Removed fomulas for cvc4/cvc5 since they now have their official taps

If you’re a Mac user with an interest in SAT/SMT/automated reasoning, I think it’s worth a look 👀
#compsci #compsky #macos

github.com/lou1306/home...

Happy #CSEdWeek! All week I’m sharing findings from our lab’s research on gender equity in CS. Looking for some quick reads? Check out six of our op-eds about boosting girls’ interest in computer science! (1/10) #WomeninSTEM #AcademicSky #PsychSciSky #DevPsychSky #SocialPsyc #EduSky #CompSky

Happy #CSEdWeek! Since 2020, I’ve been sharing some of our lab’s research on gender equity in CS to celebrate. Despite progress in access/participation, disparities remain in K-12 CS education. (1/12) #WomeninSTEM #AcademicSky #PsychSciSky #DevPsychSky #SocialPsyc #EduSky #CompSky #GirlsLeadSTEM

Rebound library copies of Kernighan and Plauger's "The Elements of Programming Style" and "The Elements of Programming Style, 2nd edition".

I've got my reading material for the winter break.

#AcademicSky #CompSky #ComputerScienceEducation

I’ve got a shiny Computer Science label from @stemlabels.xyz 🏷️ they have plenty of categories to choose from and I highly recommend you apply for yours! Let’s make #AcademicSky easier to discover and navigate 🤩
#compsci #compsky #academicchatter #signalboost

Let’s rename it Intl Conference of LLM Reviews, so we get to keep the same acronym 😬 #compsci #compsky #academicsky

Another great day for the community 🫩 How can we ask for (let alone command) trust from the world at large, when we cannot even trust our own tools? #AcademicSky #compsky #compsi #iclr

Explaining Jack Black GIF ALT: Explaining Jack Black GIF

Done with my Operating Systems classes 🥹 Will I miss teaching youngsters the warts of C and POSIX? (Gulp) MAYBE? #compsky #compsci #academicchatter

We know who the culprit is, and honestly it is unbelievable that we cannot have good things because scarce (and might I add, publicly funded) resources are stolen by reckless gold rushers. Rate-limit or link-maze them all to hell, honestly. #compsci #compsky #academicchatter

Good news everyone! 🎉 #compsci #compsky #academicsky
cacm.acm.org/news/a-messa...

Reported 3 (small) bugs in 3 leading formal reasoning tools in the last 2 days. You can just do things 🤓 #compsky #compsci

Genetics Learning Resources The Jackson Laboratory Genomic Education division specializes in developing lessons, activities, and hands-on laboratory protocols for teaching and learning about genetics and genomics. The resources ...

📈🤖 With instructions from @jacksonlab.bsky.social, the tutorials make it easy to begin using #bioinformatics tools and #genomic databases to answer scientific questions.

For practice, check out our Cancer Genetics and Sequence Comparison modules: www.jax.org/education-an...

#iTeachBio #CompSky

Happy Ada Lovelace day everybody! 💾🎉 #compsky #compsci

Anti-*: The Things We Do But Not All The Way Writing about the big beautiful mess that is making things for the world wide web.

...And antipapers, of course 😅
blog.jim-nielsen.com/2025/my-antis/
#compsky #academicchatter #academicsky

AI model simultaneously detects multiple genetic colorectal cancer markers in tissue samples A multicenter study has analyzed nearly 2,000 digitized tissue slides from colon cancer patients across seven independent cohorts in Europe and the US. The samples included both whole-slide images of ...

Medical AI >>> stupid generative shit

medicalxpress.com/news/2025-08...

#medSky #compSky #healthSky #cancerresearch

Reimagining Travel with Blockchain Technology: Lessons Learned from the Failure of Winding Tree

🔍 Behind the Paper: 'Reimagining Travel with Blockchain Technology: Lessons Learned from the Failure of Winding Tree'. Business failures often lack transparency—Winding Tree is a rare exception. Discover the insights bit.ly/4oHjhWB #CompSky

I'll present our #CAV25 paper "Full LTL Synthesis over Infinite-State Arenas" at the #VASSAL workshop in Graz (co-located with #RV25)! My pal and colleague Shaun gave an excellent presentation in Zagreb, hope I'll match that bar :)
#academicchatter #compsky #compsci
vassal.fit.vut.cz/vassal-works...

#Digital #Humanities #postdoc position at Kent, in the School of Computing, as part of the £2.9m ARISE project. Closing date: 7 August 2025. Full info: jobs.kent.ac.uk/vacancy.aspx.... It's a 2.5yr position. #DigitalHumanities #AcJobs #AcademicJobs #CompSky #CS #compsci #CoastalCommunities #HCI