sevensor

20 ms·

391.
by sevensor 2y ago
I’d say I use type hints to write Python that looks more like Ocaml. Class hierarchies shallow to nonexistent. Abundant use of sum types. Whenever possible using Sequence, Mapping, and Set rather than list, dict, or set. (As these interface
392.
by sevensor 2y ago
True and irrelevant. Type annotations catch whole swathes of errors before they cause trouble and they nudge me into writing clearer code. I know they’re not watertight. Sometimes the type checker just can’t deal with a type and I have to u
393.
by sevensor 2y ago
> This is your interpretation of what these companies are saying. I'd love to see if some company specifically anything like that? What is the layman to make of the claim that we now have “reasoning” models? Certainly sounds like a
394.
by sevensor 2y ago
You want me back in the office because it’s essential to communication and collaboration? Fine, ban Teams meetings with no external participants. Otherwise the office is just where we go to work remotely in the same place.
395.
by sevensor 2y ago
Exactly my experience. I call Python a surprise-typed language. You might write a function assuming its input is a list, but then somebody passes it a string, you can iterate over it so the function returns something, but not what you would
396.
by sevensor 2y ago
Haven’t read the book, so I don’t know exactly what position they’re taking there, but type checking has done more to improve my Python than any amount of architectural advice. How hard it is to type hint your code is a very good gauge of h
397.
by sevensor 2y ago
> Human endeavors have value beyond the monetary. Indeed, and for me the real value of “selling” my work has been the opportunity to do more of it, and more on my terms, than putting my head down and striving in silence.
398.
by sevensor 2y ago
> Given the unalterable underlying ground truth that people don't want to be educated, they want to be entertained - what should we be doing? This here is the key question, and I’d argue all we can do is keep talking about how great
399.
by sevensor 2y ago
That’s my point though. Infinity isn’t useful for computation in a lot of cases where numbers are called for and it’s debatable that it even is a number. So it’s already a special error value, and if that’s the case, why use a value that ac
400.
by sevensor 2y ago
With all due respect to Dr. Lamport, whose work I greatly admire, I take issue with his example of the max function. The problem he sets up is “what to do with an empty sequence.” He proceeds to handwave the integers and suggest that negat
401.
by sevensor 2y ago
> so few Americans are familiar with the actual work behind jobs in the agricultural sector or related ones, I would argue that for many Americans the reality of this type of work is almost indistinguishable from fables or myth in their
402.
by sevensor 2y ago
Might be used as a text editor feature, to offer line oriented rather than structural emphasis. Not sure it’s a winner, but it makes for an interesting thought experiment.
403.
by sevensor 2y ago
> There is no denying that most applications are shipped today as a Docker container and most developers have some experience with them Author and I move in quite different circles. This is not my experience of applications or of softwar
404.
by sevensor 2y ago
The junior engineer asking “how can I become a VP?” is classic. Chances of you becoming a VP at the same place you worked as a junior engineer are slim. I know one person who did it, it took him 25 years, and he had been on the golf team in
405.
by sevensor 2y ago
Seriously! Although I’d say the most undervalued is wet processing. It’s incredible how much art and science go into not leaving water spots. Not to mention cleaning up other people’s messes.
406.
by sevensor 2y ago
Headline stuck me funny; I was working in ion implantation 20 years ago. Of course they’re talking about lithography, because those guys are the fighter pilots / first violinists of semiconductor manufacturing, they get all the attenti
407.
by sevensor 2y ago
Where the reticle is worth patterning expensively because it gets used in so many subsequent exposures using light rather than electrons.
408.
by sevensor 2y ago
I don’t think you’re missing anything, I think the plan really is to burn it all down and rule over the ashes. The old saw “if you’re so smart, why aren’t you rich?” works in reverse too. This is a foolish, shortsighted thing to do, and the
409.
by sevensor 2y ago
Huh? Forms do this all the time: fill out all of section A for identifying information and section B-1 for a new application or B-2 for a renewal. Append schedule F if you will be frobnicating in the Commonwealth of Massachusetts. I’d model
410.
by sevensor 2y ago
An elderly pedestrian I know was recently struck by a car. Compound fractures, dislocated joints. He’s looking at a long recovery and a pile of medical bills, because the driver was barely insured and in the US we’re somehow fine with that.
411.
by sevensor 2y ago
> do not log in or access any of your personal services on work computers. It baffles me whenever I see someone’s personal email open on a work machine. Seems like that’s putting a lot of unwarranted trust in your employer.
412.
by sevensor 2y ago
Hadn’t thought of it this way, but yes, I suppose ML is the Python I wish I was writing!
413.
by sevensor 2y ago
Article seems to call for passively accepting the status quo until one is an associate professor, at a minimum. That’s a long time to wait, a lot of dues to pay. You can’t point out the naked emperors unless you wear a crown yourself. If yo
414.
by sevensor 2y ago
I’ve never seen anybody learn much by copy pasting. If you want to learn, you must put fingers to keys.
415.
by sevensor 2y ago
I was skeptical when I heard “Python-like Racket syntax,” but this certainly looks like the Python I wish I was writing. Edit: racket is a nice language, went my thinking, why give it a Python syntax? But I think they’ve answered that.
416.
by sevensor 2y ago
Learning s expressions and the evaluation rule takes about 13 seconds. It’s one of the very first things in SICP. Learning how to use the loop macro, well, I’m still working on that.
417.
by sevensor 2y ago
Lovely place, great campground managed by the National Park Service, if you don’t mind latrines and cold water. Right over the dunes from the beach. Spectacular views of the night sky.
418.
by sevensor 2y ago
I didn’t fully grasp how poorly our US bread approximates the real thing until I visited Europe. It’s weirdly spongy and candy sweet, and that’s the “healthy” bread in the bread aisle. Our food culture is just kind of gross most of the time
419.
by sevensor 2y ago
I thought this bit was particularly perceptive and foreshadows the situation in which we now find ourselves: > Indeed, Butler’s naively empty politics is especially dangerous for the very causes she holds dear. For every friend of Butler
420.
by sevensor 2y ago
My problem with libraries like this in Python is that, because nobody wants to have to hand write semantic validation code, they end up mashing semantics into the parser. What I want is for all the different file formats to be different syn

More ›