While the Scientific Method gives us a way to evaluate a hypothesis, a Scientific Process allows us to organize our minds to form these hypotheses, lay out a piece of code, organize a project, or debug a program.
What if you could apply a few basic principles that would help make working on your project seem more attractive and worthwhile? How to work effectively with overwhelmed people to get things done
Moving Faster by Not Breaking Things: Or How Not to Blow Up the Internet
People slow down when they are afraid, and they are afraid when they don't know the consequences of their actions. Initial investments allow for a fearless approach to pushing changes.
Guardians of the Agents Formal verification of AI workflows
This proof-based approach addresses problems by providing deterministic and verifiable assurances of safety without the need to trust the AI nor any of the artifacts it produces
The practitioners whose job it is to make AI work are scrambling behind the scenes, often more in dread than excitement. Either find a better paradigm or fix the ones we're using now.
Unless you're writing only for yourself, whatever software you build will need to work with what others are building. So, the meta question is: "How much communication is required?"
The design of an AI-first, program-synthesis framework built around a new language, Universalis, designed for workers to read, the computer to execute, and ready to be analyzed and manipulated
We discuss how concurrent programs are compiled to #Wasm today given the limitations of multi-core concurrency support, and also discuss further expanding Wasm's concurrency capabilities
WebAssembly: How Low Can a Bytecode Go?: New performance and capabilities
Wasm is still growing with new features to address performance gaps. With many languages and many targets, Wasm could one day become the universal execution format for compiled applications.
WebAssembly has found a niche but not yet filled its habitable space. We look at #Wasm wins and losses, identify patterns, and extract commonalities. From those, we predict the future.
Even something as innocent as addressing comes from a rich design space filled with tradeoffs between important considerations such as scaling, transparency, overhead, and programmer control.
A holistic model for understanding the costs and value of software development: - Tensions between factors - 4 distinct forms of impact - Warning against measuring against unknown counterfactuals - Consensus mechanism for estimating DDR costs.
Generative AI at the Edge: Challenges and Opportunities
We will soon see embodied, federated, and cooperative models become commonplace, enhancing our lives in the background. However, these models won't just compute; they will communicate, create, and adapt.
Stop waiting for a senior mentor to appear. Your peers are some of the most valuable mentors you'll ever find. Leverage those relationships, share insights, and bring value to every conversation.
Kode Vicious: Can't We Have Nice Things? Careful crafting and the longevity of code
We build apparatus to show some effect. This is how empiricists operate. They have a hunch, build an apparatus, run an experiment, refine the hunch, and then wash, rinse, and repeat.
Operations and Life A Clean Approach to Process Optimization
My soap-loading technique isn't revolutionary, but it demonstrates process design: You can eliminate delays in starting a process by front-loading tasks whenever possible.
Code communicates our intentions to other humans. Code, like prose, has style and color and subtlety. When you open a function and start reading, try to think, "How do I feel about reading this."
From Function Frustrations to Framework Flexibility
Fixing tool calls with indirection
The principle of indirection can be applied to introduce a paradigm shift: replacing direct value manipulation with symbolic reasoning using named variables.
