329 reputation
111
bio website stackexchange.com/users/…
location Paris, France
age 34
visits member for 3 years, 4 months
seen Mar 17 at 19:46

Moderator♦ pro tempore on French Language and Usage and Computer Science. I'm also a unix amateur, and a developer with a computer science background and security leanings by trade.

Interested in embedded systems? Join the Embedded Programming and Design proposal!

Avatar picture slightly adapted from a photo by Luridiformis (Zonda Grattus) (except where I use another picture).


Mar
17
comment StackInbox - a Chrome/Firefox Extension that Preserves New Stack Exchange Inbox Messages Until They Are Actually Read
A nice idea, but middle click on an unread item opens it in the same tab (Chrome 33). This makes it unusable for me.
Sep
15
comment List the closed questions on a site
@DImension10AbhimanyuPS That code does search for closed:1 and presents the results in a usable way.
Jan
9
comment AutoReviewComments - Pro-forma comments for SE
@Benjol Ah, I see. I do have StackExchange Title Tag Remover. If you're scraping the page title, that would explain it. Consider this to be a feature request to put “Stack Exchange” everywhere — even when the scraping works, “the Unix & Linux way of saying thank you” or “Welcome to Mathematics!” rings poorly.
Jul
26
comment Suggested Edit Queue v2.0
I can't say I'm enamored with the new beta interface. Sadly, the most important part of your script (moving edits to the top once you've acted on them) stopped working (Chrome 20) about the time /review-beta was introduced. Is there any chance to make it work again?
Jul
25
comment SE Comment Link Helper
@TimStone I do have SE modifications. Updating Comment Link AutoPrettifier to the version you just uploaded makes it work. Thanks!
Jul
25
comment SE Comment Link Helper
Since today (I think), this doesn't work for me any more: stackapps.com/questions/2378/comment-link-autoprettifier I've been using Chrome 20.0.1132.57 for weeks, it used to work in this exact browser version. Is there anything I can do to trace why links in comments are no longer prettified?
Jul
25
comment The migrated predicate on advanced_search seems underachieving
Maybe this should be on MSO then. Why is this question (migrated away from the site 4 days ago, not deleted) not returned in migrated:1?
Jun
21
comment Suggested Edit Queue v2.0
@Matt Thanks. Now up: title quoting bug, it looks like you need to add something to escape characters in the title.
Jun
15
comment Suggested Edit Queue v2.0
@Matt New minor bug report: under “add to the top”, edits on tag wiki lose the name of the tag when they're acted on.
Jun
13
comment Suggested Edit Queue v2.0
@Matt Check your inbox :) I have a version with the fade option. Appears as version 2.0.0.
Jun
13
comment Suggested Edit Queue v2.0
@Matt Thanks, I confirm the fix.
Apr
29
comment TIARA - a tool for enhancing SE beauty
I don't see what to do with heavily downvoted answers, really. They're wrong, and clearly shown as such. What needs cleanup isn't the downvoted content really, it's the content that should be downvoted but isn't.
Apr
29
comment TIARA - a tool for enhancing SE beauty
Why show only closed questions? Downvoted questions might need closing, whereas I don't know why downvoted closed questions would be different from non-downvoted closed questions.
Oct
26
comment Prefered way to retrieve all search results
See the question: if there's a deleted result, it's counted in the 100. I guess deleted results are eliminated late in the chain. I thought …/page=2 just after …/page=1 was counted differently, but I can't find a reference to that now, I might have imagined it or confused with some other site's API.
Oct
26
comment Prefered way to retrieve all search results
Ok, this technique works to avoid skipping an item in the middle. It assumes there aren't 100 questions with the same date (this is unlikely to happen naturally, but what about a mass import?). Your termination condition is wrong, there can be less than 100 results at any time. This technique is rather costly; as I understand it, querying page=2 after page=1 is cheaper in the backend (because the data is already sitting in some cache, I guess), and from the user's point of view it's cheaper because it doesn't count as a separate request against the API usage quota.
Sep
22
comment Draft Specification for API v2.0
For the paging issue, a cumbersome workaround seems to exist (I haven't tried it).
Sep
5
comment Stack Overflow UI Translation via Greasemonkey
Follow-up on Meta SO
May
31
comment Insert direct documentation links in to answers
Related: Editor buttons for injecting documentation links
Apr
22
comment Stack Exchange Side-By-Side Edit and Preview
Nice, if your screen is large enough. Bug: I can't see the edit summary in side-by-side mode (Chrome 11.0.696.48). I can return to normal mode to fill it in, but that makes it more likely that I'll forget to enter a summary. Feature request: being able to see the question (with scrolling).
Feb
28
comment Prefered way to retrieve all search results
Er, so, does that mean I should start again from the beginning if I see a deleted item?