|
Automating Exhaustive Branch Coverage for Sealed Types in Kotlin
-
eng.wealthfront.com
-
10 months ago
-
eng
We take code correctness and code quality seriously at Wealthfront. One of the most effective ways we ensure that our code is correct is through rigorous unit testing and strong typing. In Kotlin, sealed classes and sealed interfaces offer a powerful tool to model restricted class hierarchies. They provide strong guarantees about the types in... Read more
|
|
I delivered my traditional Go Cryptography State of the Union talk at GopherCon US 2025 in New York. It goes into everything that happened at the intersection of Go and cryptography over the last year.
|
|
Table of Contents Hello Persistasaurus! Capturing Execution State Delayed Executions Human Interaction Managing State Wrapping Up Lately, there has been a lot of excitement around Durable Execution (DE) engines. The basic idea of DE is to take (potentially long-running) multi-step workflows, such as processing a purchase order or a user sign-up, and make their individual steps persistent. If a flow gets interrupted while..
|
|
Table of Contents Hello Persistasaurus! Capturing Execution State Delayed Executions Human Interaction Managing State Wrapping Up Lately, there has been a lot of excitement around Durable Execution (DE) engines. The basic idea of DE is to take (potentially long-running) multi-step workflows, such as processing a purchase order or a user sign-up, and make their individual steps persistent. If a flow gets interrupted while..
|
|
Table of Contents Hello Persistasaurus! Capturing Execution State Delayed Executions Human Interaction Managing State Wrapping Up Lately, there has been a lot of excitement around Durable Execution (DE) engines. The basic idea of DE is to take (potentially long-running) multi-step workflows, such as processing a purchase order or a user sign-up, and make their individual steps persistent. If a flow gets interrupted while..
|
|
https://t.me/s/cheRostov/18794 Мировой суд города Таганрога оштрафовал жителя ДНР за пропаганду ЛГБТ в интернете. Известно, что мужчина публиковал на форуме «Двач» посты и комментарии, в которых положительно отзывался о смене пола и ЛГБТ.
|
|
Why Threat Modeling Is Now Even More Critical for AI-Native Applications
-
snyk.io
-
10 months ago
-
eng
AI-native applications demand a security approach as dynamic as they are. Traditional threat modeling is no longer enough. Discover the shift to continuous, adaptive threat modeling for AI security.
|
|
As the web continues to be the medium for all users, standards bodies need to continue to provide new APIs to enrich user experience and accessibility. One underused API for unsighted users is speechSynthesis, an API to programmatically direct the browser to audibly speak any arbitrary string. The Code You can direct the browser to […] The post JavaScript SpeechSynthesis API appeared first on David Walsh Blog .
|
|
As the web continues to be the medium for all users, standards bodies need to continue to provide new APIs to enrich user experience and accessibility. One underused API for unsighted users is speechSynthesis, an API to programmatically direct the browser to audibly speak any arbitrary string. The Code You can direct the browser to […] The post JavaScript SpeechSynthesis API appeared first on David Walsh Blog .
|
|
As the web continues to be the medium for all users, standards bodies need to continue to provide new APIs to enrich user experience and accessibility. One underused API for unsighted users is speechSynthesis, an API to programmatically direct the browser to audibly speak any arbitrary string. The Code You can direct the browser to […] The post JavaScript SpeechSynthesis API appeared first on David Walsh Blog .
|
|
The family tradition of attending every Halo World Championship continued in 2025, an extra special year because of the last HCS installment on top of Halo Infinite.
|
|
Three AI Agents Walk Into a Bar (and Only One Actually Read the Menu)
-
prashamhtrivedi.in
-
10 months ago
-
eng
I tested three AI coding agents on writing analysis-Claude, Gemini, and Codex. After fixing a configuration bug, the results changed dramatically. Here’s what happened.
|
|
Introduction Link to heading This post summarises the things I learned while I was an Airbnb host between Nov 2021 and Dec 2022. I did the short lets for my old flat in Shoreditch as an alternative to leaving the property vacant while I was trying to sell it. It has taken until now to publish the post, because I wanted to complete the sale first (and therefore be sure I wouldn’t relist on Airbnb), but encountered various iss..
|
|
I started using Typst about a month ago to write my dissertation proposal. I had seen Typst before and decided to keep an eye on it as it matured. While it still is very much in development, it is mature enough that I was able to rewrite my dissertation proposal from an org-mode → LaTeX pipeline to pure Typst in about an hour with no major hiccups. In fact, most things got simpler as a consequence of using Typst.
|
|
Three AI Agents Walk Into a Bar (and Only One Actually Read the Menu)
-
prashamhtrivedi.in
-
10 months ago
-
eng
I tested three AI coding agents on writing analysis-Claude, Gemini, and Codex. After fixing a configuration bug, the results changed dramatically. Here’s what happened.
|
|
Introduction Link to heading This post summarises the things I learned while I was an Airbnb host between Nov 2021 and Dec 2022. I did the short lets for my old flat in Shoreditch as an alternative to leaving the property vacant while I was trying to sell it. It has taken until now to publish the post, because I wanted to complete the sale first (and therefore be sure I wouldn’t relist on Airbnb), but encountered various iss..
|
|
I started using Typst about a month ago to write my dissertation proposal. I had seen Typst before and decided to keep an eye on it as it matured. While it still is very much in development, it is mature enough that I was able to rewrite my dissertation proposal from an org-mode → LaTeX pipeline to pure Typst in about an hour with no major hiccups. In fact, most things got simpler as a consequence of using Typst. Typst is a type....
|
|
It’s the end of the day, and I was about to go for a walk when I realized: it’s the 20th and I have yet to do my monthly blog stats post!
|
Why replace the elliptic package? Yesterday, the Trail of Bits blog published a post about finding cryptographic bugs in the elliptic library (a Javascript package on NPM) by using Wycheproof. This blog post was accompanied by a new chapter in their Testing Handbook about using Wycheproof as well as two CVEs. It’s pretty cool work, […]
|
|
How the Linux-vs-BSD culture clash looked in the 1980s/1990s
-
liam-on-linux.dreamwidth.org
-
10 months ago
-
eng
Repurposed HN comment. ) The BSD/Linux thing was there right from the start, but it was more complicated than a simple us-vs-them. The thing is that there were a whole bunch of competing commercial Unix-like OSes in the 1980s. But there were other prejudices as well. In Proper Grown-Up Unix terms, PCs were toys, poorly-made weird little things that were no more than office equipment. So nothing worth using ran on the 386. There wa....
|
Background A Voluntary Product Accessibility Template (VPAT) is a document that outlines how well a product aligns with accessibility (a11y) standards. Its primary purpose is to inform customers about a product’s a11y features, enabling them to make informed decisions before purchasing software. At Slack, we conducted a VPAT by a third party a11y vendor in…
|
|
This is a tough sequel to review without any spoilers for The Will of the Many , so I’m not going to attempt it. Spoiler warning for Book I below! The Strength of the Few picks up right where The Will of the Many left off: Vis, the protagonist, has been simultaneously copied into two other worlds called Luceum and Obiteum while his story also continues back in the world of Book I, called Res. Somewhat necessarily, each storyline....
|
|
This is a tough sequel to review without any spoilers for The Will of the Many , so I’m not going to attempt it. Spoiler warning for Book I below! The Strength of the Few picks up right where The Will of the Many left off: Vis, the protagonist, has been simultaneously copied into two other worlds called Luceum and Obiteum while his story also continues back in the world of Book I, called Res. Somewhat necessarily, each storyline....
|
The template went pretty far in the Fried Egg design contest, so I thought I would share how I threw it together in a few hours.
|
|
'Anfrage zu industrieller Wasserentnahme' an Landratsamt Bad Kissingen
-
fragdenstaat.de
-
10 months ago
-
deu
Antrag nach dem IZG-SH/VIG Guten Tag, in Ihrem Zuständigkeitsbereich sind folgende Unternehmen ansässig, die in der Getränkeindustrie tätig sind und dafür zum großen Teil eigenständig Wasser fördern: • FRANKEN BRUNNEN GmbH & Co. KG - Standort Bad Kissingen • Staatlicher Mineralbrunnen AG für RheinfelsQuellen H. Hövelmann GmbH & Co. KG - Standort Bad Brückenau Ich bitte um Auskunft zu folgenden Punkten für jedes der genannt....
|