formal-verification data-visualization chess politics ideas go-librar…

…ies hiring
kerwinruby · May 6, 2021 · ba1a735 · ba1a735
1 parent 9917f4a
commit ba1a735
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 1 deletion.
diff --git a/computer-science/formal-verification/formal-verification.md b/computer-science/formal-verification/formal-verification.md
@@ -65,3 +65,4 @@
 - [IncA](https://github.com/szabta89/IncA) - Incremental Program Analysis Framework.
 - [Combining static model checking with dynamic enforcement using the Statecall Policy Language (2015)](https://blog.acolyer.org/2015/03/23/combining-static-model-checking-with-dynamic-enforcement-using-the-statecall-policy-language/)
 - [Proofcraft](https://proofcraft.systems/) - Partner with experts to verify your software. Learn formal verification from the experts.
+- [Can Formal Methods Succeed where UML Failed? (2021)](https://buttondown.email/hillelwayne/archive/can-formal-methods-succeed-where-uml-failed)
diff --git a/data-science/data-visualization.md b/data-science/data-visualization.md
@@ -96,4 +96,4 @@
 - [Battle of the Python Dashboarding Giants: Streamlit vs. Dash vs. Voilà vs. Panel (2021)](https://medium.datadriveninvestor.com/streamlit-vs-dash-vs-voil%C3%A0-vs-panel-battle-of-the-python-dashboarding-giants-177c40b9ea57) ([HN](https://news.ycombinator.com/item?id=26842510))
 - [Semiotic](https://github.com/nteract/semiotic) - Data visualization framework combining React & D3. ([Web](https://semiotic.nteract.io/))
 - [Grafar](https://github.com/thoughtspile/grafar) - JavaScript library for reactive, 3D mathematical visualization. ([Web](https://thoughtspile.github.io/grafar/#/))
-- [Observable Plot](https://github.com/observablehq/plot) - JavaScript library for exploratory data visualization. ([Web](https://observablehq.com/@observablehq/plot)) ([HN](https://news.ycombinator.com/item?id=27036768)) ([Tweet](https://twitter.com/FrankElavsky/status/1389961152545890308))
+- [Observable Plot](https://github.com/observablehq/plot) - JavaScript library for exploratory data visualization. ([Web](https://observablehq.com/@observablehq/plot)) ([HN](https://news.ycombinator.com/item?id=27036768)) ([Tweet](https://twitter.com/FrankElavsky/status/1389961152545890308)) ([Tweet](https://twitter.com/simonw/status/1389615048880914437?s=20))
diff --git a/games/chess.md b/games/chess.md
@@ -88,3 +88,4 @@ Loved watching [Queen's Gambit](https://trakt.tv/shows/the-queen-s-gambit). I pl
 - [Why Lichess will always be free](https://lichess.org/blog/YF-ZORQAACAA89PI/why-lichess-will-always-be-free.) ([HN](https://news.ycombinator.com/item?id=26910579))
 - [8 Weird Opening Traps You've Never Seen Before (2021)](https://www.youtube.com/watch?v=VHlsQ2OT2eI)
 - [GM Aman Hambleton Beautiful Queen Sac (2021)](https://www.youtube.com/watch?v=HRJUF7FFOV4&t=6s)
+- [Мужской разговор с Даниилом Дубовым: о Карлсене, претендентах, читерах и будущем шахмат (2021)](https://www.youtube.com/watch?v=n4cHZWlFh18)
diff --git a/governance/politics.md b/governance/politics.md
@@ -19,3 +19,4 @@
 - [Popular Information](https://popular.info/) - Newsletter about politics for people who give a damn.
 - [Issues with Marxism (2020)](https://twitter.com/PsychRabble/status/1335792815461294087)
 - [Book Review: Why We're Polarized (2021)](https://astralcodexten.substack.com/p/book-review-why-were-polarized) ([Reddit](https://www.reddit.com/r/slatestarcodex/comments/lges1y/book_review_why_were_polarized/))
+- [Four stages of caring about politics](https://twitter.com/nikitabier/status/1390297478675648514)
diff --git a/ideas/ideas.md b/ideas/ideas.md
@@ -93,3 +93,4 @@ I try to give my full attention to any ideas I am working on.
 - [Do What Makes The Best Story](https://amasad.me/story) ([Tweet](https://twitter.com/KennethCassel/status/1388460504109174785))
 - [Ideas Filter](http://ideasfilter.com/) - List of apps people pay for but have low rating. ([HN](https://news.ycombinator.com/item?id=27007767))
 - [Orbit](https://withorbit.com/) - Experimental platform for publishing and engaging with small tasks repeatedly over time. ([Code](https://github.com/andymatuschak/orbit)) ([HN](https://news.ycombinator.com/item?id=27051468))
+- [Crazy New Ideas (2021)](http://paulgraham.com/newideas.html) ([HN](https://news.ycombinator.com/item?id=27061789))
diff --git a/programming-languages/go/go-libraries/go-libraries.md b/programming-languages/go/go-libraries/go-libraries.md
@@ -799,6 +799,7 @@
 - [GCI](https://github.com/daixiang0/gci) - Tool that control Go package import order and make it always deterministic.
 - [imgutil](https://github.com/buildpacks/imgutil) - Helpful utilities for working with images.
 - [rjson](https://github.com/WillAbides/rjson) - Fast JSON parser for go.
+- [fungo](https://github.com/rvolosatovs/fungo) - Generic, lazy, concurrent Go2 collections, result, maybe wrappers and all kinds of sweet functional goodness to operate upon them.
 
 ## Links
 

diff --git a/work/finding-work/hiring.md b/work/finding-work/hiring.md
@@ -86,3 +86,4 @@
 - [Tools for doing hiring coding challenges (2021)](https://twitter.com/Shpigford/status/1387825617870147587)
 - [A Framework for Hiring a VP of Engineering, from Shopify's VPE](https://review.firstround.com/hiring-a-vp-of-engineering-use-this-framework-from-shopify%27s-vpe-to-get-it-right)
 - [What's going on here, with this human?](https://grahamduncan.blog/whats-going-on-here/) ([Tweet](https://twitter.com/GrahamDuncanNYC/status/1387806662631727104)) ([HN](https://news.ycombinator.com/item?id=26989026))
+- [Ask HN: How to attract perm Snr Engs when the contract market is so lucrative? (2021)](https://news.ycombinator.com/item?id=27061631)