Fernando Freire (@dogonthehorizon) 's Twitter Profile
Fernando Freire

@dogonthehorizon

Founding Engineer @ Teem Finance ; FP/Haskell journeyperson otherwise.

mastodon: @[email protected]

ID: 208106045

linkhttps://dogonthehorizon.com calendar_today26-10-2010 16:58:52

169 Tweet

103 Followers

201 Following

Richard Eisenberg (@raehaskell) 's Twitter Profile Photo

Alert: The GHC Steering Committee is contemplating a proposal that will cause some breakage. We want community feedback to inform whether we should proceed. Read all about it -- and share your thoughts -- at Discourse: discourse.haskell.org/t/feedback-req…

Tweag (@tweagio) 's Twitter Profile Photo

Tomorrow is the last day to submit a proposal to the spring round of our open source fellowship. Have a look: boards.greenhouse.io/tweag/jobs/463…

Jonas Carpay (@jonascarpay) 's Twitter Profile Photo

I'm excited to announce the release of calligraphy, a Haskell source code visualizer! Github: github.com/jonascarpay/ca… Blog post: jonascarpay.com/posts/2022-04-… Cool pictures of things you can do with it: 🧵👇

Continuous Delivery Foundation (CDF) (@cdeliveryfdn) 's Twitter Profile Photo

#cdCon Talk: June 7 at 9:00 am Trusting Mission Critical Infrastructure: Building reliable CD platforms is about more than building features - Fernando Freire, Armory & Isaac Is Laughing AWS Open Source Details: hubs.la/Q01bdMlL0

#cdCon Talk: June 7 at 9:00 am

Trusting Mission Critical Infrastructure: Building reliable CD platforms is about more than building features - <a href="/dogonthehorizon/">Fernando Freire</a>, <a href="/CloudArmory/">Armory</a> &amp; <a href="/imosquera/">Isaac Is Laughing</a> <a href="/AWSOpen/">AWS Open Source</a>

Details: hubs.la/Q01bdMlL0
0ch4rl3s.nfo (@acid2) 's Twitter Profile Photo

I'm happy to announce the release of weeder-2.3.1. This is a minor release, mostly bumping dependencies, but also fixes a false positive report from weeder when using top-level pattern bindings. See release notes for more details: github.com/ocharles/weede…

SpinnakerSummit (@spinnakersummit) 's Twitter Profile Photo

Want to talk about Spinnaker?! ⛵ Submit your talk to #SpinnakerSummit Detroit, Michigan + Virtual Oct 23 - 24, 2022 Submit a talk by July 27 ⬇️ events.linuxfoundation.org/spinnaker-summ…

SpinnakerSummit (@spinnakersummit) 's Twitter Profile Photo

🎉 #SpinnakerSummit program is ready! We have a great schedule planned for Oct 23-24 (incl. Kelsey Hightower as headlining keynote)! Check it out: hubs.la/Q01kf1Jz0

🎉 #SpinnakerSummit program is ready!

We have a great schedule planned for Oct 23-24
(incl. <a href="/kelseyhightower/">Kelsey Hightower</a> as headlining keynote)!

Check it out: hubs.la/Q01kf1Jz0
Galois (@galois) 's Twitter Profile Photo

"The public release of ChatGPT3 and DALL-E 2 radically changed our expectations for the near future of AI technologies. ... In a forthcoming series of blog posts, we aim to tackle the issue of trust in generative systems." galois.com/blog/2023/02/a…

"The public release of ChatGPT3 and DALL-E 2 radically changed our expectations for the near future of AI technologies. ... In a forthcoming series of blog posts, we aim to tackle the issue of trust in generative systems."

galois.com/blog/2023/02/a…
Rúnar (@runarorama) 's Twitter Profile Photo

Crazy cool paper: Fully Homomorphic Encryption. Shows an ingenious method for operating on data while it is encrypted. Exploits an adjunction to do this comonadically, lifting decryption (E a -> b) into computation on encrypted data (E a -> E b). cs.cmu.edu/~odonnell/hits…

Simon Willison (@simonw) 's Twitter Profile Photo

I needed a box shadow the other day, so I got Claude to build me a custom one-off interface for fiddling with box shadow properties Pretty wild how we can build tiny custom tools like this in a similar time that it would take to search for and select a tool that already exists!

I needed a box shadow the other day, so I got Claude to build me a custom one-off interface for fiddling with box shadow properties

Pretty wild how we can build tiny custom tools like this in a similar time that it would take to search for and select a tool that already exists!
David (@dzhng) 's Twitter Profile Photo

Hot tip: when using llms to generate structured outputs with libs like instructor, ai sdk, or openai's strict mode, the order of the properties passed into the schema really matters. Remember that these autoregressive models can only generate one token at a time, and use the

Hot tip: when using llms to generate structured outputs with libs like instructor, ai sdk, or openai's strict mode, the order of the properties passed into the schema really matters.

Remember that these autoregressive models can only generate one token at a time, and use the
Galois (@galois) 's Twitter Profile Photo

Understanding large code bases is hard. We’re developing tools to generate 3D representations of code bases visualized as cities to develop a shared visual reference for team conversations and problem-solving. Learn more in our latest: galois.com/blog/2024/10/v…

Understanding large code bases is hard. We’re developing tools to generate 3D representations of code bases visualized as cities to develop a shared visual reference for team conversations and problem-solving.

Learn more in our latest: galois.com/blog/2024/10/v…
Erik Meijer (@headinthebox) 's Twitter Profile Photo

Eric Xu (e/Mettā) That is *exactly* what I am currently working on/trying to raise funding for. High level paper: queue.acm.org/detail.cfm?id=… The language is called "Universalis" and the LLM-based runtime is called "Automind". DM me if you want more details.

Erik Meijer (@headinthebox) 's Twitter Profile Photo

This must be the most bizare API behavior that ever existed. "...Important: when using JSON mode, you must also instruct the model to produce JSON yourself via a system or user message. Without this, the model may generate an unending stream of whitespace until the generation