Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
juki
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
13 ms
·
91.
▲
by
juki
6y ago
> I don't see any fundamental reason why such functionality couldn't be brought into an imperative language at some point (but maybe I'm ignorant about PL theory). Nim can kinda do this with its effect tracking feature (al
92.
▲
by
juki
7y ago
You have to declare the variable as `var` as well, eg. var arr1 = [4, 2, 3, 6] sort arr1 # Doesn't work let arr2 = [4, 2, 3, 6] sort arr2 You'll get a warning about the latter from the compiler (and nimsu
93.
▲
by
juki
7y ago
I'm not sure why you're comparing Crystal to Python here, but just in case you've misunderstood something, Nim is a completely different language from Python. It borrows some bits of syntax (like I suppose Crystal does with R
94.
▲
by
juki
7y ago
As far as I know, Europeans used to eat turnips and rutabaga, but in 1700s the potato mostly replaced them due to being cheaper and easier to grow.
95.
▲
by
juki
7y ago
The example seems pretty weird. If it's just data there shouldn't be any quotes at all. The only purpose of quoting is to prevent evaluation, so I guess the idea must be that `log` is a function call to be evaluated, but then the
96.
▲
by
juki
7y ago
The data dumps seem to still be available: https://archive.org/details/stackexchange
97.
▲
by
juki
7y ago
Notice that they are using Common Lisp, which is a multi-paradigm language, rather than a more functional lisp like Clojure.
98.
▲
by
juki
7y ago
I just use Emacs/elfeed[1] It's simple and fast with good tagging/searching. Thunderbird also supports RSS feeds. [1]: https://github.com/skeeto/elfeed
99.
▲
by
juki
7y ago
> Consider an identity function declared to only accept fixnums and returns fixnums. If you call this function with a string a type error will be signaled if run time type checks are enabled. This would be the case that I referred to in
100.
▲
by
juki
7y ago
We must be using a different definition of soundness then. As I see it, implicit run time type checks do not affect the semantics of a program, and as such, do not have any bearing on its soundness. They're merely a debugging tool to h
101.
▲
by
juki
7y ago
You don't lose soundness; you just tell the compiler to not check types at run time, because you've already done it yourself (e.g. by not exposing the unsafe code directly outside the package, but instead having a safe wrapper aro
102.
▲
by
juki
7y ago
This problem is somewhat lessened because SBCL also allows you to tell it to not add any implicit runtime type checks (explicit checks are still there) with an `(optimize (safety 0))` declaration. Of course, then you have to be sure that th
103.
▲
by
juki
7y ago
I assume those seconds are mainly JVM startup time. The existing ob-plantuml doesn't support sessions, so it evaluates every code block in a new instance of plantuml. Seems to me like should be possible to use the `-pipe`-option for pl
104.
▲
by
juki
7y ago
I assume this is meant to be about 8.0.9 rather than 8.0.8? https://blog.torproject.org/new-release-tor-browser-809
105.
▲
by
juki
7y ago
Note also that the Spanish Inquisition operated during the Renaissance - early Enlightenment era, not the dark ages.
106.
▲
by
juki
7y ago
No, there are two releases every year; a <year>.04 in April and <year>.10 in October.
107.
▲
by
juki
7y ago
> but the text editing required for OrgMode seems way too cumbersome If you don't like key-chords then Emacs probably won't work for you, but just in case the video you watched wasn't clear about it, most of the markup is
108.
▲
by
juki
7y ago
I believe Gitlab and Github both render Org files with OrgRuby[1], which is MIT. [1]: https://github.com/wallyqs/org-ruby
109.
▲
by
juki
7y ago
By "various kinds of metadata", I don't just mean the document metadata (such as title, author, etc.), but also the metadata applied to specific elements such as the outline items, tables or code blocks. For example, in Org y
110.
▲
by
juki
7y ago
The big difference between Markdown and the Org-markup is that the latter has syntax for various kinds of metadata, while Markdown is purely content. That metadata is used for things like task management, literate programming, spreadsheets,
111.
▲
by
juki
8y ago
That seems a bit similar to the Ranger[1] given as an example in the article. There's also ranger.el[2] for Emacs. By default in ranger.el (and I assume Ranger too, but I haven't used it), B is the current level, A is the previous
112.
▲
by
juki
8y ago
It's part of the settlement: > Tesla will establish a new committee of independent directors and put in place additional controls and procedures to oversee Musk’s communications;
113.
▲
by
juki
8y ago
> What VSCode offers on this front that strikes me as a really killer feature is the command palette. You can use `helm-M-x` from Helm[1] to do the same in Emacs. [1]: https://github.com/emacs-helm/helm
114.
▲
by
juki
8y ago
Those are Emacs style keybindings, which are the default on most shells. You've probably switched to Vi style bindings in zsh.
115.
▲
by
juki
8y ago
Right above (b): > shall, except as provided in subsection (b), be fined under this title or imprisoned not more than 10 years, or both.
116.
▲
by
juki
8y ago
The last paragraph under that heading says the directive was declared invalid 2014. > On 8 April 2014, the Court of Justice of the European Union declared the Directive 2006/24/EC invalid for violating fundamental rights. The C
117.
▲
by
juki
8y ago
The GDPR was adopted in 2016. The two year grace period in your quote ends on the 25th.
118.
▲
by
juki
8y ago
Only the basic telemetry (which I assume doesn't include any personal data) can't be opted out of in Windows 10 home. Other privacy settings have to be opted in now. The recent "April update" forces you to say yes/n
119.
▲
by
juki
8y ago
Adding this to your init file would have changed the behavior to scroll only one line: (setq scroll-conservatively 30)
120.
▲
by
juki
8y ago
EU law says that it's only legal to transfer personal data to companies that have adequate level of protection for personal data. Certain countries are considered to meet the adequacy requirement, but Australia is not one of them[1], s
More ›