Advertisement · 728 × 90
#
Hashtag
#Compsci
Advertisement · 728 × 90
Inclusion - IDEATE Universal Design for Learning This webinar with Dr Anne Ozdowska, IDEATE program researcher, was held on 10 March 2026 with around 50 participants. It provides an introduction to universal design for accessibility and inclusion in tech courses like computer science and software engineering, and practical advice to implement this in…

Want to make your uni courses more accessible for a better student experience?
IDEATE has a free video on Universal Design for Learning in tech courses, led by our researcher Dr Anne Ozdowska: ideate.community/res...
More free resources on our website
#SoftwareEngineering #CompSci #Accessibility

1 0 0 0
"Figure 2: Architecture and training workflow of F/S-RM. (a) Adaptive reasoning task. (b) Reward signal generation modeled as an adaptive reasoning chain. (c) Two-stage training pipeline for optimizing fast-thinking judgment and slow-thinking CoT reasoning."

"Figure 2: Architecture and training workflow of F/S-RM. (a) Adaptive reasoning task. (b) Reward signal generation modeled as an adaptive reasoning chain. (c) Two-stage training pipeline for optimizing fast-thinking judgment and slow-thinking CoT reasoning."

"Table 1: Comparison on RewardBench, RM-Bench, JudgeBench, and average performance. Bold numbers indicate the best performance, Underlined numbers indicate the second best. ∆ shows hybrid performance change vs. full slow thinking; ↓ shows token reduction vs. full slow thinking. Detailed comparison results are provided in the Appendix A.7."

"Table 1: Comparison on RewardBench, RM-Bench, JudgeBench, and average performance. Bold numbers indicate the best performance, Underlined numbers indicate the second best. ∆ shows hybrid performance change vs. full slow thinking; ↓ shows token reduction vs. full slow thinking. Detailed comparison results are provided in the Appendix A.7."

Here's another one using reward models: doi.org/10.48550/arX...

Sidenote: "First token PERDITION" made me laugh — reinforcement learning meets Christian theology!

#cogSci #CompSci #religion

1 1 0 0
Post image

Scott Aaronson tells the story a story annoyances and rewards of teaching precocious pre-teens theoretical computer science. You can find a PDF of Aaronson's lecture notes at the link.
#ComputerScience #CompSci #mathematics #math #MathEd
Source:https://buff.ly/QqiPCXO

2 0 0 0

#CompSci

2 0 0 0
Preview
Research Fellow at University of Birmingham Discover Research Fellow jobs and more in higher education on jobs.ac.uk. Apply for further details on the top job board.

Postdoctoral position on semantics of programming languages at University of Birmingham. is.gd/KGJTg9 #PostDoc #CompSci

0 0 0 0

Open position: PostDoc to work on foundation models for knowledge graphs at the University of Stuttgart. is.gd/OQ8o7v #PostDoc #CompSci

0 1 0 0

PhD/Postdoc positions in credible AI, Warsaw University of Technology (Poland). is.gd/EIKiq0 #PhD #PostDoc #CompSci #AI

0 0 0 0

#MULCIA: Postdoctoral Researcher in Safe AI (AI4KIDS Project), University of Luxembourg. is.gd/OtD3yq #PostDoc #CompSci #AI

0 0 0 0

Software engineering and AI.

There are two ways to use AI:

1) the wrong way: vibe coding (bullshit technical debt creation);
2) the right way: as a code review assistant (ChatGPT is great at that).

#AI #coding #compsci

3 0 1 0
Post image

Rose Dieng-Kuntz would have been 70 years old today. The first African woman admitted to the Ecole Polytechnique, she soon rose to the top rank of computer scientists through her work on the semantic web and research on parallelism and ontology in early AI systems.

#WomenInSTEM #WHM #CompSci 💻

18 4 0 1

ChatGPT really is quite brilliant at reviewing (and finding bugs) in C++ code. #cpp #coding #AI #compsci #ChatGPT

0 0 0 0
Post image Post image

Shoutout to Rutgers University Cybersecurity Club (RUSEC) for representing Rutgers University at the Information Security Talent Search (ISTS) 2026 at RIT in Rochester! The competition challenged teams across multiple stages, testing both technical skill and teamwork. #rutgers #compsci

1 0 0 0
Post image

This blog post by Gil Kalai should be read in conjunction with the NYTimes article on this year Turing Award. It puts the "coulds" in context.
#mathematics #math #ComputerScience #CompSci #QuantumComputing
Source:https://buff.ly/1cX7pE4

0 0 0 0
Post image

I would only note that there are a lot of "coulds" in the article.
#mathematics #math #ComputerScience #CompSci #cryptography #award
Source:https://buff.ly/15zRhse

0 0 0 0
Post image

Happy birthday to the genius Emmy Noether, who revolutionised abstract algebra!

Both in (continuous) group theory, allowing a deeper understanding of physics and in commutative algebra, allowing breakthroughs in algebraic geometry leading to distributed computing.

#mathematics #physics #compsci

0 0 0 0

I recently learned in my #compsci course how to calculate #binary, and just generally remembered how to work with converting base 10 to other bases.

This course really lets me #nerd out on such small things. On that note: 1000101

iykyk ;)

I just hope I keep up this degree of passion.

0 0 0 0

AI bubble will soon burst, I predict. There is too much technical debt (created by AI code generation) and too much monetary debt (hyperscaler investment). #AI #compsci

0 0 0 0
Monologue: LLM Code Is Already Breaking Big Tech | Better Offline
Monologue: LLM Code Is Already Breaking Big Tech | Better Offline YouTube video by Better Offline

www.youtube.com/watch?v=XoUv... #AI #compsci

0 0 0 0
Preview
Canonical Forms and Widening for Two Variables Per Inequality Systems - Mathematics in Computer Science Program verification using abstract interpretation involves the symbolic calculation of fixpoints over lattices. Integral to these fixpoint calculations is widening, an operation that trades precision...

New paper... Canonical Forms and Widening for Two Variables Per Inequality Systems, with Martin Brain, in the Mathematics in Computer Science. Discusses canonical forms for two variable per inequality systems, and widening for weakly relational domains. #compsci link.springer.com/article/10.1...

0 0 0 0
Celebrating Tony Hoare's mark on computer science - Bertrand Meyer's technology+ blog Tony Hoare at the LASER summer school, September 2007 (All photographs in this article are by the author) Had they included just one of Tony Hoare’s major achievements, many scientific careers would b...

Wonderful:

“Celebrating Tony Hoare’s Mark On Computer Science”, Bertrand Meyer (bertrandmeyer.com/2026/03/16/c...).

Via HN: news.ycombinator.com/item?id=4742...

On Lobsters: lobste.rs/s/tr5qdg/cel...

#RIP #Obituary #ComputerScience #TonyHoare #CARHoare #CompSci #CS

0 0 0 0

So much AI slop out there for real software engineers to fix, rumours of the death of software engineering as a career are greatly exaggerated. #AI #compsci

1 0 0 0
Headshot of Dr. Aidan Daly

Headshot of Dr. Aidan Daly

Education and research credentials for Dr. Aidan Daly

Education and research credentials for Dr. Aidan Daly

Welcome to our new member Dr. Aidan Daly, who is a Senior Computational Scientist at @nygenome.org. He works in the Vicković Lab & Center for Genomics of Neurodegenerative Disease, modeling changes in gene expression and extracting mechanistic insights from biopsy.
#MachineLearning #CompSci

2 0 0 0
Post image

T ∩ O | t = ∅
The Intersection of Truth and Observation, at Time Zero, is the Empty Set.
(註:本項邏輯封裝代表真實主體與觀測影像在絕對瞬間互斥。)

🔗 gist.github.com/Sigma-Phi/11...

#f4d9c8a1 #b2e30764
#FormalMethods #SystemsArchitecture #QuantumLogic #ObservationEffect #CompSci

0 0 0 0
Original post on mastodon.social

#AI #chatbot #LLMs #GenAI #anthropomorphization then sadly followed by #aipsychosis #aidelusion

Originally 1966 #ELIZAeffect coined by #Weizenbaum who escaped nazi germany as teenager, to become #mit #compsci pioneer
https://en.wikipedia.org/wiki/ELIZA_effect

programmed a simple psychiatrist […]

0 1 0 0

The key to solving any NYT Pips is filling unique constraints, backtracking and recursion. Happy Pi Day!

Pips #209 Hard 🔴 1:57

#pips #compsci #pi

0 0 0 0

cs.stanford.edu/~knuth/chatG... #AI #compsci

0 0 0 0

Knuth and AI: www-cs-faculty.stanford.edu/~knuth/paper... #AI #compsci

0 0 0 0

The great software engineering schism, coming soon. Pick a side. Do you use AI to generate code and then attempt to review it or will you, human, write code yourself and then leverage AI to review it? I am not a prompt engineer, I am a coder, through and through. #AI #compsci #engineering #tools

0 0 0 0

I think there will soon be two software engineering camps: those who use AI to generate code and those who use AI to review code; I am in the latter camp. #AI #compsci

1 0 1 0

ChatGPT is now my C++ code reviewer of choice -- it spotted a bug in a fairly complex commit that both Grok and Claude missed. #AI #compsci #coding #gamedev #cpp

1 1 0 0