For project managers responsible for a company's workplace relocation strategy, including a furniture planner in the office move planning can save time, resources, and money. Here are five reasons why hiring a furniture planner is a big win for project managers and the project overall. The post Progress, Not Perfection (But Seriously, Progress) first appeared on kimiko designs.| kimiko designs
The two-week voting period will be between Wednesday, September 10, 2025 and Wednesday, September 24, 2025, once the 60 day review of the specification has been completed.The FAPI working group page: https://openid.net/wg/fapi. If you’re not already a member, or if your membership has expired, please consider joining to participate in the approval vote. Information on joining the| OpenID Foundation - Helping people assert their identity wherever they choose
This is a notice of the upcoming vote to approve OpenID for Verifiable Credential Issuance 1.0 as a Final Specification.| OpenID Foundation - Helping people assert their identity wherever they choose
We present in this blog post the main properties that need to be formally verified in the circuits of a zkVM to consider it as secure.| Formal Land Blog
For project managers responsible for a company's workplace relocation strategy, including a furniture planner in the office move planning can save time, resources, and money. Here are five reasons why hiring a furniture planner is a big win for project managers and the project overall. The post Amanda Epplin named a Carnegie Changemaker first appeared on kimiko designs.| kimiko designs
For project managers responsible for a company's workplace relocation strategy, including a furniture planner in the office move planning can save time, resources, and money. Here are five reasons why hiring a furniture planner is a big win for project managers and the project overall. The post The RFP Is Where It Happens first appeared on kimiko designs.| kimiko designs
Public Review Period for Proposed Second Implementer’s Draft of OpenID Connect Native SSO for Mobile Apps The OpenID Connect Working Group recommends approval of the following specification as an OpenID Implementer’s Draft:OpenID Connect Native SSO for Mobile Apps 1.0This would be the second Implementer’s Draft of this specification.An Implementer’s Draft is a stable version of a specification| OpenID Foundation - Helping people assert their identity wherever they choose
The two-week voting period will be between Monday, August 11, 2025 and Monday, August 25, 2025, once the 60 day review of the specification has been completed. The OpenID Shared Signals Working Group page is https://openid.net/wg/sharedsignals/. If you’re not already a member, or if your membership has expired, please consider joining to participate in the approval vote. Information| OpenID Foundation - Helping people assert their identity wherever they choose
I recently was able to image a few Bernoulli Disks for a collection using a SCSI device I have found quite useful. The disks had been sitting around for quite some time waiting for the right tools and resources to extract the contents. I mentioned the accomplishment to a few coworkers and one asked me if I would extract the contents from their old disk they used for school back in the 1990’s. They had spent a whopping $99 at the local bookstore for a disk which held a total of 150MB. Not GB...| Obsolete Thor
If you have been following previous posts about Floppy disk flux captures, you may have read about the HFE or A2R flux image formats. Both very useful in the preservation, archiving and emulation of old software and games stored on decaying and copy-protected floppy disks. I also built a Fluxengine which has come in handyRead more| Obsolete Thor
Let’s talk about the DVD format for a minute. Specifically the miniDVD media format. | Obsolete Thor
For project managers responsible for a company's workplace relocation strategy, including a furniture planner in the office move planning can save time, resources, and money. Here are five reasons why hiring a furniture planner is a big win for project managers and the project overall. The post Specs That Matter first appeared on kimiko designs.| kimiko designs
For project managers responsible for a company's workplace relocation strategy, including a furniture planner in the office move planning can save time, resources, and money. Here are five reasons why hiring a furniture planner is a big win for project managers and the project overall. The post Shaping the Next Chapter: Circular Design in Action first appeared on kimiko designs.| kimiko designs
For project managers responsible for a company's workplace relocation strategy, including a furniture planner in the office move planning can save time, resources, and money. Here are five reasons why hiring a furniture planner is a big win for project managers and the project overall. The post Designing for Impact: The Power of Material Transparency first appeared on kimiko designs.| kimiko designs
There have been many attempts to formalize the zoo of various transaction isolation and consistency concepts over the years. It is not always clear, though, to what extent these attempts have clarified things, especially when each approach has introduced new variations of complexity and formal notation. The rise of distributed storage and database systems and the need to reason about isolation in these contexts has likely worsened the situation.| William Schultz
KubeCon NA 2024 Summary and Tracking Announcement| OpenFeature Blog
Help us make feature observability better for everyone!| OpenFeature Blog
Announcing version 1.0 of the OpenFeature Web SDK| OpenFeature Blog
Simplifications and Improvements to Better Support Framework-Specific SDKs| OpenFeature Blog
The OpenID Foundation membership has approved the following specification as an OpenID Implementer’s Draft: OpenID for Verifiable Presentations: https://openid.net/specs/openid-4-verifiable-presentations-1_0-ID3.htmlAn Implementer’s Draft is a stable version of a specification providing intellectual property protections to implementers of the specification. This Implementer’s Draft is a product of the AB/Connect working group. The voting results were:Approve – 91 votesObject - 3 votes...| OpenID Foundation - Helping people assert their identity wherever they choose
The OIDF FAPI Working Group recommends approval of FAPI 2.0 Security Profile and FAPI 2.0 Attacker Model as Final Specifications.| OpenID Foundation - Helping people assert their identity wherever they choose
The official voting period will be between Tuesday, December 17, 2024 and Tuesday, December 24, 2024 (12:00pm PT), once the 45 day review of the specification has been completed. For the convenience of members who have completed their reviews by then, voting will actually begin on Tuesday, December 10, 2024.The AB Connect work group page is https://openid.net/wg/connect/.| OpenID Foundation - Helping people assert their identity wherever they choose
Formal specifications havebecomea core part of rigorous distributed systems design and verification, but existing tools have still been lacking in providing good interfaces for interacting with, exploring, visualizing and sharing these specifications and models in a portable and effective manner. The TLA+ Web Explorer aims to address this shortcoming by providing a browser-based tool for exploring and visualizing formal specifications written in TLA+. It takes inspiration from past attempts a...| William Schultz
| Protocols Made Fun
| Protocols Made Fun
This is an excerpt from Michael Jackson (not the singer)’s book Software Requirements and Specifications, in his discussion of “Raw Materials”. It’s worth letting stand on its own. First, make a list of all the languages you use in all your development activities. Be honest: don’t list all of the languages you have ever heard of; include only languages you have used for real work at least once… Now, ask yourself which of the languages on your list you would choose to say these thi...| Hillel Wayne
I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.| Hillel Wayne
I really like the c2 wiki as a historical artifact: a lot of big names in Agile and Extreme Programming argued with each other there.1 One thing they did was the Extreme Programming Challenge, where people tried to test the limits of these approaches. They’d find edge problems (designing databases, remote teams, etc) and see if Agile/XP still worked in that context. In almost every case they quickly decided that yes, it works just fine.| Hillel Wayne
I really like decision tables but they’ve fallen out of common knowledge. Let’s fix that. A decision table is a means of concisely representing branching and conditional computations. In the most basic form, you have some columns that represent the “inputs” as booleans and some columns that represent outputs and effects. It looks like this: A B C f(A, B, C) T T T 1 T T F 3 T F T 7 T F F “cucumber” F - - NullError - means that it doesn’t matter what the value is.| Hillel Wayne