floitsch

17 ms·

61.
by floitsch 4y ago
Interesting fact: the Anglo-Scottish border is significantly shorter than the one separating Northern Ireland from Ireland: 154km vs 499km.
62.
by floitsch 4y ago
We use it for some of our tools, so it's possible (and works nicely). Our LSP server was initially written in Toit: https://github.com/toitlang/toit/tree/master/tools/lsp/serve... (To be f
63.
by floitsch 4y ago
We rely heavily on the ESP32 peripherals for strict timings. For example the 1-wire protocol is implemented using the RMT (remote control) peripheral. The pixel strips driver uses the UART or i2s. If really necessary, we could drop down to
64.
by floitsch 4y ago
We couldn't use `:` as that one is already used for too many things. We then experimented with different tokens, and `/` felt best.
65.
by floitsch 4y ago
The `:` are actually doing the same thing, introducing a block (think of it like a limited function). The `/` are also the same (division), but it's true that we also use `/` to introduce types. For example `x/int`. I th
66.
by floitsch 4y ago
For those interested in a comparison to MicroPython: I recently wrote a Toit version of the MakePython ESP32 Dev Kit lessons. Here is the Toit version of it: https://docs.google.com/document/d/1K-TYea7jbYfj2ecMUmr0
67.
by floitsch 4y ago
In big parts that's true, but there are some good arguments in favor of a GC for these small devices: - the GC is a sliding compacting GC. As such there is no fragmentation for heap-allocated memory. - the memory on these devices is ti
68.
by floitsch 4y ago
Jaguar is the tooling to enable rapid development. It consists of two parts: one that runs on the ESP32 and another one that runs on your computer. Whenever a new program is ready, it gets pushed (over WiFi) to the device. The whole process
69.
Toit – A Language Designed for Microcontrollers(toitlang.org)
110 points by floitsch 4y ago|69 comments
70.
by floitsch 4y ago
Another alternative is Toit: https://toitlang.org I recently wrote a Toit version of the lessons for the MakePython ESP32 starter kit. That makes it easier to start with Toit, but it also gives a nice comparison between the two.
71.
by floitsch 4y ago
I'm a fan of the MakePython ESP32 dev kit. It's reasonably priced and the ESP32 makes it possible to do nice things. https://www.makerfabs.com/makepython-esp32-starter-kit.html I used it for our Toit tutorial: ht
72.
by floitsch 5y ago
Occam's razor states: "entities should not be multiplied beyond necessity". Given that viruses have multiple times spread from animals to humans this would be the simplest explanation, favored by Occam's razor. That said
73.
by floitsch 5y ago
I know of at least one start-up that is using video and AI to give feedback on training sessions: http://formfirst.app In some way the program should be much better at detecting faults than a human, but I'm not sure if the
74.
by floitsch 5y ago
This is an add-on to write code in Google docs and presentations. When I worked at Google there was an add-on go/kodify which allowed to write code segments inside Google docs and then use it to syntax highlight all code. When I left G
75.
Show HN: Google Apps add-on for syntax highlighting(workspace.google.com)
2 points by floitsch 5y ago|1 comments
76.
by floitsch 5y ago
Perfect time to explore Toit ( http://github.com/toitlang/toit ) :)
77.
by floitsch 5y ago
We get a lot out of having static classes and methods that can't change dynamically. This allows us to use the selector-based row displacement technique for building a compact method dispatch table. (See https://citeseerx.is
78.
by floitsch 5y ago
Toit doesn't have generic types yet. This limitation means that the dynamic checks are very fast. Since these checks also allow some optimizations, the cost of the dynamic checks is maybe 10-15%. And that's before doing a global t
79.
by floitsch 5y ago
I compiled the VM to WASM and ran the bytecode in it.
80.
by floitsch 5y ago
Toit is optionally typed, and supports type annotations. Type annotations for locals, fields, and globals are written with a trailing `/Type`. Return types are written with `-> ReturnType`. See https://github.com/toi
81.
by floitsch 5y ago
The Toit language isn't bound to run on ESP32s. We routinely run it on our desktops as well.
82.
by floitsch 5y ago
To me those two sound quite different. Here is, how we pronounce it: https://www.youtube.com/watch?v=JVKb8cm1B20
83.
by floitsch 5y ago
I believe I once managed to make Toit run in web-assembly. I know for sure that the compiler compiled to it, but I'm pretty sure I also had a "hello world" that worked. I would need to find that branch and see if it still mer
84.
by floitsch 5y ago
It's not Go ;) In all seriousness, though: if you like Go, then tinygo could be a good solution. Personally, I find coding in Toit just a much more pleasant experience.
85.
by floitsch 5y ago
It's this one: https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29...
86.
Show HN: A Flutter app that talks to ESP32 devices(github.com)
6 points by floitsch 5y ago|0 comments
87.
Toit’s Cloud-Managed Containers on ESP32(espressif.com)
2 points by floitsch 5y ago|0 comments
88.
by floitsch 5y ago
Note that "nets" is on the list. They represent 250 banks across Europe (according to their web-page): https://www.nets.eu/who-we-are For example, Danske Bank (the biggest Danish bank) uses them.
89.
by floitsch 5y ago
Credit card payments in Europe now have to have 2-factor authentication. This makes fraud much harder, while still allowing online payments with credit cards. It is probably also helping smaller shops, as even Amazon customers now need to d
90.
Hack an Air Wick(blog.toit.io)
2 points by floitsch 5y ago|0 comments

More ›