larve

23 ms·

241.
Who Knows Two?(mathenchant.wordpress.com)
1 points by larve 4y ago|0 comments
242.
Serverless API Essentials – Idempotency(readysetcloud.io)
3 points by larve 4y ago|0 comments
243.
by larve 4y ago
Isn't that the case though? I often have the case of some cheap-ass i2c peripheral getting locked up because of noise on the lines or what not. While this hopefully gets caught and we get the timing right to make things work in product
244.
by larve 4y ago
Thanks for reading, author here. You are right that this doesn't say much (at least for experience embedded developers). The follow-up points I want to make: - there is a lot of value for embedded developers to get acquainted with what
245.
by larve 4y ago
(author here) Good points, I wonder if at this point I'm just saying "software development is software development!" I do think there are a lot of similarities in building the run-of-the-mill "sensors + actors + orchestr
246.
by larve 4y ago
(author here) Thanks for reading. Fully agree on web being both more forgiving, and ultimately more complex than embedded development. I do think however that a C-spin loop can benefit from knowing JS promise style. One of my proudest libra
247.
by larve 4y ago
(author here) This is a real difference, and one I want to expand on in my next article. You can fuck around much more in a web context than embedded, but you still often find out. Doing web "well" requires thinking in terms of re
248.
by larve 4y ago
(author here) Actually I think that applies very similarly. The same way you can't just log willy nilly in a web system because you can easily overwhelm your logging infrastructure or introduce unwanted dependencies, you have to be min
249.
by larve 4y ago
I try to join online communities (discord, these days), and be helpful and welcoming to newcomers. This often leads to me offering to pair program or do a zoom call, and provide some perspective on either my career, a specific technology, o
250.
Embedded programming is like web development(the.scapegoat.dev)
33 points by larve 4y ago|23 comments
251.
Working with confident people (who dismiss you)(cutlefish.substack.com)
1 points by larve 4y ago|0 comments
252.
A guide to home row mods(precondition.github.io)
2 points by larve 4y ago|0 comments
253.
by larve 4y ago
I realize I mostly focused on the frontend side here, but you can easily see how backend dev is highly complex too (but that often falls under system programming too). Lots of framework, in fact most of the runtime environment is not under
254.
by larve 4y ago
One thing I came to see working in both web and embedded for two decades now: a lot of embedded developers often miss the “product” side of what they are building. This probably doesn’t explain the lower pay, but it might be a reason why em
255.
by larve 4y ago
At a previous job, the project lead (mechanical) assigned the embedded team (2 people) writing the firmwares for 3 boards (multi-element heater control, motor controller and move orchestrator with custom BLDC setup, multi-sensor temperature
256.
by larve 4y ago
I’ve been in both web and embedded for the last 20 years, and to me web dev “done right” is just as much if not more complicated than embedded, and very similar. In both cases, you have a distributed systems (everything action you take, sys
257.
by larve 4y ago
How to derive solutions like solution 2 is what category theory helps me with. It sounds glaringly obvious in the cases where the abstraction is well understood Mapping on lists, on trees, on Maybe, on Result are all well known at this poin
258.
Fostering a Healthy and Active Online Community(obsidianroundup.org)
1 points by larve 4y ago|0 comments
259.
by larve 4y ago
If that works for you, that’s of course perfect. I find that the study of CT pretty has very much clarified that a lot of diagrams I see in other domains (business processes, supply chain modelling) directly relate to my understand of diagr
260.
by larve 4y ago
I think it’s not a naive question at all. To my naive understanding, categories need to have a composition property (if there is a morphism from a to b, and b to c, then there is a morphism a to c created by composing a to b and b to c), wh
261.
by larve 4y ago
All these concepts actually apply to any programming language. Haskell often allows to express them very concisely and compose them elegantly, but the fact that say, lists can be viewed as a functor (ie, you can apply a function taking an i
262.
Creating a Keyboard (2020)(docs.juliaebert.com)
3 points by larve 4y ago|0 comments
263.
Commentary on Autism and the double-empathy problem(pubmed.ncbi.nlm.nih.gov)
2 points by larve 4y ago|0 comments
264.
Yoneda Hacking: The Algebra of Attacker Actions(arxiv.org)
9 points by larve 4y ago|0 comments
265.
by larve 4y ago
I'm not sure that's true. This is a surface / introductory article, but if you go deeper into say, categorical databases, modeling of attacks ( https://arxiv.org/pdf/2103.00044.pdf ), there sure is some wi
266.
by larve 4y ago
I am asking myself that question regularly, as I'm trying to get more comfortable with "real" category theory. My background is programming, and I've become familiar with a lot of the applied CT (functors, monads, monoid
267.
by larve 4y ago
Arrows and boxes is pretty much what category theory is about. You have objects connected by morphisms, and all further structure and concepts are derived from that.
268.
Heavily documented QMK mechanical keyboard keymap(github.com)
1 points by larve 4y ago|0 comments
269.
Applied category theory in chemistry, computing, and social networks [pdf](ams.org)
135 points by larve 4y ago|58 comments
270.
A Brief Mastodon Guide for Social Media Worriers(axbom.com)
4 points by larve 4y ago|0 comments

More ›