Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @evincarofautumn
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @evincarofautumn
-
Prikvačeni tweet
I’m resurrecting this account for programming-related content. That will mostly be about the Kitten programming language (https://github.com/evincarofautumn/kitten …)—check out the Gitter channel (https://gitter.im/kittenlang/Lobby …) if you want to help me bikeshed and figure out design & implementation details
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jon Purdy proslijedio/la je Tweet
"Groq rolls over competitors." Feeling awfully proud of @GroqInc today! https://groq.com/groq-rocks-neural-networks/ …@LinleyGroup
pic.twitter.com/83628CVouBHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
“What does this C++ code prin—” Please stop. I don’t care. I love languages, I love trivia, I know the answer, and I promise you it’s not worth the space in your head, unless you’re willing to rent it all out for language-lawyering instead of writing code that stays written.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A programming language shouldn’t need syntax highlighting to be readable; highlighting ought to augment the language, not paper over its deficiencies of usability
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I’ve also readopted the practices I used when I was most productive: do a little bit every day and record tasks/progress in a lightweight way, avoiding getting sucked into the fauxductivity of writing up issues and plans instead of just…working on issues and carrying out plans.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is to say that I’m at it again—the latest development is that I wrote up a precise spec of what I want in 1.0, trimming wishlist features for now, and figured out the architectural changes that will make that spec easier to implement. I’m excited and hopeful about it!
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I took time off between jobs to work on Kitten, but since going back to work, it seems that I’m more productive not when I’m not working, but when I’m working a job that I *like*—it forces me to maintain a regular schedule, but doesn’t make me too burnt out to do side projects.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jon Purdy proslijedio/la je Tweet
Linguistics / speech pathology Twitter: is there a name for the manner of articulating s/z sounds where the tongue is positioned very far forward, sometimes interdentally, but *without* a lisp? (That is, the manner of articulation is unusual, but the sound is non-disordered.)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jon Purdy proslijedio/la je Tweet
I’ve accepted a job as a software engineer at Groq, starting in a couple weeks.
They make a processor for ML/AI computing, and I will be working on the compiler for it in Haskell.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jon Purdy proslijedio/la je Tweet
Maybe if we all prematurely optimized we wouldn’t be collectively responsible for consuming 10% of the global electricity output and consequently for generating like a million metric tons of CO₂ emissions annually This is why I’m writing a low-level statically typed language
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Working on Kitten on Windows lately has been a strange adjustment from a few years of Mac/Linux. Fortunately most of my tools (Emacs, Git, Stack) work exactly the same, but I keep getting tripped up by the little muscle memory things like shell/OS keybindings.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I didn’t learn my lesson about backups the last time, clearly.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Lost some time to work on Kitten because my computer died & I’ve been neglecting repairing/replacing it. Should get that done in the next few days; meanwhile I guess I can use my partner’s computer, but I’ve been avoiding that because it doesn’t have my dev env or my latest code.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I could use “““…”””, but because curved quotes are nestable, this is currently a text literal that happens to begin and end with quote characters. Should I special-case this just like for ASCII paragraph literals, or use a different symbol like: ¶ multi line text ¶ ?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Fill in the blank with what you would expect for multi-line text literal syntax in Kitten: • Character literal: ASCII 'c' Unicode ‘c’ • Text literal: ASCII "abc" Unicode “abc” • Paragraph literal: ASCII """ multi line text """ Unicode _____
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I will also try to make a “Lately in Kitten” blog post every 1–2 weeks during that period on http://evincarofautumn.blogspot.com to track high-level progress, with smaller-scale updates posted here and discussed onhttp://gitter.im/kittenlang/Lobby …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In order to motivate myself, I’m going to set a soft deadline for a release announcement of Kitten—the rough plan right now is to start finalising things on the 26th (after I get back from some travelling) and announce a release candidate 6–10 weeks after that.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Various rendering styles are possible, e.g. lines instead of boxes for type cells, adding colours, only displaying types around the currently focused cell, &c. Gotta try various things, see what people find readable, choose sensible defaults, maybe expose the rest as settings.pic.twitter.com/oMxHtOcN8V
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Examples of the initial “dataflow graph” rendering I’m doing, with & without types shown. The expression is “1 2 (+) 'x' swap replicate” (= "xxx")—each term is a box; data dependencies are shown by vertical arrangement. (The current output is functionally the same, but uglier.)pic.twitter.com/wWzEnFStXG
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I’m adapting Kitten’s interactive mode from a REPL into a more full-featured TUI environment. Currently it’s still REPL-like by default, but I’ve got some sketches of viewing & editing definitions in different ways—freeform text, structured text, or a dataflow graph.
#kittenlangPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Lately in Kitten I’ve been porting the meat of the current compiler (& tests) over to the final architecture for the first release. The new tokenizer is error-recovering—it reports all lexical errors inline rather than bailing out at the first lexical error.
#kittenlangHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.