porcoda

18 ms·

211.
by porcoda 4y ago
I'm in a similar boat - love the performance/battery of my M1 MacBook Air, but the ecosystem is just too messy at the moment for me. I have a few tools I need to use that haven't yet been making official Apple Silicon releas
212.
by porcoda 4y ago
Medium has bigger issues than its implementation. It quickly turned into the platform for relatively vacuous and self-gratifying posts that are basically “This is the deep insight I would share if I gave a TED talk”. I generally avoid goi
213.
by porcoda 4y ago
I’ve faced this at multiple jobs at orgs of different size. My solution was to always have more than one thing available to work on so when one task bogs down in the mud due to organizational processes, I can go work on something else unti
214.
by porcoda 4y ago
It’s using an EOL version of python. Keeping it up to date to use at bare minimum a version that isn’t EOL (even if it isn’t the latest version) would be nice. Heck, I’d happily pay periodically for major updates since I’m not expecting f
215.
by porcoda 4y ago
Isn’t pythonista abandonware? Last time I checked the forums for it there were a number of posts about it not getting updates for at least 2 years. It’s a real shame since it’s a nice piece of work that would be great to have actively mai
216.
by porcoda 4y ago
Same, and I don’t think I’ve forgotten how to have fun. They just add visual noise and don’t really add information. I could see them being used in a disciplined way where the emojis replace text sometimes, but when the emoji is redundant
217.
by porcoda 4y ago
I’ve had this need a few times. Just a couple weeks ago I needed to quickly understand the set of package dependencies within a codebase and wrote some scripts that extracted a report as well as a graphviz file. I’ve done that a few times
218.
by porcoda 4y ago
Type inference isn't about reading or writing code. It's about proving that the code is correct with respect to the language semantics: type inference and checking are relatively lightweight forms of code verification. If you ha
219.
by porcoda 4y ago
> customers are generally happy with the value provided Don't confuse resignation and ignorance with happiness. People are used to computer systems just breaking and being the root of various problems (e.g., identity theft, privacy
220.
by porcoda 4y ago
I’ve been carrying around the same 20 or so line .emacs that I use with a plain stock emacs for about 15 years. I’m happily productive without a bunch of tweaking. Same with vim: tiny vimrc that I carry around along with one old package t
221.
by porcoda 4y ago
My approach: 1. Model business processes that you expect to be generating data as well as those that will be asking for data. Both sides inform the design: how hard it is to put data in, and how well the representation supports the differe
222.
by porcoda 4y ago
Yes. Lots of companies employ them. They tend to be less flashy companies than the kind you see talked about on here. Think banks, insurance companies, manufacturing companies, etc. Not startups / pure tech companies - while they m
223.
by porcoda 4y ago
Mostly programming languages related: code analysis, compilers, code generators, and formal verification tools. Outside PL work, I’ve used it to build some modeling and simulation tools. I also use it for misc. little tools that I need ev
224.
by porcoda 4y ago
I don’t think it succeeded or failed. Languages don’t need to be wildly popular in industry to be valuable. I personally like that industry ignores SML. Even for Ocaml I don’t use the Jane street core: I just use the stock language since
225.
by porcoda 4y ago
I still actively use SML - mlton or smlnj usually, polyml too. I’m aware of the issues raised in this post but haven’t ever found them to be a source of much headache. To be honest, the biggest headache is moving between compilers and thei
226.
by porcoda 4y ago
Well, not just the extroverts. We can’t ignore the people who define their lives (social, choice of home location, etc) around work. People like that who don’t have much of a life outside work are just as big of an influence in ruining re
227.
by porcoda 4y ago
I maintain a few packages, some that have been open source for about 20 years. Reason: I wrote them as part of other larger projects and they seemed useful as standalone things, so I peeled them out and open sourced them. Motivation: people
228.
by porcoda 4y ago
Sure. For what it’s worth, MATLAB has used HDF for its own MAT file format since R2006b. See: https://www.mathworks.com/help/matlab/import_export/mat-file... I’m assuming if the MAT file contains what you e
229.
by porcoda 4y ago
Doesn’t MATLAB have a built in h5write function to write out HDF5? There shouldn’t be much work at all to convert MATLAB data to H5. Last time I used it I had no issues with the resulting H5 files.
230.
by porcoda 4y ago
The problem is when you follow people for topic X and then they decide to use their audience to talk about unrelated topic Y. I hate that. If I follow someone because they talk about some tech topic, I really could care less what their op
231.
by porcoda 5y ago
I like lobste.rs as an alternative that stays technical and has less of the fluff that HN attracts. Plus with their tagging scheme, I can just hide all of the junk that I could care less about by default.
232.
by porcoda 5y ago
I use it for my work in program analysis, code generation, and other languages-research projects. I’ve also used it to a lesser degree for modeling and simulation problems. You would probably be better served by F# or Ocaml for a web-orie
233.
by porcoda 5y ago
> By the way, why is bonding with colleagues such a big deal? One of the most consistent themes in the “please go back to offices” articles is that there is a cohort of people who appear to have designed their lives around their job. Th
234.
by porcoda 5y ago
I think he started his company to sell Mathematica - the research agenda stuff has been more recently emphasized. When I first started using Mathematica almost 30 years ago the company was pretty much just selling the tool for technical co
235.
by porcoda 5y ago
In addition to all of these edge cases, it doesn’t help that the metadata services have a lot of inconsistency as well. Say I have a song X that was performed live on DATE at some VENUE. It may show up as titled “X”, “X [live]”, “X (Live
236.
by porcoda 5y ago
I was born in the 70s and have to agree. I’ve commented to family members recently that some of the unpleasantness going on around the US lately is reminding me of the bad state my city was in during the 80s. I definitely do not want to r
237.
by porcoda 5y ago
> i’d bet that electron and it’s ecosystem exists strictly only because of the abundance of engineers proficient in javascript. electron absolutely did not standardise UI. Bingo. We have a glut of developers who only really know web te
238.
by porcoda 5y ago
They also include ads in print versions of newspapers and magazines that you subscribe to, and always have. Advertising has always been a component of making them viable businesses: the problem isn't the existence of ads in things you
239.
by porcoda 5y ago
The author does mention problems where LP solvers can be used to solve the problems instead of the neural network approach used for the others. See section 3 in https://arxiv.org/pdf/2104.14516.pdf .
240.
by porcoda 5y ago
I've noticed that people here paint the whole industry with a broad brush that reflects what a handful of giant companies and companies imitating them do. I've been on both sides of the interviewing table at a few places and it&#

More ›