pclowes

11 ms·

151.
by pclowes 1y ago
Highly Agree. Speed of all kinds is incredibly important. Give me all of it. - Fast developers - Fast test suites - Fast feedback loops - Fast experimentation Someone (Napoleon?) is credited with saying "quantity has a quality all its
152.
by pclowes 1y ago
Bluntly I have my doubts on how "AI-savvy" the Google execs are based on how flat footed they seem to be with respect to releasing successful and compelling AI products. Eg. I don't want Gemini to summarize a google doc, that
153.
by pclowes 1y ago
I feel like this is a bit like click bait. Don't get me wrong, my career has been enormously helped by Japanese developers. (Thanks Matz) But "works better" is a hard claim when there are very few pure software tech firm in J
154.
by pclowes 1y ago
I like this approach, there are often calls for increased testing on big systems and what they really mean is increased rigor. Don't waste time testing what you can move into the compiler. It is always great when something is so elegan
155.
by pclowes 1y ago
Oops, I meant weakly typed as in JS or strongly typed as in Ruby. But decided to switch the Ruby example to Elixir and messed up the sentence
156.
by pclowes 1y ago
I like this. Very much falls into the "make bad state unrepresentable". The issues I see with this approach is when developers stop at this first level of type implementation. Everything is a type and nothing works well together,
157.
by pclowes 1y ago
But how are you going to monetize? Are you looking to raise? Moat seems low to me tbh... ;) This is great. Props for making something fun.
158.
by pclowes 1y ago
I am confused by this, isn't Bisect just some git ergonomics with respect to flagging a checked out commit as a success failure and then checking out the next midway commit depending of if it was a success/failure to enable classi
159.
by pclowes 1y ago
In most major European cities I have been in the airport to train connection is pretty subpar unless traveling light. There is typically no integration of the airport baggage handling with the train baggage handling. So you need to move eve
160.
by pclowes 1y ago
I don't understand what you are trying to claim. 1. Booking.com is owned by Booking Holdings which is an American parent company. 2. US GDP growth has been massively outperforming the EU since 2008. I am saying tourism is not somethin
161.
by pclowes 1y ago
Sadly I have encountered this on multiple different kinds of European tech platforms. There is some deep cultural disconnect on understanding how/why American tech companies are successful. Most often they seem to ape most of major US
162.
by pclowes 1y ago
Apple is putting ads as pop ups inside the wallet app now… every social media app is crammed with them too. Browser is the easy fix.
163.
by pclowes 1y ago
I think there are a lot of offerings out there now. Maybe not to the minute with respect to battery life but Apples chip advantage is steadily evaporating. I typically don't need more than 8 hours of battery personally. Have heard good
164.
by pclowes 1y ago
Amazing. If someone had pitched this concept to the producers of "Idiocracy" they would have rejected it as too far fetched and ludicrous.
165.
by pclowes 1y ago
I think most major players have the same incentives and minor players don't have the economies of scale to make it work economically. Also the longer I used my iphone mini and the rest of the world moved to comically large phones the m
166.
by pclowes 1y ago
I just don't see the value add anymore and the company appears to have lost its product vision and the design sensibilities are slipping. Apple is controlled by a geriatric board and a logistics expert and it shows. I feel I am more fr
167.
by pclowes 1y ago
My cynical take is that small phones don't exist because they are not the product. Similar to vape pens the product is the addictive substance the device loads. In this case its apps and ads. A smaller screen probably negatively impact
168.
by pclowes 1y ago
The flow here for me is if the code is doing the wrong thing I: - Write a test that demonstrates that it is doing the wrong thing - Watch it fail - Change the code to do the right thing - Ensure the test passes And in return I get regressio
169.
by pclowes 1y ago
I agree with that but I would say that if I required formal verification of that kind I would move the proof based rationale into the type system to provide those checks. I would add Tests can be probabilistically exhaustive (eg property ba
170.
by pclowes 1y ago
I would lean towards types and property testing here using tools like Coq.
171.
by pclowes 1y ago
Interesting, could you show me a formal proof that can't be expressed in logic (ie. code) and then tested? My thought here is that since proofs are logic and so is code you can't have a proof that can't be represented in code
172.
by pclowes 1y ago
I agree on the Dogma aspect. Plenty of times I have abandoned it. However, I did find it very helpful to spend my first couple years in a strict Xtreme Programming (XP) shop. The rigor early on was very beneficial and its a safety net for w
173.
by pclowes 1y ago
The best way I have found to integrate this approach is Test Driven Development. When done well, every test you write before you see it fail and then you write the barest amount of code that you think will make it pass is a mini-proof. Your
174.
by pclowes 1y ago
What makes you say that? Honestly asking. I know a team using it to replace ancient massive mainframe based systems with modern distributed systems and the gist is that the language is fine, but mostly ideal for use cases that leverage the
175.
by pclowes 1y ago
I wonder how hard it would be to generate synthetic credit card numbers for each subscription service and then just cancel that "card". I feel there is a whole cadre of consumer tech that is defensive against corporate taxes/
176.
by pclowes 1y ago
Thank you for all your work! I have several Stripe Press books, especially enjoyed Revolt of the Public and Pieces of the Action.
177.
by pclowes 1y ago
This was a breath of fresh air. The tech sector has grown and changed so much. It has gotten much more "professional" which is arguably good but it this in turn promotes a fair amount of "corporate stooge" behavior. I am
178.
by pclowes 1y ago
Why are software engineers paid well to date? Successful software uniquely benefits from operational and financial leverage. Which creates the term "software margins" Financial leverage: It is cheap to write code, experiments are
179.
by pclowes 1y ago
I have not found LLMs to be most beneficial in straight writing code especially in complex large scale systems. However, I have found them extremely useful at the aspects the author claims they make more difficult: understanding, testing, a
180.
by pclowes 1y ago
Directionally I think this is right. Most LLM usage at scale tends to be filling the gaps between two hardened interfaces. The reliability comes not from the LLM inference and generation but the interfaces themselves only allowing certain c

More ›