tmtvl

7 ms·

61.
by tmtvl 3mo ago
Here in Belgium neither is the case (or maybe I'm just unlucky with my bank and vending machines), but that might just be Belgium being a shithole again.
62.
by tmtvl 3mo ago
Perhaps because they don't want to have only Dutch landmarks on the notes?
63.
by tmtvl 3mo ago
> absence of €1 and €2 banknotes The US style? I much prefer the Japanese style instead (where €5 would be a coin instead of a note). When our largest coin is too small to buy a drink at a vending machine we've got a problem. ATMs
64.
The Dracula programming environment for ACL2(dracula-lang.github.io)
4 points by tmtvl 3mo ago|0 comments
65.
by tmtvl 3mo ago
Once the code is complicated you don't need to make it more complicated lest it becomes unmaintainable.
66.
by tmtvl 3mo ago
Did you reply to the wrong comment? I can't see anything here to do with either Python or hardware.
67.
by tmtvl 3mo ago
There's no shame in not knowing something or inferring wrong conclusions from facts you do know. From left to right the first 6 keys of the top row are: ',.pyf Which isn't as catchy as Dvorak.
68.
by tmtvl 3mo ago
That doesn't seem likely, the packages are part of OCICL, so it's more likely to have the opposite problem: finding some obscure package you want to try out but which isn't in OCICL.
69.
by tmtvl 3mo ago
Okay, let me give a simpler example: (defun first-two (list) (assert (>= (length list) 2)) (list (first list) (second list))) In a language which doesn't normalise the case of symbols you cou
70.
by tmtvl 3mo ago
Depends on how much tooling you want to install and where you want to be on the spectrum from: (loop :do (print (eval (read)))) to implementing all of Common Lisp in RISC-V assembly: pacman -Syu sbcl emacs M-x package-install s
71.
by tmtvl 3mo ago
I think OCICL will meet your expectations more readily than Quicklisp. QL does things more the CPAN way (think Gems if you're more into Ruby than Perl). > a baked in way to run some sort of unit test suite. Have dozens of options i
72.
by tmtvl 3mo ago
It is typed, but it's not very well typed. List is 'null or cons' for instance, not 'null or (cons * list)'. Also lack of generics so you can't have a class which holds an element of a generic type which can be
73.
by tmtvl 3mo ago
The usual argument I've seen in favour of Lisp-2 (I personally don't care as much about the function namespace as I do about the type namespace, which I find much more important) is that you can name an argument a conflicting name
74.
by tmtvl 3mo ago
R5RS, R6RS, or R7RS?
75.
by tmtvl 3mo ago
Yep: there's a difference between driving a car in traffic and driving a car in a rally or in an endurance race. There will always be some rules and regulations unless you're on your own privately owned race track with no one else
76.
by tmtvl 3mo ago
The government is the only entity which can gain money from running a business at a loss. For example: running trains at a loss will reduce car traffic, thus reducing losses from traffic jams and reducing road maintenance costs. With steel
77.
by tmtvl 3mo ago
I like sparring. If I went around punching random people in the face I'd get arrested. If you want to drive a loud car, tha's fine; just do it in a way that doesn't bother other people. Imagine how much better the world would
78.
by tmtvl 3mo ago
Doesn't PayPal confiscate your money if you forget to withdraw it in time?
79.
by tmtvl 3mo ago
How does that differ from 'when asked to load more items, simply take the entire list (which may have changed) and remove the items already shown on previous pages'?
80.
by tmtvl 3mo ago
If someone is abducted against their will and forced to do work without (fair) compensation and without being allowed to exercise their human rights, is that person not a slave because they were neither born into it nor bought or sold?
81.
by tmtvl 3mo ago
Also the subject of a very entertaining episode of Citation Needed.
82.
by tmtvl 3mo ago
Assuming you're on GNU/Linux: (setq read-process-output-max (with-temp-buffer (insert-file-contents "/proc/sys/fs/pipe-max-size") (string-to-number (buffer-string))))
83.
by tmtvl 3mo ago
> The standard hasn't been updated since 1995 The latest finalised submission to the Common Lisp Document Repository (confusingly called CDR instead of CLDR) dates from August 4, 2013. CDRs are the equivalent to the SRFIs from the
84.
by tmtvl 3mo ago
That's admittedly expensive, DuckDuckGo converted it to around 450 USD, so that seemed more reasonable.
85.
by tmtvl 3mo ago
I thought they meant 'can you pick out a Creation Engine game when it appears in a movie or show', though on second thought your idea seems more likely.
86.
by tmtvl 3mo ago
But you can read the books as often as you want as long as you live and pass them on to your children and your children's children,... Educational books are an investment in the future, and some (like Euclid's Elements) don't
87.
by tmtvl 3mo ago
First word of title: anti-vaccers, first word of article: anti-vaxxers. One couldn't make it up.
88.
by tmtvl 3mo ago
Are you saying that using LLMs for code autocomplete is like using an aeroplane to go to the grocery store? Because clearly there was no autocomplete before the new AI spring.
89.
by tmtvl 3mo ago
Not really. Solar panels laid flat on the ground are less efficient than solar panels raised above ground and angled to get more yield (if you're in the Northern hemisphere the Sun is never* in the North, vice versa for the South). * M
90.
by tmtvl 3mo ago
And introduced by the English, instead of being properly American like Navajo or Lakota or such.

More ›