Crystal: You can prove that for random, repetitive, correct, database
record name generation using small upperbounds, the demonstrated 1/3-1/2
runtime isn’t worth it for an upperbound like 26 - 92 in a business context
that fights for every last millisecond?
Bring it.
Prove the correctness of wha
On Tue, May 17, 2022 at 09:12:08AM +0200, Antoine Jacoutot wrote:
> Hi folks.
>
> I would like to move away from the rc_exec variable to an rcexec() function
> for
> rc.d scripts.
> That will allow daemon_logger to work out of the box even for manually
> crafted rc_start() functions.
> I will als
On Sat, Apr 16, 2022 at 12:09:46PM -0400, Dave Voutila wrote:
> This tucks all the spinout paranoia behind `#ifdef MP_LOCKDEBUG` and
> uses the same approach used in amd64's pmap's TLB shootdown code.
>
> Part of me wants to remove this altogether, but I'm not sure it's
> outlived its usefulness qu
On Wed, May 18, 2022 at 10:27:11AM -0400, Dave Voutila wrote:
>
> ping...would like to get this in if possible so I can move onto fixing
> some things in vmm.
>
sorry. ok mlarkin
> Dave Voutila writes:
>
> > tech@,
> >
> > Continuing my vmm/vmd bug hunt, the following diff adapts
> > vcpu_readre
I appreciate your response, Damien.
I did do the bare minimum of correctness testing and it was the post right
after Guenther was congratulated on proving incorrectness:
https://marc.info/?l=openbsd-tech&m=165259528425835&w=2
The post includes software to reproduce the results.
I wrote a high
On Fri, 20 May 2022 at 16:46:01 +0200, Ulf Brosziewski wrote:
> Shouldn't the check of the button page remain in place, for identifying
> plain old touchpads with external buttons?
The device in question reports it has multiple buttons when it's
just a clickpad, so keeping that check would defeat
Shouldn't the check of the button page remain in place, for identifying
plain old touchpads with external buttons? Looking for the "Pad Type"
feature (HUD_BUTTON_TYPE in hid.h) doesn't make much sense for these
devices because the feature report is optional:
"If the device has a non-button re
I ran into problems with Apple clients failing to connect to
iked after updating a machine to 7.1, introduced by
https://github.com/openbsd/src/commit/e3f5cf2ee26929d75dc2df9e86d97c36b2a94268
spi=0xac3d46687441f957: recv IKE_SA_INIT req 0 peer rrr.rrr.rrr.rr:49436 local
lll.ll.lll.lll:500, 308 by
I appreciate your response, Damien.
I did do the bare minimum of correctness testing and it was the post right
after Guenther was congratulated on proving incorrectness:
https://marc.info/?l=openbsd-tech&m=165259528425835&w=2
The post includes software to reproduce the results.
I wrote a high
On 2022/05/20 00:39, Loïc Revest wrote:
> ()Hello Stuart,
>
> Thanks for giving it also a try - I was the one bothering Tobias
> earlier today with
> this use case of a Windows 10 (21H2) client trying to connect to an iked
> server
> whose CA certificate wasn't self-signed, but signed by a root C
10 matches
Mail list logo