vitor (@vitorsalmeida_) 's Twitter Profile
vitor

@vitorsalmeida_

Software Eng.
TS | OCaml | Go | Rust
github.com/vit0rr

ID: 1313510190231310339

linkhttp://vitorsalmeida.com calendar_today06-10-2020 16:03:37

6,6K Tweet

1,1K Followers

731 Following

ludwig (@ludwigabap) 's Twitter Profile Photo

"A compiler in a week-end" wonderful (very) short intro and overview to compilers The lad is also working on a followup called "TinyOptimizer: an optimizing compiler challenge" recommend

"A compiler in a week-end" wonderful (very) short intro and overview to compilers

The lad is also working on a followup called "TinyOptimizer: an optimizing compiler challenge"

recommend
Debasish (দেবাশিস্) Ghosh 🇮🇳 (@debasishg) 's Twitter Profile Photo

If you want to learn about the basics of programming language semantics, this paper by Graham Hutton is an excellent exposition to the subject. Learn about operational and denotational semantics, how to use structural induction as the basic proof technique in denotational

If you want to learn about the basics of programming language semantics, this paper by <a href="/haskellhutt/">Graham Hutton</a> is an excellent exposition to the subject. 
Learn about operational and denotational semantics, how to use structural induction as the basic proof technique in denotational
Aella (@aella_girl) 's Twitter Profile Photo

Ok but to be fair it does seem like moms with kids in general are having a pretty bad time, based on the way I hear most parents talk about it. Id like kids someday but I've heard enough from parents to be downright terrified about it and I know it's gonna suck and be awful

vitor (@vitorsalmeida_) 's Twitter Profile Photo

Imagine the need to use schema validation because you have chosen a language to write your backend that can't encode things

Yawar Amin.ocallm (@yawaramin) 's Twitter Profile Photo

Nubank, Brazil's most successful bank, uses and publicly advocates for functional programming and Clojure: building.nubank.com.br/functional-pro…

octo (@the_octobro) 's Twitter Profile Photo

I used to be very afraid of making mistakes. What fixed me was learning that some mistakes are better than others. Specifically, mistakes of action are much better than mistakes of inaction. Being optimistic has value even if it makes you err, as long as you keep moving.

Joey Politano 🏳️‍🌈 (@josephpolitano) 's Twitter Profile Photo

Trump's pulling out a giant board to list the tariffs he's charging today. Looks like 34% China, 20% EU, 46% Vietnam, 32% Taiwan, 24% Japan, 26% India, 25% South Korea, 36% Thailand, 31% Switzerland, 49% Cambodia. Most other countries hid by podium, he's counting them off 1 by 1.

Trump's pulling out a giant board to list the tariffs he's charging today. Looks like 34% China, 20% EU, 46% Vietnam, 32% Taiwan, 24% Japan, 26% India, 25% South Korea, 36% Thailand, 31% Switzerland, 49% Cambodia. Most other countries hid by podium, he's counting them off 1 by 1.
James Surowiecki (@jamessurowiecki) 's Twitter Profile Photo

Just figured out where these fake tariff rates come from. They didn't actually calculate tariff rates + non-tariff barriers, as they say they did. Instead, for every country, they just took our trade deficit with that country and divided it by the country's exports to us. So we

OCaml (@ocaml_org) 's Twitter Profile Photo

Dune 3.18.0: The Dune Team is happy to announce the release of Dune 3.18.0! This release contains changes to support the new x-maintenance-intent field by default. It also contains some changes regarding the cache about how it… dlvr.it/TJx3cC #OCaml #OCamlChangelog

Dune 3.18.0: The Dune Team is happy to announce the release of Dune 3.18.0! 

This release contains changes to support the new x-maintenance-intent field by default. It also contains some changes regarding the cache about how it… dlvr.it/TJx3cC #OCaml #OCamlChangelog
Nauseam (@chadnauseam) 's Twitter Profile Photo

Hacker news has some of the smartest minds in tech. I've been browsing HN and separating the cracked from the mid, to collect all the best comments into one super-dump of pure knowledge. The best comments on physics, ML, music, and productivity. 🧵 👇

Hacker news has some of the smartest minds in tech.

I've been browsing HN and separating the cracked from the mid, to collect all the best comments into one super-dump of pure knowledge.

The best comments on physics, ML, music, and productivity. 🧵 👇
EduardoRFS.tei (@theeduardorfs) 's Twitter Profile Photo

I'm looking for interesting opportunities, I have experience working as a webdev, writing blockchain core and I've been recently working full time on a programming language. I don't care about offices, but a major blocker is that I don't have a degree, so visa's are hard for me.

Thorsten Ball (@thorstenball) 's Twitter Profile Photo

Finally did it. I wrote down how to build a code-editing agent. In 315 lines of code. And yes, it works. Very well. There is no moat.

Finally did it. I wrote down how to build a code-editing agent.

In 315 lines of code. And yes, it works. Very well.

There is no moat.