Readit News logoReadit News
spacemanspiffii commented on Teach, Don't Tell (2013)   stevelosh.com/blog/2013/0... · Posted by u/Tomte
dfxm12 · 9 months ago
The flip side of this is: seek documentation, not people.

I spend a lot of time writing documentation. I think it is well written. Many employees do as well. However, some people come to me with questions already answered by the documentation. They aren't interested learning anything, they only want to make their problem into my problem, or they want me to do their job for them. I'm happy to take extra time to guide new employees through something or discuss edge-cases, but with all my day to day tasks, I am simply not given time to spend with senior employees on things answered by the docs.

spacemanspiffii · 9 months ago
It can be hard to find the thing you're looking for in documentation, especially if you're not too familiar with the piece of software you are currently looking at. Saving your coworkers a couple of hours by spending ten minutes of your time can be a good trade - even though it's annoying for you.
spacemanspiffii commented on Why Computer Scientists Consult Oracles   quantamagazine.org/why-co... · Posted by u/GavCo
j45 · a year ago
I can't speak for anyone else, but this seems to describe how some tech folks use LLMs as sounding boards for their input and thinking things through that they understand, or are understanding and want to get through faster.
spacemanspiffii · a year ago
This has nothing to do with LLM's. An 'oracle' is a hypothetical construct that is used in proofs. As the article outlines, useful in complexity theory.
spacemanspiffii commented on On Good Software Engineers   candost.blog/on-good-soft... · Posted by u/BerislavLopac
spacemanspiffii · a year ago
A developer that ticks all these boxes is certainly a Good Software Engineer, but the reverse relation doesn't necessarily hold. There are many that have made very valuable contributions while not even working on a team, or perhaps even being an asshole to everyone around them, ignoring stakeholders, everything. Or just something less extreme, such as maybe they didn't at all times know their organization that well. That is fine, if it works at their time and place. To call those "Bad Software Engineers" is unhelpful.
spacemanspiffii commented on TypedDicts are better than you think   blog.changs.co.uk/typeddi... · Posted by u/rbanffy
camjw · a year ago
Sorry this is probably a stupid question - how do you make your CI hard fail if you don't have types? This sounds like the missing piece for me, someone who also prefers just to crack on without types and then add them later.
spacemanspiffii · a year ago
You can add `mypy` to your CI pipeline https://mypy.readthedocs.io/en/stable/running_mypy.html. Pyright is an alternative, and there are more.
spacemanspiffii commented on Excel will allow certain auto data conversions to be turned off   insider.microsoft365.com/... · Posted by u/xnhbx
DaiPlusPlus · 2 years ago
I know it's a fad, but isn't that the exact kind of thing that AI-enthusiasts claim ChatGPT/LlaMa/CoPilot will be capable of doing within a year or two?
spacemanspiffii · 2 years ago
I mean, some are claiming that AI will be capable of anything. But I don't think extracting Excel formula's is currently a focus of LLM applications? Do you know of startups or other attempts at exploring this?
spacemanspiffii commented on Excel will allow certain auto data conversions to be turned off   insider.microsoft365.com/... · Posted by u/xnhbx
wjnc · 2 years ago
I wish someone built a tool to extract any model from Excel and help annotation and conversion to code with clean separation of input, logic, output. The amount of creepy legacy Excel is killing my organization.
spacemanspiffii · 2 years ago
Yes I recognize this problem in my organization as well. I think this is feasible, and tools in this direction exist already, like https://formulas.readthedocs.io/en/stable/doc.html. I think one challenge is that the variable names in Excel (B3, B2-10 for a list) are not easily converted to descriptive names.
spacemanspiffii commented on Can't be fucked: Underrated cause of tech debt   jesseduffield.com/Can%27t... · Posted by u/todsacerdoti
worthless-trash · 2 years ago
Thanks! If anyone else has a word for this in their native tongue, I'd love to know them.
spacemanspiffii · 2 years ago
Let me ChatGPT that for you ;)

* Sisu (Finnish): Though not a direct equivalent, "sisu" refers to a blend of determination, resilience, and courage in the face of adversity. It's doing something against the odds, putting extra effort, and not giving up.

* Gaman (Japanese): A term that loosely relates to enduring the seemingly unbearable with patience and dignity. It can apply to doing meticulous, quality work even when situations are challenging.

* Jugaad (Hindi): Jugaad speaks to a creative or innovative fix; essentially finding a low-cost solution to a problem in an intelligent way. It reflects a spirit of resourceful improvisation and can indicate a pride or savvy in being able to solve problems with limited resources.

* Arbejdsglæde (Danish): This word directly translates to "work happiness" and denotes finding joy and satisfaction in the work you do.

* Mānawa (Maori): This is used to describe patience and perseverance, particularly in working toward a goal or mastering a skill.

spacemanspiffii commented on Show HN: Codon: A Compiler for High-Performance Pythonic Applications and DSLs [pdf]   regmedia.co.uk/2023/03/11... · Posted by u/sargstuff
isaacfrond · 3 years ago
Ok, so which should be my next language. I mainly use it for one-off computing jobs. It should be

- pretty readable,

- not require compilation,

- have convenient data structures and a math library,

- and be performant out of the box.

spacemanspiffii · 3 years ago
It depends on the nature of your compute. If it is dominated by IO, or if you are actually calling native libraries (like `numpy` does, or it is something that is handled by `arrow`), there is no reason to switch away from Python. If you are writing custom algorithms, I think https://julialang.org/ is a great option.
spacemanspiffii commented on Show HN: Decentralised Twitter – Microblogging on the Ethereum Blockchain   github.com/yep/eth-tweet... · Posted by u/yep171
oceanallin · 10 years ago
How big would be a standalone binary for this ?
spacemanspiffii · 10 years ago
Can't be too big! That could be a great project, perhaps an easy entrance for many into Ethereum technologies.

u/spacemanspiffii

KarmaCake day13December 12, 2015View Original