InfluxDB – Built for High-Performance Time Series Workloads
featured www.influxdata.com
Sevalla - Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been lookin
Issue 484 of the newsletter was published on 2025-08-07. Browse the archives for older issues.
The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The
2025-07-31 (Thu)
#3 EvenOddList を場合分けする (3) negb を反対の辺に動かす
eq の場合わけをうまく使うために b = ~~ c の右辺を変数にしたいわけだが、
等式の左右を逆にするのではなく、右辺の negb (~~) を剥がして左辺にもってくることも考えられる。
今回は Hb : b = ~~ b0 の b が変数だったので左右を逆にするだけで右辺を変
Carlo Angiuli and I are writing a book on
dependent type theory. The book is under contract to be published with
Cambridge University Press, but a draft will remain online and available here: Principl
<link rel="stylesheet" href="/etc.clientlibs/settings/wcm/designs/ver/250715/intel/clientlibs/pages/get-help.min.css" type="text/css">
<link rel="stylesheet" href="/etc.clientlibs/settings/wcm/designs
scrap-your-iteration-combinators
Friday, May 2, 2025
Prompt chaining reimagined with type inference
At work I’ve been researching
how to improve the ergonomics of prompt engineering and I wanted to share
and open source some of what
Leaving Atheism for Good
After decades as an atheist, I found my way back to Christianity when confronting the emptiness of a world without meaning or purpose
© 2025 John A De Goes. Powered by Jekyll,
Code and CI/CD, powered by the Atlassian platform
Elevate your software delivery from planning to production and beyond, with built-in AI, CI/CD, and a best-in-class Jira integration.
Try it now
Simpl
I write articles, host a podcast, and since March 2022
serve in the National Guard of Ukraine.
I also used to maintain several open source
packages.
Open and close the navigation menu
Why Bitbucket
Features
CI/CD
Cloud Security
DevSecOps
Code review
Integrations
Jira Integration
Atlassian Open DevOps
Product Guide
Get Started
Brief overview of Bit
Platonic C# - Managing Referential Transparency through Unique Types
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around default