Brett Evans

I've moved on to greener pastures. 🦋 bsky.app/profile/brette…

@DanielleFong Ask for a chain of refinements from a high level denotation to a low level representation.

this is how i am getting insane performance. compilers are cruft, tell your agent dudes to program in machine code by hand, and profile for logical equivalnece and performance. enabling a "throw away the ladder" moment in computing. all hail the overhang. welcome to the bootstrap

@satnam6502 @JustDeezGuy Humans for specification and AI for certified implementations of the spec. The core languages should be small for simpler correctness proofs and could even push niceties like concise syntax and optimizations back on to the AI implementations.

Nik says: "This is a great time to be a PL researcher: • Tools that offer strong symbolic guarantees are more needed than ever, to reduce degrees of freedom for agentic engines • How do we think of PL design, balancing agent and human needs?"

@kellabyte Using SQLite to perform HTTP range requests on a subset of the data actually needed. phiresky.github.io/blog/2021/host…

Can someone explain to me what the in-browser WASM SQLite and DuckDB are trying to solve? The in-browser queries and reports look super snappy but isn’t this putting millions of rows stored on the clients machine to calculate some aggregates? I feel like I’m missing something.

@patio11 Turns out the USPS address validator is a key component in determining if you are even eligible for an automated appraisal valuation. If you don’t get mail delivered to your home it is unlikely you’ll ever get an automated appraisal valuation.

Falsehoods that compliance departments believe about addresses, example #2742.

@headinthebox A related interesting application of JSON as intermediate representation. cs.cornell.edu/~asampson/blog…

This validates my choice to go full "intentional programming" with Universalis and let the model generate ASTs in JSON instead of concrete syntax. Now it is simply a matter of drawing the rest of the f*cking owl and design a type-system such that "when it type checks, it is correct".

@patio11 As a mortgage broker, I have seen (to name a few); title companies payoff the wrong house, wire my commission check to a company not party to the transaction; at the signing say they were mistaken and title isn't clear and the property has to go through probate first.

In annals of You Had One Job And Were Grossly Overpaid For It: The title company has done a bang-up job at putting the commission checks for the realtors for Friday’s closing and sending them out via overnight delivery… … to me, the buyer, who is neither of the two agents.

@ankurnagpal @sebfung ✈️

Everyone should learn how to use credit card points to travel the world in style We recorded a premium video course with an expert @sebfung to break down exactly how it works The course is typically $299, but free for the next 24 hours RT or Comment ✈️ and I'll DM it to you

@headinthebox @zorendk Working link… itu.dk/people/sestoft…

@zorendk Ha, ha. I can imagine that. But now the book is available for free itu.dk/people/sestoft… everyone can enter the inner sanctuary.

Always cheer for people that can make money using math. venturebeat.com/ai/move-over-d… In my pitch I tried to appeal to the second Futamura projection (blog.sigfpe.com/2009/05/three-…) as a way to fine-tune a model to fine-tune models, but I was laughed out of the room. I guess there are even fewer people that understand partial evaluaton than there are that understand category theory ;-) While Khosla admits he does not understand the math-filled paper—pointing out there are very few people in the world who fully understand category theory—“when these really smart people gravitate to an idea, it’s an important idea,”

@DanielleFong youtu.be/UQuIVsNzqDk?si…

@dchernyshuk Free

@adrian_horning_ Can I get a copy?

Zillow's gonna hate me but....I wrote a script to scrape the listings from the search results, and download them as a csv 🤯 Drop a comment 👇 + like and I'll send you it + directions on how to run it (must be following)

@jdegoes @GolemCloud Smells a little like Ambrosia

FAQ for @GolemCloud: Q: How do I stop my serverless workers? A: You can't. They're immortal. Q: Can I kill the node they're running on? A: Yeah, but they'll come back & resume where they left off. Q: WHAT CAN I DO TO STOP THE WORKERS?!? A: You will give up before they do.

@RMHildebrandt Send

A real estate client of mine is on track to do $600k a MONTH (they started at 0 in January, grew to $80k, got stuck, then called me) At the heart of it all is the ability to auto-generate and send 100s of customized PDF proposals to prospects per day. I made a video showing you this automated PDF proposal generation strategy: -how to get data from a prospect's website, ChatGPT, calculations, or your CRM (so you can customize from any data source, automatically) -how to generate a professional PDF, attach it to an email, and send to your prospect (automated, no extra services required other than gmail, so you can do bulk outreach that still feels custom) To get it, comment "send" below. Must be following.

@jimduey I’m currently trying this with @zioscala

All right folks. I'm starting to work on a new website with some moderately complex business logic and will (hopefully) scale to an enormous number of users. What language, software stack, frameworks, etc should I look at?

@mitchellh @grhmc Brother and I used to rip all the music from every computer that was sharing media via iTunes on local network. Then turn off network ports of people using BT/LW and using all the bandwidth.

@grhmc Macs used to have this feature circa 2007 where they have a public "dropbox" (not the company) you could put files on computers on the local networks. I wrote a script in college that filled everyone's computer with... again porn (young boys will be boys?). Never got caught!

I was limited to 2 hours a WEEK on the computer growing up (and homework counted towards it 😰), so I printed most of the reference manuals for PHP, VB6, etc. and I'd do my programming in a notebook with pen/paper. I used computer time to just transcribe it back and run it.

@BikeThisCity There was a proposal to put in a pedestrian bridge along Jewell over Santa Fe, it’s really needed.

I love Ruby Hill Park. I do not love the lack of safe access to Ruby Hill (especially from the east side of town). Such a shame, because Ruby Hill truly is a gem of a park and has so much to offer!

@cemerick @DavidSacks It’s unnecessary inflation if it’s COVID subsidies to the workers, necessary if it’s to investors.

$300B (Billion!) printed in one week to bail out @DavidSacks and his buddies. lines like "what about the poor folks with payroll" and such were, of course!, combination charade and human PR shield

@cemerick The equivocation was used to defend the murders of BLM protestors.

cool times are when you're downvoted to hell and questioned as possibly being autistic for saying on HN that property crimes are fundamentally different (and of less concern) than violent crime This explains **so much** about the typical tech bro's worldview

@BikeThisCity @RideRTD D-Line seems to miss routes pretty often, compounded by C-line shutdown. Going to start biking into work and will nearly halve commute time.

I love public transit and so dearly wish @RideRTD provided more reliable service. It’s unacceptable to have a train or bus just not show up and leave people stranded or missing appointments, like I experienced today.