Brett Evans

[Brett Evans @brettevans]

I've moved on to greener pastures. 🦋 https://t.co/VoyZzo0NuH

[Brett Evans @brettevans]

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

[Brett Evans @brettevans]

@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.

[Brett Evans @brettevans]

@kellabyte Using SQLite to perform HTTP range requests on a subset of the data actually needed. https://t.co/C88WOy7NZI

[Brett Evans @brettevans]

@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.

[Brett Evans @brettevans]

@headinthebox A related interesting application of JSON as intermediate representation. https://t.co/2ew0OJJ74U

[Brett Evans @brettevans]

@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.

[Brett Evans @brettevans]

@ankurnagpal @sebfung ✈️

[Brett Evans @brettevans]

@headinthebox @zorendk Working link… https://t.co/xB0PK6nBkg

[Brett Evans @brettevans]

@DanielleFong https://t.co/Jo5sz53MB6

[Brett Evans @brettevans]

@dchernyshuk Free

[Brett Evans @brettevans]

@adrian_horning_ Can I get a copy?

[Brett Evans @brettevans]

@jdegoes @GolemCloud Smells a little like Ambrosia

[Brett Evans @brettevans]

@RMHildebrandt Send

[Brett Evans @brettevans]

@jimduey I’m currently trying this with @zioscala

[Brett Evans @brettevans]

@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.

[Brett Evans @brettevans]

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

[Brett Evans @brettevans]

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

[Brett Evans @brettevans]

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

[Brett Evans @brettevans]

@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.