158 reputation
19
bio website frama-c.com
location EU
age 39
visits member for 2 years, 5 months
seen yesterday

I work on the static analysis of C programs.


Jan
16
comment Increasing Swap Size on a Mac
@bmike Yes, on SE sites where one is only starting with 100 reputation, one needs to find at least 6 characters to change for the edit to be considered significant and enter review. I have done it but it can be hair-pulling: crypto.stackexchange.com/posts/18651/revisions
Jan
16
comment Increasing Swap Size on a Mac
I am pretty sure that you mean df / where you wrote df \
Jan
3
awarded  Teacher
Jan
3
comment How to keep an SSD in shape on Yosemite?
@JohnSchmitt “GC” is another function of SSDs to ensure durability and performance. Unlike TRIM, it works completely internally to the drive, so there is no need for OS X to support it for it to be enabled in a non-Apple SSD. It is distinct from TRIM and complementary to it. A sophisticated GC algorithm cannot replace TRIM because it works at a different level, but it can contribute to preserve the SSD's performance even without TRIM. It works better when the disk isn't full (what this answer is saying).
Jan
3
comment Is Disk Utility's “Repair Disk” a viable TRIM solution for Mac OS X Yosemite?
@JohnSchmitt As to whether TRIM is needed: it provides information to the disk that the disk cannot obtain in any other way short of reverse-engineering the filesystem used on it (information of the sort “although I am not changing the contents of this block, I am no longer interested in them and promise never to read them again, so you can clear the block for reuse now”. This is useful information because of how SSD disks work and regardless of palliative measures they may have in place to work well even without that information.)
Jan
3
revised Is Disk Utility's “Repair Disk” a viable TRIM solution for Mac OS X Yosemite?
added 19 characters in body
Jan
3
answered Is Disk Utility's “Repair Disk” a viable TRIM solution for Mac OS X Yosemite?
Jan
3
comment Is Disk Utility's “Repair Disk” a viable TRIM solution for Mac OS X Yosemite?
@Buscar웃 Your comment is more of a new question than a comment on the existing question. TRIM is not like defragmentation: the “normal” way is to do it as soon as a block is freed, not periodically, and it affects the disk itself rather than the filesystem on it.
Jan
1
awarded  Critic
Dec
28
awarded  Notable Question
Dec
24
comment Xerox 3117 driver for OS X Yosemite
Another danger of unsigned kexts on Yosemite is if for some reason the NVRAM is reset. This page says “If you try to boot a [Yosemite Mac with unsigned kext] with the kext-signing setting re-activated, you will be met by a gray screen with a stop sign”: cindori.org/trim-enabler-and-yosemite
Dec
24
awarded  Popular Question
Dec
24
awarded  Citizen Patrol
Dec
23
comment Disabling NTP on OS X Lion or older
@danielAzuelos I went as far as writing a blog post: blog.frama-c.com/index.php?post/2013/01/01/…
Dec
23
awarded  Scholar
Dec
23
accepted Disabling NTP on OS X Lion or older
Dec
23
awarded  Editor
Dec
23
revised Disabling NTP on OS X Lion or older
added 1 character in body
Dec
23
awarded  Student
Dec
23
asked Disabling NTP on OS X Lion or older