Latest posts tagged with #CompSky on Bluesky
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
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
🧠 💻 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"](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:zu6gznydpsqmuxiey6y3qwn3/bafkreicrtnmueu3sr5semhsa6asbnvocjmib6xkvwyjna7bzgzqajy2gwi)
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
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
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...
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
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
Reported 3 (small) bugs in 3 leading formal reasoning tools in the last 2 days. You can just do things 🤓 #compsky #compsci
📈🤖 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
...And antipapers, of course 😅
blog.jim-nielsen.com/2025/my-antis/
#compsky #academicchatter #academicsky
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
