network profile
| bio | website | stackexchange.com/users/… |
|---|---|---|
| location | Paris, France | |
| age | 33 | |
| visits | member for | 2 years, 5 months |
| seen | May 17 at 19:51 | |
| stats | profile views | 8 |
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).
|
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. |
|
Jan 8 |
answered | AutoReviewComments - Pro-forma comments for SE |
|
Sep 23 |
answered | SE Comment Link Helper |
|
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 |
accepted | The migrated predicate on advanced_search seems underachieving |
|
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? |
|
Jul 25 |
accepted | Advanced search by title doesn't filter on the title |
|
Jul 24 |
asked | The migrated predicate on advanced_search seems underachieving |
|
Jul 24 |
asked | Advanced search by title doesn't filter on the title |
|
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 21 |
revised |
Suggested Edit Queue v2.0 title quoting bug |
|
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 15 |
revised |
Suggested Edit Queue v2.0 new bug report: tag names are not retained when edits to tag wikis are added to the top |
|
Jun 14 |
awarded | Teacher |
|
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. |
|
Jun 12 |
answered | Suggested Edit Queue v2.0 |
|
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. |
