crawshaw

10 ms·

121.
by crawshaw 1y ago
But it's not why I stopped writing C programs. It's just a bug and I create and fix a dozen bugs every day. Security is the only argument for memory safety that moves mountains.
122.
by crawshaw 1y ago
Memory safety is a big deal because many of the CVEs against C programs are memory safety bugs. Thread safety is not a major source of CVEs against Go programs. It’s a nice theoretical argument but doesn’t hold up in practice.
123.
by crawshaw 1y ago
We are in a strange world today because our MTU was decided for 10mbps ethernet (MTU/bandwidth on a hub controls latency). The world is strange because 10mbps is still common for end-user network connections, while 10gbps is common for
124.
by crawshaw 1y ago
If you want to have fun with this: the initial window (IW) is determined by the sender. So you can configure your server to the right number of packets for your website. It would look something like: ip route change default via <gw
125.
by crawshaw 1y ago
Containers do seem to work really well for agents. It lets them run in parallel! Giving them sudo also lets them do interesting things you wouldn’t want them doing on your desktop, eg. installing tools or debugging with tcpdump. (I am worki
126.
SF Personals(sfpersonals.com)
1 points by crawshaw 1y ago|0 comments
127.
by crawshaw 1y ago
Author here. I like programming and I like agents.
128.
by crawshaw 1y ago
We have been having good luck writing Go with an agent. Sketch is mostly written with itself. (There is special Go handling built into the agent, e.g. automatically running gofmt/goimports after files change.) https://github
129.
by crawshaw 1y ago
sketch.dev, hiring full-time engineering in SF. $200k and significant early equity. Working on reinventing programming.
130.
by crawshaw 1y ago
This is a good strategy we (sketch.dev) experimented with a bit, but in the end we went with containers because it gives the LLM more freedom to, e.g. `apt-get install jq` and other tools.
131.
by crawshaw 1y ago
I'm curious about your experiences with Gemini Pro 2.5 tool calling. I have tried using it in agent loops (in fact, sketch has some rudimentary support I added), and compared with the Anthropic models I have had to actively reprompt Ge
132.
The unreasonable effectiveness of an LLM agent loop with tool use(sketch.dev)
447 points by crawshaw 1y ago|320 comments
133.
by crawshaw 2y ago
Your concern about Meta's license is fair, I have no useful opinion on that. I certainly wish they would use a freer license, though I am loath to look a gift horse in the mouth. My concern in this thread is people rejecting the concep
134.
by crawshaw 2y ago
It's not just a marketing label. The term is not being hijacked. Open source models, open source weights, the license chosen, these are all exetrmely valuable concepts. The thing you want, open source model data pipelines, is a differe
135.
by crawshaw 2y ago
It's not the same as slapping an open source license on a binary, because unencumbered weights are so much more generally useful than your typical program binary. Weights are fine-tunable and embeddable into a wide range of software. T
136.
by crawshaw 2y ago
The bitter lesson is a wonderful essay and well worth a read: http://www.incompleteideas.net/IncIdeas/BitterLesson.html I also believe the original bitter lesson essay is correct. General methods on more powerful compu
137.
by crawshaw 2y ago
Author here. FIM is a term of art in LLM research for a style of tokens used to implement code completion. In particular, it refers to training an LLM with the extra non-printing tokens: <|fim_prefix|> <|fim_middle|>
138.
by crawshaw 2y ago
Growth is only valuable in the long-term, and in a long-term analysis PPP (which I generally find very hard to reason about) is going to wash out, just as the fraction of the economy measured by GDP washes out. The non-linear function domin
139.
by crawshaw 2y ago
Enormous amounts of valuable activity is not captured in GDP and never has been. This makes it dangerous to take two GDP numbers from different polities (or even GDP PPP) and compare them to compare their wealth. However, change in GDP ca
140.
by crawshaw 2y ago
Unannounced | Founding Engineer | San Francisco, CA | Full-Time Looking for generalists and those with a wide variety of frontend experience. Working with LLMs and programming languages. In person 2-3 days a week. Current team is engineers
141.
by crawshaw 2y ago
It is entirely possible to learn by yourself online. I did it! But a warning: you will spend years in the weeds, focusing on things that don't matter. Good in-person advisors can help you avoid some years wasted time. The fastest way t
142.
Default Blind(blog.sbensu.com)
3 points by crawshaw 2y ago|0 comments
143.
by crawshaw 2y ago
There isn't a feature a company as scrutinized as Google could launch that can't be described as "a little risky".
144.
by crawshaw 2y ago
Author here. I realize it reads as an ad for Tailscale, but I actually wrote it earlier in 2019 while doing some of the very early product development. In a sense it is more a PRD than anything.
145.
by crawshaw 3y ago
An M2 Ultra has 800GB/s of memory bandwidth, an Nvidia 4090 has 1008GB/s. Apple have chosen to use relatively little system memory at unusually high bandwidth.
146.
by crawshaw 3y ago
This was technically interesting because the plasma wake of Starship is so large that the Starlink antennas on the back pointing up were able to livestream this HD footage from a camera on the flap as the ship was reentering.
147.
Starship re-entering Earth's atmosphere. Views through the plasma(twitter.com)
2 points by crawshaw 3y ago|1 comments
148.
by crawshaw 3y ago
This fancy a vehicle? Maybe not, though I don't see why they wouldn't maintain a premium brand of some sort. More importantly: the fleet is owned and maintained by Waymo. So they can achieve a higher degree of consistency. It is n
149.
by crawshaw 3y ago
Safety is the most important point across all customers. But as someone who is less concerned with safety, I still get enormous value out of Waymo. Let me try to explain: Consider the distribution of Uber/Lyft drivers you have had. All
150.
by crawshaw 3y ago
Tailscale | Data Engineer | Full-time | Remote (US) Person who can own the Data and Analytics infrastructure to power the rest of the company. https://boards.greenhouse.io/tailscale/jobs/4331382005

More ›