Asti (@deviousasti) header
Asti (@deviousasti) profile picture

Functional programming and electronics. Managing F# at scale @Walmart.

Mordor
Joined May 2009
Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)Photo by Asti (@deviousasti)
For all the points mentioned in this, F# is an excellent fit. If the language of choice doesn't really matter if you're using an LLM to generate code, isn't it better to start new projects in #fsharp?
so many gems and great tips in this talk from @yminsky about how to improve your codebase for agents • agents thrive on feedback, and types are one of the best kinds • make illegal states unrepresentable with types, and it enforces global rules across your codebase • property based tests, fuzzing, and even full-system deterministic simulation testing • expect tests: just print stuff out and capture it in the test. makes behavior legible. it's very similar to how compilers have fixture tests, it reduces the review surface area • formal methods used to be very expensive: seL4 is about 8,700 lines of C and took around 25 person-years, with 23 lines of proof for every line of C code, but agents change the roi youtube.com/watch?v=rUYP4C29…
1
6
118
Replying to @sanstitre2000
Very partial to this photo of a Shinto priest blessing the first F-35 made in Japan.
3
19
1,040
23,187
New @Airbnb design uses JS for hover animations like in the days of DHTML. This looks choppy on a 120 Hz monitor, because it updates once in four 16.6ms animation frames. The icon they're scaling is an HEVC encoded video. Why.
1
1
290
After 27 years of providing in-depth coverage of the amazing world of PC and mobile hardware, AnandTech is saying farewell. We want to thank everyone from the AnandTech community for their support and passion for what we’ve done over the years anandtech.com/show/21542/end…
425
1,138
883
6,421
1,351,732
| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| | Don't Push To Production On Friday | |_________________| \ (•◡•) / \ / —— | | |_ |_
402
15,659
1,259
74,154
2,969,723
15 years since I joined Twitter? Man I feel so old
103
Please leave me alone
68
437
47
4,748
202,028
Replying to @deepfates
where’s “Keyboard autocorrect on meth is not actually a sound foundation on which to build AGI”?
3
5
61
3,092
Exactly 2 weeks before what would have marked 4 years at Pluralsight, and today my whole team has been eliminated. If any mutuals have any good job opportunities open right now for a Sr Engineer, I and my family would greatly appreciate any leads.
5
28
3
32
7,053
miyazaki after finding out he won an oscar
155
18,126
575
199,340
5,187,858
We regularly use this for one line destructuring in F# / OCaml.
Just realized or-patterns can be used in function arguments as well, which means this monstrosity compiles and does just what you expect play.rust-lang.org/?gist=bfd…
1
2
210
Replying to @fsharponline
@fsharponline @fsharporg we are looking for F# devs to work on Gen AI applications. Please DM, if interested. This could be a long-term opportunity. Python knowledge is also required for this role.
1
11
1
16
2,568
Interesting #Kicad 7 workflow for git that builds automatically all fabrication files like Gerbers, BOM etc and deploys that on a website github.com/vroland/epdiy-har… CC @JLCPCB @kicad_pcb
7
73
3
502
42,368
🤖🧠NEW PAPER🧠🤖 Language models are so broadly useful that it's easy to forget what they are: next-word prediction systems Remembering this fact reveals surprising behavioral patterns: 🔥Embers of Autoregression🔥 (counterpart to "Sparks of AGI") arxiv.org/abs/2309.13638 1/8
35
264
60
1,147
239,678
kerams is a proven contributor to the F# compiler with a history of tackling impactful and complex issues like this. I'd definitely encourage any business using F# to any degree to consider contracting them to knock out your specific priority for development on the compiler tools
#fsharp, a long shot, but I'm wondering if there's a company out there that would be willing to sponsor my work on github.com/fsharp/fslang-sug… (or perhaps some other language or Intellisense feature). I don't mean a symbolic donation, but a contract for the development duration.
1
13
27
4,226