kldx

7 ms·

31.
by kldx 2y ago
Thank you for sharing your experience. I wonder if there's a course for non-medical professionals about common symptoms and what to look out for. My high school didn't offer one.
32.
by kldx 2y ago
My takeaway with formal verification tools is that they are leaky abstractions. Sure, I can write a contract to prove a function's implementation but the moment Z3 takes too long to run, I need to peek into the tool is implemented and
33.
by kldx 2y ago
Kate is the snappiest editor I have tried. This is just anecdata - the keystroke latency feels better than the other mainstream editors I use.
34.
by kldx 2y ago
Non paywalled but in norwegian: https://www.pwc.no/no/pwc-aktuelt/skjerpet-exit-skatt.html
35.
by kldx 2y ago
The tech industry here is tiny but growing. This move could affect startups disproportionately.
36.
Norway's proposed exit tax for individuals(news.bloombergtax.com)
4 points by kldx 2y ago|4 comments
37.
by kldx 2y ago
> Private individuals moving from Norway will have to pay exit tax on accrued but unrealized capital gains within 12 years, under a proposal published Wednesday by the Nordic country’s finance ministry.
38.
by kldx 3y ago
How reliable is mail delivery ootb with dmarc, spf and dkm in your experience? (I guess it really depends on the reputation of the IP and not the mail server)
39.
by kldx 3y ago
Right! LCell (qcell) is similar to GhostCell but I like the flexibility the other cell types in qcell provdie
40.
by kldx 3y ago
https://plv.mpi-sws.org/rustbelt/ghostcell/ uses higher rank lifetimes to implement circular linked lists. The downside is that a linked list is stuck inside a closure.
41.
by kldx 3y ago
Typst is a single file binary. The preview packages are versioned too. If typst breaks the API in ten years, I'd still be able to download the old binary and make a PDF from scratch. I can't begin to imagine the complexity in inst
42.
by kldx 3y ago
For the JS lifetime machinery that's entirely out of rust's borrow checker shouldn't one verify the properties of unsafe code (which I imagine the garbage collector would use)? As I understand it, Rusthornbelt exists to prove
43.
by kldx 3y ago
This is a task where Halide https://halide-lang.org/ could really shine! It disconnects logic from scheduling (unrolling, vectorizing, tiling, caching intermediates etc), so every step the author describes in the article is
44.
by kldx 3y ago
Context: I tried and failed at convincing management in moving my work monorepo to bazel. We have around 5 core languages plus a bunch of dsls. If you don't mind sharing, what languages do you build in your bazel workspace? Were you ab
45.
by kldx 3y ago
The requests in netscape appear to be forwarded to an open proxy - is this a safe thing to do? curl -H "Origin: https://software.inc " https://classic-mac-website-..snip/http://wttr.in
46.
by kldx 3y ago
Sadly io_uring has its share of vulnerabilities as well
47.
by kldx 3y ago
That's an interesting view and one I agree with. Surely if context switch = expensive is common knowledge for a long time in computing, the kernel people and CPU companies would have tried optimizing it to the fullest, no?
48.
by kldx 3y ago
> I've shipped two commercial products based on it which still works perfectly today on all 3 desktop platforms from all GPU vendors... what's not to love? In my experience, if commercial products involved any sort of hand-opti
49.
by kldx 3y ago
Can confirm the desktop and my web browser are a whole lot snappier on Wayland
50.
by kldx 3y ago
Off topic: PLIVO, the norwegian term actually is a protocol used by critical services here. Thought you might find it interesting :) > PLIVO (an abbreviation for ongoing life-threatening violence) is a procedure for cooperation between t
51.
by kldx 3y ago
https://www.abclinuxu.cz/blog/kamil_paral/2008/8/vraceni-lic... is the original source
52.
Lenovo won’t refund the Windows tax without an NDA (2008)(arstechnica.com)
5 points by kldx 3y ago|1 comments
53.
by kldx 3y ago
Sounds interesting. Do you have any formal verification tools in your tech stack? p.s. are you hiring?
54.
by kldx 3y ago
https://archive.is/y28IG
55.
by kldx 3y ago
My experience (N=~5) is that the waiting times for legevakten are in the order of a couple of hours for anything non trivial. I have also observed some reluctance on preventative tests at the fastlege. I don't mean to contradict your o
56.
by kldx 3y ago
> perfectly on time > they do the required tests and examinations Do you have a source or is this anecdata? I do agree with your other claims though.
57.
by kldx 3y ago
+1 anecdatum
58.
by kldx 4y ago
Congrats on the funding. Happy to hear!
59.
by kldx 4y ago
Can you explain what temperature is, in this context? I don't know the terminology
60.
by kldx 4y ago
I'm interested in hearing about your experience in PL research. Would you be interested in answering my questions, as someone hoping to enter PL labs?

More ›