Postdoctoral position on semantics of programming languages at University of Birmingham. is.gd/KGJTg9 #PostDoc #CompSci
0
0
0
0
Hashtag
#CompSci
Advertisement · 728 × 90
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
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 💻
16
3
0
1
ChatGPT really is quite brilliant at reviewing (and finding bugs) in C++ code. #cpp #coding #AI #compsci #ChatGPT
0
0
0
0
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
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
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
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
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
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
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
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
#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
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
"Reflective Reasoning rewrites the CoT to appear slow, careful, and methodical (e.g., explicit self-checks or step-by-step deliberation). This exploits an effort heuristic, where apparent deliberation is mistaken for correctness or rigor."
"We observe that content-based fabrications, specifically Progress Fabrication, induces the largest increases in both flip rate and FPR, indicating a particularly strong failure mode for VLM judges, while Reflective Reasoning remains comparatively benign." "Figure 7: Average judge susceptibility across CoT manipulation strategies, showing relative and absolute [change in false positive rate). Error bars denote variability across models."
"We observe that content-based fabrications, specifically Progress Fabrication, induces the largest increases in both flip rate and FPR, indicating a particularly strong failure mode for VLM judges, while Reflective Reasoning remains comparatively benign." "Figure 17: Average judge susceptibility across CoT manipulation strategies, showing average judgment flip rate. Progress Fabrication induces the largest flip rate, while Reflective Reasoning remains comparatively low. Error bars denote variability across models."
"Figure 5: Distribution of task categories across our evaluation suite. The 659 tasks span ten categories including booking, shopping, navigation, and information retrieval, with tasks drawn from existing benchmarks (WebArena, AssistantBench, WorkArena) and newly collected ones."
How well can #AI judge reasoning quality?
Rewriting agents' chain-of-thought "style" to *appear* more reflective (without changing action or inference) increased an #LLM judge's false positive rate (by 3% absolute or 18% relative).
doi.org/10.48550/arX...
#philMind #compSci
1
1
1
0
Rajan Lab at Cosyne Thurs., March 12 20:30-23:30 Pavilion 1 Poster Session 1 #1-059: Active electrosensing and communication in MARL-trained weakly electric fish foraging agents Sonja Johnson-Yu*, Satpreet Singh*, Zhouyang Lu, Aaron Walsman, Federico Pedraja, Denis Turcu, Pratyusha Sharma, Naomi Saphra, Nathaniel Sawtell, Kanaka Rajan *co-first authors Sat., March 14 11:45-12:00 Auditorium I Session 7: Dynamical Inference InputDSA: Demixing then comparing recurrent and externally driven dynamics Ann Huang*, Mitchell Ostrow*, Satpreet Singh, Leo Kozachkov, Ila Fiete, Kanaka Rajan *co-first authors
📍 #Cosyne26 bound?
Thrilled to have PhD students @annhuang42.bsky.social and Sonja Johnson-Yu representing the Rajan Lab this year. Shout out to co-first authors @satpreetsingh.bsky.social and @neurostrow.bsky.social.
Catch their sessions to learn about our newest work 🧠🤖
#NeuroAI #CompSci
25
5
0
0
