search

marianoguerra / future-of-coding-weekly

repository to work on future of coding weekly newsletter
https://tinyletter.com/marianoguerra/
32 stars 3 forks source link

Future of Coding Weekly 2021/11 Week 5 #106

Closed marianoguerra closed 2 years ago

marianoguerra commented 2 years ago
marianoguerra commented 2 years ago

šŸ‘“ AR Tabletop Gaming šŸ•ø CRDT for Rich-Text Collaboration šŸ“š Software Foundations šŸ’” UIs for Static Analysis Tools

šŸ“… Remember Review Jam? it's back in Advent of Future of Code form, one project and one task per day until December 25th, join the mailing list to get notified!

Two Minute Week

šŸŽ„ Teliva - an environment for end-user programming via Kartik Agaram

šŸ§µ conversation

This week I bundled networking libraries into my platform for hackable text-mode apps.

Main project page: github.com/akkartik/teliva

šŸŽ„ chesstv

marianoguerra commented 2 years ago

šŸš® Alpha #4: garbage collection and golden testing via Alexey Shmalko

šŸ§µ conversation

This week I finished garbage collection in Alpha and then focused on refactoring and adding tests.

marianoguerra commented 2 years ago

Thinking Together

šŸŽ„ Eve: A day in the life via Henning Sato von Rosen

šŸ§µ conversation

Thumbnail

Hi all; I'd like to use Literate programming in Visual Studio Code for js. Anyone doing that? E.g Plug-in recommendations would be appreciated. Ideally I'm looking for something with a subset of similar features to what [Chris Granger] Chris Granger did for Eve [demo]; Free source code ordering, ability to add some interactivity using the code itself etc, mix markdown and js. That should be pretty doable, don't you think?

Thing is I've got a perfect use-case for literate programming in a current project; not much code, just a few hundred LOC, but conceptually heavy. So I'm not in need of any deep magic, it's enough if Literate Programming would: (1) help me understand my own underlying model. (2) Produce something useful to others wanting to understand the code/underlying model later (without extra work on my side šŸ™‚ ). That would be great!

Recommendations/ideas/experiences are super welcome!

marianoguerra commented 2 years ago

Content

šŸŽ™ Magical AR Tabletop Gaming with Tive Five via William Taysom

šŸ§µ conversation

Kent Bye has an especially wide ranging with Jeri Ellsworth about her VR work on his Voices of VR podcast.

Beyond the interesting tech (concisely described here Tilt Five | How it works), we have:

ā€¢ weirdness and perils of Valve's flat org structure,

ā€¢ Ellsworth telling corporate nondisclosure interests to shove it,

ā€¢ weirdness and perils of venture capital,

ā€¢ developing the right savvy to tell VC to shove it, and finally

ā€¢ successfully kickstarting a product with that innovative tech.

Have any of you tried Tilt Five https://www.tiltfive.com/?

marianoguerra commented 2 years ago

šŸ“ An oral history of Bank Python via Gleb Posobin

šŸ§µ conversation

Some bank runs on python scripts stored in a database, together with a custom editor, job runner, dependency tracker this basically gives them a more powerful version of an excel spreadsheet that is more accessible than say git + any production-ready deployment method. Very interesting and thought-provoking post, highly recommend

marianoguerra commented 2 years ago

šŸŽ„ Joe Armstrong & Alan Kay - Joe Armstrong interviews Alan Kay via Paul Tarvydas

šŸ§µ conversation

Thumbnail

Alan Kay interviewed by Joe Armstrong (2016)

marianoguerra commented 2 years ago

šŸ“ Peritext: A CRDT for Rich-Text Collaboration via Mariano Guerra

šŸ§µ conversation

marianoguerra commented 2 years ago

šŸ“š Software Foundations series via Deepak Karki

šŸ§µ conversation

https://softwarefoundations.cis.upenn.edu/

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a ā€œproof scriptā€ for the Coq proof assistant.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover > Logical Foundations> plus most of > Programming Language Foundations> or > Verified Functional Algorithms> , or selections from both.

marianoguerra commented 2 years ago

šŸ“ Designing UIs for Static Analysis Tools via Deepak Karki

šŸ§µ conversation

Past research has shown that static-analysis tools suffer from common usability issues such as a high rate of false positives, lack of responsiveness, and unclear warning descriptions and classifications. Although these tools have grown more complex and their industry usage has spread, those issues have remained prominent.

To address the usability issues of static-analysis tools, Lisa Nguyen et al. proposed a user-centered approach to designing these tools during the development of the analysis, as opposed to keeping the development of the analysis and its UI (user interface) separate. To this end, they defined 10 guidelines for designing the UI of an analysis tool. The authors extracted those guidelines from existing literature and a study that they have conducted across 17 static-analysis tools and 87 software developers at Software AG. The guidelines consider analysis engine requirements, user behavior, reporting platforms, and the effects of company policies on the usage and adoption of static-analysis tools.

marianoguerra commented 2 years ago

https://tinyletter.com/marianoguerra/letters/future-of-coding-weekly-2021-11-week-5