pierrefermat1 (u/pierrefermat1)

pierrefermat1 commented on Multimodal WFH setup: flight SIM, EE lab, and music studio in 60sqft/5.5M² sdo.group/study... · Posted by u/brunohaid

zevon · 24 days ago

The contrast between all that fancy equipment and the actual work surface being a cheap-as-can-be fibreboard (that will get nasty quickly and suck up all liquids) with a more or less unfinished edge that will probably feel uncomfortable is a bit too much of the designerly touch for me...

pierrefermat1 · 24 days ago

There is no contrast lol, if you actually consider the other gear choices he made they are all equally terrible. The god awfully un-ergo chair, poor measuring LS50's, junk keyboard......

pierrefermat1 commented on A spellchecker used to be a major feat of software engineering (2008) prog21.dadgum.com/29.html... · Posted by u/Bogdanp

gitpusher · 24 days ago

I worked at Apple and heard a lot of Steve stories. He really did personally approve everything. He would be sitting in a room, and team leads would all line up to give their quick 2-minute update. So it's the MacBook Air guy's turn. He comes in and places his prototype down in front of Steve. Steve opens the lid. Two seconds later he picks up the laptop and heaves it so hard it skipped across the table like a stone on water: "I said fxxking INSTANT ON!!" The poor guy collected his prototype and exited the room. Later the MacBook Air launched... it fxxking turned on the moment you open the lid

pierrefermat1 · 24 days ago

The instant on thing actually bothered me enough to make switch from windows back to Mac( by proxy the idle battery drain on windows was also pretty terrible)

pierrefermat1 commented on A spellchecker used to be a major feat of software engineering (2008) prog21.dadgum.com/29.html... · Posted by u/Bogdanp

elzbardico · 24 days ago

Most macbooks I remember since a long time ago were pretty much instant on way before apple sillicon. Maybe you had some corporate crapware installed in yours/.

pierrefermat1 · 24 days ago

Depends on your definition of "instant".

What we really mean is before you complete the action of fully opening the hinge to 120deg which is something like 1.5-2seconds?

AFAIK pre M1 days it would be still a few seconds after fully opening and now it's more like < 1sec.

pierrefermat1 commented on Ongoing Lean formalization of the proof for Fermat's Last Theorem github.com/ImperialColleg... · Posted by u/anonyonoor

YossarianFrPrez · a month ago

Side note: The organization that maintains Lean is a "Focused Research Organization", which is a new model for running a science/discovery based nonprofit. This might be useful knowledge for founder types who are interested in research. For more information, see: https://www.convergentresearch.org

And if you want to read why we need additional types of science organizations, see "A Vision of Metascience" (https://scienceplusplus.org/metascience/)

pierrefermat1 · a month ago

The concept trying new science orgs is noble, but this is the typical Schmidt BS of saying every previous academic consortia is totally incompetent and I'm the only one that can inject the magic sauce of focus and coordination.

pierrefermat1 commented on Show HN: A personal YouTube frontend based on yt-dlp github.com/christian-fei/... · Posted by u/modmodmod

pierrefermat1 · 6 months ago

Would really appreciate if you could add some options for download quality(with webm merge for 4k support), gave it a go and it just by default downloads the 360p MP4.

pierrefermat1 commented on GLP-1 drugs: An economic disruptor? (2024) wildfirelabs.substack.com... · Posted by u/herbertl

pierrefermat1 · 6 months ago

40% alochol consumption reduction did not lead to "a fundamental restructuring of the social economy"

The hyperbole is just painful to listen to

pierrefermat1 commented on A Billion Pixels a Second: Inside Apple's iPhone 16 Camera Labs cnet.com/tech/mobile/a-bi... · Posted by u/thm

mrandish · 8 months ago

Yes, and it's maddeningly detail-free. Just vague claims that something wonderful is being accomplished with zero data or specifics.

pierrefermat1 · 8 months ago

The reality is journalists don't really have the knowledge to explain any specifics at all, so you just get this fluff. But hey at least there's pretty pictures

pierrefermat1 commented on Fermat's Last Theorem – how it’s going xenaproject.wordpress.com... · Posted by u/verbify

staunton · 9 months ago

Most (larger) Lean projects still have "unit tests". Those might be, e.g., trivial examples and counter examples to some definition, to make sure it isn't vacuous.

pierrefermat1 · 9 months ago

I think the better mapping of unit tests would actually be proofs of lemmas ?

pierrefermat1 commented on NYC wants you to stop taking traffic cam selfies, but here's how to do it anyway pcmag.com/articles/nyc-wa... · Posted by u/gnabgib

academia_hack · 9 months ago

The data collection isn't even quiet. There's an entire cottage industry of companies that scrape these traffic cam feeds, store everything for x numbers of months in low-cost cloud vaults (e.g. glacier) and then offer lawyers/clients in traffic disputes access to footage that may have captured an accident for exorbitant rates. It's a remarkable little ecosystem of privatized mass surveillance.

pierrefermat1 · 9 months ago

Actually curious what the minimum bitrate/resolution they could store with to be still usable in court

pierrefermat1 commented on Edging Toward Japan: In his mind's eye, Rembrandt was always headed toward Japan mainichi.jp/english/artic... · Posted by u/lermontov

ekianjo · 9 months ago

So... because he had a Japanese helmet in his home, we have to make a big deal about it? I don't see it.

pierrefermat1 · 9 months ago

See authors profile, he is stupidly biased in forcing this connection.

u/pierrefermat1

KarmaCake day62October 16, 2020View Original