magv

6 ms·

1.
by magv 3y ago
Hey, I have my own chess with a textual UI which allows you to play against several beginner-level chess AI opponents: - Maia chess ( https://maiachess.com ), the human-like chess engine based on neural networks, - several of neur
2.
by magv 6y ago
Years ago there was a thread like this one, and people suggested "Drawing on the Right Side of the Brain", just like they do here. So I tried that. Here's my account; I hope it will be useful to whoever reads it now that the
3.
by magv 6y ago
For those of us that don't use Lisp (or Emacs+SLIME), and are stuck with Python/Julia/Lua/etc and Vim may I give a practical recommendation? The Vim-Slime plugin [1] is a half-decent way of making interactive development
4.
by magv 6y ago
Those gaps immediately catch your eye, don't they? Seeing them and thinking "what if there's something we are missing" is exactly what many particle physicists also think. This is why the existence of particles and inter
5.
by magv 6y ago
> verified the existence of the Higgs As a related tangent: we have verified the existence of the Higgs, but only partially. What was so far measured was the interaction strength between Higgs and W bosons, Z bosons, and the top quarks:
6.
by magv 6y ago
I think the idea that scientific code should be judged by the same standards as production code is a bit unfair. The point when the code works the first time is when an industry programmer starts to refactor it -- because he expects to use
7.
by magv 6y ago
An interesting concern is that there often is no single piece of code that has produced the results of a given paper. Often it is a mixture of different (and evolving) versions of different scripts and programs, with manual steps in between
8.
by magv 6y ago
As one point of comparison, SymPy is comically slow compared to Sage. This is mostly because SymPy is purely Python; Sage on the other hand uses its own derivative of GiNaC [1], Pynac [2], for its internal symbolic expression representation
9.
by magv 6y ago
LEP was annihilating electrons with positrons; LHC does not, as it only accelerates protons. FCC will have the option to do both: the plan includes two separate pipes in the same tunnel, one for protons, one for electrons. This however does
10.
by magv 6y ago
I am continuously surprised by the amount of work zig committers manage to put out every release. It is actually inspiring. How do they get to appear so productive? Anyway, here's a nitpick. In this release they've removed varargs
11.
by magv 6y ago
From just glancing at a few articles, this site is a treasure trove of references to highly readable explanations on a variety of fairly advanced topics. In fact, just the links to Wilczek's grand unification overview [1], and Klauber&
12.
by magv 7y ago
Scientific Linux 6.10 has make 3.81, CentOS 7.7 has 3.82. These long-term-support distros have old software by their nature, and sometimes you're just stuck with one of them unfortunately.
13.
by magv 7y ago
I have used this in one of my projects, but in the end had to abandon it: the problem is that Guile itself requires GNU make during build, which creates a circular dependency, and thus building it with e.g. FreeBSD ports required manual int
14.
by magv 7y ago
> So what are they gonna do for 25 years? Run 2 of the LHC ended in 2018. Currently the experimentalists are busy analyzing that data, and the theoreticians are busy improving the theoretical prediction precision to the level of the expe
15.
by magv 8y ago
So, yes, aside from the discovery of neutrino mass there was no "fundamental" progress since the Standard Model -- as in, all the effects we see in current experiments are accounted for by the theory -- if you know how to calculat
16.
by magv 14y ago
Is this a US thing? In Ukraine, no-one is weird. No-one is a geek, or a nerd -- there aren't even equivalent words in our language. Nobody thinks less of you if you're smart, shy, or talk about transistors on occasion. There are no "popular
17.
by magv 16y ago
If you'll read the paper itself [1], you'll see that the author takes well known equations, replaces some constants with functions of time and tries to draw conclusions from there. In short, it's bogus. You can read some of the funnier deta
18.
by magv 16y ago
Aside from the license issue, it also helps that the guy who maintains Sendmail in the FreeBSD sources is Gregory Neil Shapiro, vice president and CTO of Sendmail Inc.
19.
by magv 16y ago
Difficult, but not impossible. Qi and Typed Scheme are two examples.
20.
by magv 16y ago
What about kelvin hobles?
21.
by magv 16y ago
"Hooker news" is obviously a made up example. A real example would be "kelvin hobles". Google correctly guesses "calvin (and) hobbes", DDG and Bing do not.
22.
by magv 16y ago
I've been using DDG since the new privacy policy. There are two points I frequently bump into: 1. DDG has a spellchecker, but not a good one. For example, DDG correctly guesses "hcker news", but unlike Google it fails to correct e.g. "hooke
23.
by magv 17y ago
Does anyone have an insight as to why Google Trends [1] show that FreeBSD is more searched for in Russia and Ukraine than e.g. in US? [1] http://www.google.com/trends?q=freebsd
24.
by magv 17y ago
> If you ever got to being a candidate for, say, a national senior-school physics competition, you'd be transferred to region's best teachers. They would train you like a circus dog [...] but it wouldn't make you any good physicist. Bei
25.
by magv 17y ago
> Bigloo, Chicken, and some others even have hygienic macros off by default due to the overhead, and recommend that you use define-macro whenever possible. Not anymore for Chicken! Chicken 4.0 switched to `syntax-rules' and explicit ren
26.
by magv 17y ago
More than 10 years ago Jeffrey Mark Siskind posted micro benchmark [1] of his aggressively optimizing Stalin Scheme compiler versus then-current GCC. Stalin produced code 21 time faster than GCC. I do not know why this fact remains so littl
27.
by magv 17y ago
Whoa. Dnepropetrovsk.
28.
by magv 17y ago
> Page generated automatically at 23:49 on 05 July 2009 Can you specify the timezone? Also, how often is the page updated?
29.
by magv 17y ago
Not really. Only pairs are immutable now; vectors, strings, structures, hash tables and all the rest are still mutable. There's also separate mutable pairs. And mutable bindings, as always. So no, far from Erlang in mutability.
30.
by magv 17y ago
To be fair, the base language of PLT never claimed to support any relevant standard. Instead implementations of standards are built as libraries on top of the base language. So PLT does provide both R5RS and R6RS, both with mutable pairs. I

More ›