porcoda

10 ms·

121.
by porcoda 3y ago
Totally agree. The tech community has a massive arrogance problem where we tend towards opt-out vs opt-in for everything. Just because us tech-savvy folks understand the consequences of, say, posting something online, doesn’t mean the bul
122.
by porcoda 3y ago
I'm going to go out on a limb and guess that their "reason 1" was the sole source of the issue. This smells like an instance of the "nobody likes a know-it-all" problem that often arises with junior devs who haven&
123.
by porcoda 3y ago
These articles feel like articles written by journalists for other journalists so they can give awards to each other for “shining a light” on something that they’ve decided isn’t getting illuminated enough. I’m somewhat cynical about a lot
124.
by porcoda 3y ago
To be honest, Twitter/X has been a sewer for a good decade or so. The only thing that has changed is the kind of sewage that is allowed or encouraged to flow through it.
125.
by porcoda 3y ago
Amusing qualifications for the senior engineering roles they’re hiring for: “Deep understanding of what is a computer, what is computer software, and how the two relate.” Right after the senior ML role that requires people understand how to
126.
by porcoda 3y ago
> Users don't install software anymore, outside of mobile. That’s a pretty strong statement without any evidence to back it up. It sounds like the kind of statement I hear often from people who spend all of their time in the web-de
127.
by porcoda 3y ago
I am confused where these users are. Even without brew it’s stupidly simple to install on a Mac: just download MacTeX ( https://tug.org/mactex/ ). It’s a simple installer, and installs a few GUI tools too for those tha
128.
by porcoda 3y ago
No. I grew up on a C=64, and while the Raspberry Pi hits the cost point, it doesn't hit the exceptionally low barrier to entry in terms of usability. No modern computer is as simple and unintimidating as the machines where you powere
129.
by porcoda 3y ago
I think I did too. Read it after having finished grad school and working for a bit. Not very impressed. But then again, I’ve never been as enamored with the lisp/scheme family as others seem to be.
130.
by porcoda 3y ago
(Note: very US centric comment here) I’ve become skeptical of the motives behind any article that seems to seed some level of doubt about health screenings and any preventative or treatment measure that involves the healthcare system itsel
131.
by porcoda 3y ago
I’ve paid attention to the language since 2017 (it’s kind of impossible not to if you work in the PL research field). I just consider it dead for my own work - that’s the sense in which I haven’t looked back.
132.
by porcoda 3y ago
I had a pretty similar experience: spent a decade (2007-2017) working professionally in Haskell and just got completely fed up with the state of the language, ecosystem, and community. I migrated most of my new work to Ocaml and haven’t lo
133.
by porcoda 3y ago
I wouldn't call it a hoax - it was largely a very overstated result that didn't stand up to deeper scrutiny. That isn't really harmful. The primary issue I have with this, and many related things in recent years, is people
134.
by porcoda 3y ago
Airbus has invested in applying software verification for a while ( https://www.di.ens.fr/~delmas/papers/fm09.pdf ). I haven’t seen as much sustained interest in formal verification in industry in the US as I’ve se
135.
by porcoda 3y ago
They need to give people a compelling reason to upgrade. I stopped upgrading my iPad when the new features didn’t make it any better for media consumption and the basic apps I run on it. The cost to upgrade just isn’t justified by little
136.
by porcoda 3y ago
Just because it’s not web (LAMP or current-fad.js) software doesn’t make it “weird software”. By that definition everyone I work with does “weird software” since web technology (and the halo of stuff around it) never comes up. Just becaus
137.
by porcoda 3y ago
There’s also VAL, one of the 80s era languages that influenced Haskell (via SISAL). Alas, outside the parallel languages community I don’t think many people are familiar with that VAL.
138.
by porcoda 3y ago
Oh please: Letting a user block another user has nothing to do with a free and open internet. Save the anger for when there’s an actual threat to the internet, otherwise people will just start tuning free/open internet advocates out e
139.
by porcoda 3y ago
I like this. The focus on lexing/parsing for language implementation often overshadows the fact that the bulk of the work in any language effort is in the semantics and analysis (e.g., everything after one has a parse tree). On the p
140.
by porcoda 3y ago
When the industry adopted open office plans as the norm I almost changed careers. Spending 6 years in that soul crushing environment after having spent the previous couple decades in either regular offices or cubes was not fun. I have no
141.
by porcoda 3y ago
Having worked over 25 years in offices, I can assure you: being in an office was never a means to prevent people slacking off to extreme degrees. We had plenty of dead weight that contributed nothing even when we were all sitting in our si
142.
by porcoda 3y ago
Given that the talk about 27 languages is about natural language processing, you can probably figure out the answer.
143.
by porcoda 3y ago
You might like this article from 2022 too then: “The Man in the Eyeball Mask”. https://www.texasmonthly.com/arts-entertainment/hardy-fox-th...
144.
by porcoda 3y ago
A good movie about the Residents is “Theory of Obscurity” : https://m.imdb.com/title/tt2833768/
145.
by porcoda 3y ago
Sports (both playing in amateur leagues and attending local teams), seeing live music, and participating in local arts collectives. I tried computer related communities (hacker spaces, meetups, etc), but it always felt like it was just wor
146.
by porcoda 3y ago
> I don't use Rust, but the constant childish bickering has turned me away from even caring to. Same. I want to use it because technically it's the right choice for a few projects, but when I talk to people in my organization
147.
by porcoda 3y ago
I like languages that are a monoculture. It's a mess when you have many flavors of a language. Anyone else here remember the joy of various Fortran variants? It was a pain in the ass - VMS Fortran, Cray Fortran, HPF, etc... (&quo
148.
by porcoda 3y ago
PolyML is what I use.
149.
by porcoda 3y ago
Super short answer: SAT doesn’t exhibit the nice properties other optimization problems often have where you can tell when you’re near a correct answer. So it doesn’t resemble most continuous optimization problems. Regarding parallelism,
150.
by porcoda 3y ago
Oy. Can we just admit that some people like remote work, some don’t, and let everyone self select into the appropriate employers? Does anyone ever get anything new and useful out of the comments on posts like this? It seems like they jus

More ›