Gleb Posobin 2021-11-22 13:05:09 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: https://calpaterson.com/bank-python.html
Florian Schulz 2021-11-23 06:52:46 Such an interesting read! Thanks for sharing! Reminded me about a few terms I‘ve overheard in the energy trading sector, too.
Gleb Posobin 2021-11-23 13:46:28 Sounds like software engineering sector is quite behind all the others 🙂
Paul Tarvydas 2021-11-23 04:31:31 Alan Kay interviewed by Joe Armstrong (2016)
https://www.youtube.com/watch?v=fhOHn9TClXY&t=859s
23:49 mention of PEGs
31:50 In a ‘real’ Computer Science, the best languages of an era should serve as ’assembly code” for the next generation of expression.
59:43 mathematics is not reality
1:00:50 confusing the-means-to-an-end as an end
1:01:53 - Monads is too much of a kludge
[thanks to Rajiv Abraham for pointing me at this video]
Andreas S. 2021-11-27 09:16:17 The ability to discuss things where people do not agree to each other or are not trusting each other is still lacking today
Mariano Guerra 2021-11-23 19:32:56 William Taysom 2021-11-24 04:21:19 Seems applicable to any sort of multi-typed range markup. Timelines/calendaring come to mind.
Arvind Thyagarajan 2021-11-24 17:52:59 in the case of colours perhaps blend-mode is a possibility instead of a conflict?
Deepak Karki 2021-11-27 02:41:09 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.
Deepak Karki 2021-11-27 05:27:45 Designing UIs for Static Analysis Tools
https://queue.acm.org/detail.cfm?id=3487026
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.
