larve

16 ms·

151.
by larve 4y ago
I work in e-commerce/retail. So it’s things like: - storybook stories to cover all cases of ui configuration - tooling to create reports/import/export of different csv formats - api endpoints, validating incoming data, instr
152.
by larve 4y ago
Chatgpt has been pretty transformative to my programming, probably surpassing the only other thing coming close of really leveraging powerful ides like IntelliJ. It can generate all the scaffolding I need by just inputting a couple of sketc
153.
by larve 4y ago
I just finished working my way through this this morning. The literature list is quite interesting and gives a lot of pointers for people who want to walk the line between overblown hype and doomsday scenarios.
154.
by larve 4y ago
I think the answers being about ChatGPT subtly changing the meaning, changing the tone are missing the point and ignoring the agency the author has. We usually are better at curating than writing, so I feel pretty confident the author went
155.
by larve 4y ago
I've just come to accept Stephen Wolfram's "air" of superiority to just that. If you parse it away as a vibe, he is a genuinely curious and invested person, that has stuck to their peculiar vision for more than 3 decades
156.
Using ChatGPT for divergent thinking in Obsidian(medium.com)
1 points by larve 4y ago|0 comments
157.
by larve 4y ago
Just for fun, I created the entry for Fennel Lisp by "processing" the index page, to show what that is like: https://publish.obsidian.md/manuel/Wiki/Programming/Fennel+L... I also found that I menti
158.
by larve 4y ago
TL;DR: it doesn't matter how many tabs you have or how you close them, the value I get out of them comes down to intellectually engaging with them fully, which is exhausting and rewarding. The most valuable practice I found is "ge
159.
Knowledge's Shape and Function(the.scapegoat.dev)
2 points by larve 4y ago|0 comments
160.
by larve 4y ago
I just started incrementally throwing views at our existing schema, mostly lifting SQL out of the code base and committing it to the dbt repository. From there, I started heavily annotating the columns, and starting to write unit tests for
161.
by larve 4y ago
I especially enjoy being able to write "unit tests". Since I tend to mess up my SQL, or some code change might taint the data in a way I can potentially expect (null values, for example), I can add some pretty high level checks li
162.
by larve 4y ago
I've been using dbt for achieving the same goals and it's honestly been a bliss. Macros, packages, cross referencing views, unit tests, documentation generation, snapshotting. And I don't even swear as much at jinja as I thou
163.
by larve 4y ago
I would consider reaching out to see if you can get a special pricing. The team is very inclusive and communicative!
164.
by larve 4y ago
I'm someone who feels very happy about my sprawling obsidian vault, combining journal, project notes, wiki, flashcards, zettelkasten, drafts, finished writing. I use pretty much no plugin, but I do have different methodologies that hav
165.
by larve 4y ago
I would say the #actuallyautistic hashtag in general (now on mastodon), and I really enjoyed the book "unmasking autism" by Devon Price and Neuroqueer Heresies by Nick Walker.
166.
by larve 4y ago
Managed to lift myself out of a suicidal hole that started when I was around 7-8. It started with quitting smoking and picking up exercise, which did seem to make a lot of the underlying substrate of hopelessness recede. Then came the pande
167.
Diary of a software engineer using category theory [video](youtube.com)
2 points by larve 4y ago|0 comments
168.
RoboCat: A Category Theoretic Framework for Robotic Interoperability(ieeexplore.ieee.org)
1 points by larve 4y ago|0 comments
169.
Working with ChatGPT(write.as)
3 points by larve 4y ago|0 comments
170.
Systems, Generativity and Interactional Effects(dspace.mit.edu)
2 points by larve 4y ago|0 comments
171.
by larve 4y ago
exactly, the monad "erases" the error, at least in the "happy path", while go makes it first citizen. one is not better than the other. I care a lot about errors, for logging, for metrics (how many connection errors did
172.
by larve 4y ago
I am currently quite into category theory, and I've been thinking and writing quite a bit about what value it brings to me as a programmer. I think this article (and many articles) about category theory and the abstractions it "in
173.
Design from the Margins(belfercenter.org)
1 points by larve 4y ago|0 comments
174.
by larve 4y ago
My formulation is "if it's not trivial, it's probably not good" when I implement the necessary functions for the "type class" (to take a haskellism) to work. If your `bind` implementation monad doesn't loo
175.
Subfield Prestige and Gender Inequality Among U.S. Computing Faculty(cacm.acm.org)
1 points by larve 4y ago|0 comments
176.
by larve 4y ago
I really like the "Programming with categories" lecture because you basically get 3 teaching styles for the same material. Brendan Fong is very straightforward "definition lemma definition lemma", Spivak is slightly more
177.
by larve 4y ago
Oh, I thought your point was that mathematics wasn't bringing anything to computers. As far as I understand it, category theory is more about finding commonalities across mathematical fields (or indeed, scientific / engineering fi
178.
by larve 4y ago
(author here) I found the corecursive podcast episode about "portal abstractions" with sam ritchie quite inspiring. It's about monoids from the algebraic point of view, but the mindset is very similar, I think. https:/&
179.
by larve 4y ago
I'm not sure if this is supposed to be sarcastic, but taking it at face value, mathematics are the underpinning of both computer hardware and computer science. Since we are talking about more abstract mathematics, it is what gave us th
180.
by larve 4y ago
I would say it's the other way around: 1. Because the underlying concept for handling composing locks (STM, which I don't know much about, but I'm going to assume is a way to wrap operations within a transaction) is sound 2.

More ›