screenshot of CERCA, an open-source research tool that supports the verification of bibliographic references in scientific manuscripts.
A new version of CERCA, the Citation Extraction & Reference Checking Assistant, is out. I've added support for Semantic Scholar's API. You need to request a Free API Key and enter it in Settings in the top menu bar.
www.semanticscholar.org/product/api#...
Today in 1934, #ACMTuringAward recipient Robin Milner was born. Milner received the Turing Award in 1991 for foundational contributions to programming languages, logic, and concurrency. Read more about his contributions and impressive career, here: amturing.acm.org/award_winner...
Series finale! The LaTeX Korrektor 6/6 - Ten Commandments www.youtube.com/shorts/HAodi... #LaTeX #LaTeXKorrektor
Read the LaTeX advice by Diomidis Spinellis (@coolsweng.bsky.social): github.com/dspinellis/l...
All six episodes of the LaTeX Korrektor: www.youtube.com/watch?v=EhsM...
For your enjoyment: "The LaTeX Korrektor" www.youtube.com/shorts/EhsMd... #LaTeX #LaTeXKorrektor
The LaTeX Korrektor 3/6 - Vertical Space: www.youtube.com/shorts/n9iLf... #LaTeX #LaTeXKorrektor
Can one reject papers because of bad typography? The LaTeX Korrektor 4/6 - Math Mode: www.youtube.com/shorts/mc8ro... #LaTeX #LaTeXKorrektor
Missed previous episodes? This playlist has them all: www.youtube.com/watch?v=EhsM...
Why, oh why does your bibliography have all titles in lowercase? WHY? The LaTeX Korrektor 5/6 - Citations: www.youtube.com/shorts/0nk72... #LaTeX #LaTeXKorrektor
Missed previous episodes? This playlist has them all: www.youtube.com/watch?v=EhsM...
In my seminar last week, the students discussed "Understanding and improving artifact sharing in
software engineering research" by Timperley, @laurenherckis.bsky.social,
@clegoues.bsky.social, and @michaelhilton.bsky.social. For their presentation they chose the overhead projector ...
Seems like I am too kind in reviews (yet being reviewer 2 in this case).
Well, I hope my review will help authors digest the other two (that are completely true yet a bit more abrupt).
In reality we should always be kind, true, fair, but kind. The question is seing the glass half empty or half full.
C'est parti pour la Fête de la Science ! 🚀
RDV jusqu'à 18h sur le campus Pierre et Marie Curie pour découvrir la science en s'amusant 🙌
👉 Consultez le programme : swll.to/w7Lz4N
#FDS2025
Ah l’atelier des potions, gros succès auprès du petit (et on ramène le shampoing). La main robot qui attrape la pomme a aussi beaucoup plu.
The OPAL team just released version 6 of our program analysis framework. As a major release, it features more improvements than can be explained in a post. So just a few teasers: JVM bytecode up to version 25, new solver for IDE problems, def-use webs, string analysis, ...
github.com/opalj/opal/r...
The "AI" research community:
1) Claims to be building "everything machines", doesn't acknowledge that that means what they're doing is untestable (see Gebru & Torres 2024)
firstmonday.org/ojs/index.ph...
>>
daniel:// stenberg:// @bagder@mastodon.social Joshua Rogers sent us a *massive* list of potential issues in #curl that he found using his set of AI assisted tools. Code analyzer style nits all over. Mostly smaller bugs, but still bugs and there could be one or two actual security flaws in there. Actually truly awesome findings. I have already landed 22(!) bugfixes thanks to this, and I have over twice that amount of issues left to go through. Wade through perhaps. Credited "Reported in Joshua's sarif data" if you want to look for yourself
Joshua Rogers, using AI tooling responsibly and professionally, reported 22+ genuine issues in curl that are now being addressed
Especially notable because curl had problems with floods of garbage slop AI "security issues" in the past that were nothing of the sort simonwillison.net/2025/Oct/2/c...
Convincing 😅
Politicians can end up in prison for 5 years and not always have their little prison at home (home being their real home or any leisure place on earth) privilege.
I never thought I would see this one day.
Une nouvelle initiative très intéressante de #TCS4F : le principe de Low-co2 research paper, qui auto-attribue un label aux articles rédigés et présentés de façon écologiquement responsable, et (donc) sans prendre l'avion :
tcs4f.org/low-co2-v1
#flyless
Never too late to stop worshiping the golden calf of rankings. Congratulations!
Any info on France ? (We had some discussion recently about APC and some editors (on starting with M and ending in I …))
People that do not use the correct branch (not main) to test the tool associated with a paper (the correct branch is given in the paper) …
What are the challenges and gains when porting legacy systems software written in C into #Rust? Here's my own experience porting the BSD Unix / macOS stream editor sed into Rust as part of #uutils.
IEEE Software article: doi.org/10.1109/MS.2...
Source code: github.com/uutils/sed/
With so many reviewers (unfortunately) just asking an LLM to review your paper, do it yourself first so that you can foresee what type of comments you're going to get and act accordingly before the submission.
(Only applies for papers, not for software wrt malicious use detection) :-)
I have mixed feeling about pre testing wrt wrong conducts. Feels a bit like « put your picture on a « roast me » forum so that you’ll know what the bullies at school will hurt you for / or change your self not to be bullied ».
Could be used to inject elements (not « accept the paper » but « put these three words in three subsequent sentences of the review » ) and then pass the file to the PC chairs for misconduct and publicise on social networks :-)
My LLM coding interactions taught me that their benchmark results vastly overstate their capabilities. The paper by M. Mancoridis et al. “Potemkin Understanding in LLMs” explains and formalizes my feeling. Benchmarks derived from human tests are unsuitable for LLM assessment. doi.org/10.48550/arX...
