weavie

36 ms·

361.
by weavie 8y ago
I'm not sure how it would be possible to have dependent types in a non-pure language. A function such as append: Vect n elem -> Vect m elem -> Vect (n + m) elem only works because the compiler can know exactly what is go
362.
by weavie 8y ago
How do you find the performance compared to Github?
363.
by weavie 8y ago
I suspect you pronounce Udemy as You-demy. The author probably pronounces it Oo-demy.
364.
by weavie 8y ago
Of the libs that are missing in Rust, which one would you find the most useful? I'm looking for project ideas to get stuck into.. :)
365.
by weavie 8y ago
How does one go about conducting such audits? Is it just a case of looking at the code long with an experienced eye to spot potential flaws? Or are there standard techniques and tools that people follow?
366.
by weavie 8y ago
The reason I found JS interop confusing in Bucklescript is there are multiple ways to do it, so it wasn't obvious which was the right way. I think a lot of that is due to the fact that Js is ultimately a very different language from OC
367.
by weavie 8y ago
Waking up on a Sunday morning, realise you don't have to get up, roll over and go back to sleep. One of lifes pleasures.
368.
by weavie 8y ago
> There are some downsides. Triggers are very hard to debug, optimize and monitor. That's enough for me. My heart always sinks when in response to a problem someone suggests a solution of "let's just stick a few triggers i
369.
by weavie 8y ago
It probably goes without saying, but it is quite important. Proper technique is vital when strength training. Mobility work is also important. I have injured myself way more than I should because I yanked up a deadlift bar the wrong way, or
370.
by weavie 8y ago
What does the Handshoe mouse do that makes it cost > £100?
371.
by weavie 8y ago
I wasn't! So he's the guy that developed the sensory deprivation tank, and then started using them to take psychedelics in. Thanks for mentioning it, I never realised there was a link.
372.
by weavie 8y ago
Taking ketamine in a sensory deprivation tank really doesn't sound like a sensible idea to me.
373.
by weavie 8y ago
Syslog (at least on Solaris) seems to have a max length of 1024 characters. Highly annoying and seemingly arbitrary limitation.
374.
by weavie 8y ago
As per the article, GDPR does not enable you to sue the company. > What the GDPR allows private individuals to do is to contact their regulators and to complain if you decide to ignore their requests. The individual will not receive a pa
375.
by weavie 8y ago
How much extra work was it to add in IPv6?
376.
by weavie 8y ago
Ah interesting question. This thread implies that there can be a war between apps fighting for control https://community.spotify.com/t5/Desktop-Windows/Media-keys-... . I've never really used the media keys, s
377.
by weavie 8y ago
It knows which device is currently playing. Anything you do sends it to the currently playing device. You can pull up a list of all connected devices and select which one you want to be playing. It then starts on the new device from where t
378.
by weavie 8y ago
You aren't really going to experience Rusts complexity when your program is essentially just a single function, so it probably isn't really a fair comparison..
379.
by weavie 8y ago
Go seems to perform really poorly in the regex-redux. Against both Node and Python Go is way faster (as one would expect) apart from with the regex-redux.. https://benchmarksgame-team.pages.debian.net/benchmarksgame/...
380.
by weavie 8y ago
Does that mean it is actually being used in production, or is it just a potential? If so, I hadn't realised it had come on that far!
381.
by weavie 8y ago
Would it be necessary to do this wash without clothes? I missed that bit and generally do a high temperature wash with my sheets figuring I am killing two birds with one stone...
382.
by weavie 8y ago
> It's also well established that the black community was for the harsh laws of the crack epidemic What does 'black community' mean here? Is there such a thing as a representative body that speaks for all blacks and this i
383.
by weavie 8y ago
Running (declaim (optimize (debug 3))) in your repl will turn these optimizations off and give you roughly the same debugging experience.
384.
by weavie 8y ago
> but I do know people with strong SSH passwords that got owned up By having their password brute forced, or some other means?
385.
by weavie 8y ago
Indeed they are going to come and go. But, generally this will be to a much more predictable level that if you are relying on upfront sales. Unless you really mess up your product, if someone subscribed last month, you can generally predict
386.
by weavie 8y ago
From the developers perspective though it is way easier to run a business when your software is sold on a subscription basis. If you know to a decent level of accuracy how much income you have, you can easily work out how much you can affor
387.
by weavie 8y ago
Indeed. This is probably a good reminder for every developer to just go and check through their logs to see what is there. It can be quite a shock sometimes to find how much can get dumped there..
388.
by weavie 8y ago
What's there to stop them self signing their cert and allowing everyone interested to add it to their certificate store?
389.
by weavie 8y ago
I was involved in a rewrite of a ~10 year old vb app to C#. A lot of it involved rewriting the code almost line for line in C# then adding unit tests and refactoring. It took a team of 4 about 6 months for most of the work. At the end we ha
390.
by weavie 8y ago
"Do not request a bean from a BeanFactory in a destroy method implementation!" User friendly error message of the year! [ https://twitter.com/thejackthomson_/status/98856435451268710... ]

More ›