gjadi

18 ms·

181.
by gjadi 4y ago
I don't remember the details, but I remember some people where comparing traces of execution between the program and the TLA+ code. If the traces don't match, you've got a problem.
182.
by gjadi 4y ago
I think hypnosis is sometimes used for anesthesia. So maybe self-hypnosis is also possible. After a quick look at wikipedia I found this: https://en.wikipedia.org/wiki/Self-hypnosis#Childbirth_anest... Not sure how sol
183.
Tcl'2017: SQLite's Use of Tcl (Richard Hipp)(youtube.com)
2 points by gjadi 4y ago|0 comments
184.
by gjadi 4y ago
Oh wow indeed! I didn't follow the news, thanks for the update :)
185.
by gjadi 4y ago
It makes sense for OpenBSD because: - it separates /, /usr and /usr/local - it has special mount options such as wxallowed which is usually enabled on /usr/local only https://man.openbsd.org/mou
186.
by gjadi 4y ago
On OpenBSD the split is nicely described in https://man.openbsd.org/man7/hier.7 The main difference is about static linking. > /bin/ User utilities fundamental to both single and multi-user environments. T
187.
by gjadi 4y ago
Ok, so that's related to consensus algorithm. Thank you!
188.
by gjadi 4y ago
What is "ratification intelligence"? From the article: > The HPSC processor and X280 compute subsystem is expected to be useful to other government agencies in a variety of applications including industrial automation, edge com
189.
by gjadi 4y ago
Well, that's why there is several documents: C-h i * Elisp: (elisp). The Emacs Lisp Reference Manual. * Emacs Lisp Intro: (eintr). A simple introduction to Emacs Lisp * Emacs: (emacs). The extensible self
190.
by gjadi 4y ago
I believe most SMTP servers talk SSL/TLS, so, yes, sending mail directly to an SMTP server that doesn't belong to the ISP prevent the ISP from reading the mail.
191.
by gjadi 4y ago
I don't have an answer, but I've a question :P How do you trigger the behavior? Is it bound to a key or is there a different way to trigger the action? For example, I'm an emacs user and though I remember a lot of bindings, I
192.
by gjadi 4y ago
Lots of interesting links to talks related to C at the end of the articles!
193.
by gjadi 4y ago
As a cyclist, I fear that indeed, automatic requires less thinking, thus less concentration. Are there studies on the frequencies of accidents based on manual vs. automatic?
194.
by gjadi 4y ago
Isn't the issue because we are reluctant to remove stuff? In the same vein as other said we should throw away one or two version of a program before shipping it. Maybe we need to learn how to delete stuff that doesn't make sense.
195.
by gjadi 4y ago
Don't let the bad rap hinders you. That has not been my (small) experience with the mailing lists. You propose a change: - if it's interesting, you will get advice on how to make it good - if it's good it will get committed -
196.
by gjadi 4y ago
When you look for job in OCaml, you can find several fintech and blockchain related companies.
197.
by gjadi 4y ago
I don't remember having to complain because of its slowness. Some operations can take times, such as computing a burndown report, but I don't have comparison with another tool to say if it's slow or not.
198.
by gjadi 4y ago
Youtrack, from jetbrains https://www.jetbrains.com/youtrack/ I'd say the biggest thing I'm missing in it is a chrono. We track our time worked per tasks and I've been told Jira provides a chrono to do th
199.
by gjadi 4y ago
Wouldn't it be possible with ssh -R ? The device connect remotely to a server that you control and give access back to you. https://man.openbsd.org/ssh#R Or setup wireguard and forward PUBLICIP:PORT to PHONE_WG_IP:POR
200.
by gjadi 4y ago
For me it's the ease of management and good documentation. For example, during 6.8 to 6.9 upgrade, there was a major postgresql upgrade. It is mentioned in the doc https://www.openbsd.org/faq/upgrade69.html (see S
201.
by gjadi 4y ago
Yes a standard would probably solve the issue. But until lawyers push for a standard that would make this part of their work irrelevant, I can't see how it could happen :)
202.
by gjadi 4y ago
It makes sense, doesn't it? Do not accept code that you know you won't be able to maintain or test.
203.
by gjadi 4y ago
And you can have multiple licenses in the same repository, folders with copyright exceptions, etc. It's hard enough for us human to find our way in this mess, I've little hope for an AI. But maybe it's just the first step. Th
204.
by gjadi 4y ago
> Oh we are playing major version minor version! I also had some doubts, especially after a quick look at Apache Open Office[1]. Then I checked the announcement of 4.1.{9,10,11,12}. They are all maintenance or security updates. Compared
205.
by gjadi 4y ago
Until recently[1], jitsi was not working properly on Firefox. Which was very frustrating given they are both free software :( 1: https://github.com/jitsi/jitsi-meet/issues/4758#issuecomment...
206.
by gjadi 4y ago
ATM I'm looking for bugs I can address with either TLA+[1] (hello concurrency) or Alloy[2] (hello design exploration). Other times I had some linear algebra stuff I was working on, so I learned a bit of Octave[3] to generate test cases
207.
by gjadi 4y ago
2 answers: 1. I code on my time off when I'm not coding enough at work because I'm too busy with other tasks such as management, documentation, specification, testing, or just boring development 2. I try as much as possible to &qu
208.
by gjadi 4y ago
If your emacs freezes, you can often recover it by sending the USR2 signal. When it receives this signal, Emacs will drop in the debugger.
209.
by gjadi 4y ago
Maybe the issue isn't that repairing costs a lot, but rather than replacing it too cheap.
210.
by gjadi 4y ago
Or your printf changes: - the timing of execution so nothing works => hello USB driver! - the scheduling of your threads - the memory layout => a memory overflow won't crash your program the same way or not at all I feel lucky I&

More ›