jpfr

22 ms·

181.
by jpfr 8y ago
You are invited to bring forward concrete proposals for changes to the C standard in the relevant committee. http://www.open-std.org/jtc1/sc22/wg14/ Since UB allows the compiler to do anything in those situat
182.
by jpfr 8y ago
In addition to this, Andy is performing wonders for Guile Scheme. It is rare to see such lucid communication and such a clean commit history for hard technical development. http://git.savannah.gnu.org/cgit/guile.git&#x2
183.
by jpfr 8y ago
Obligatory xkcd: https://xkcd.com/327/
184.
by jpfr 9y ago
A huge portion of Linux is drivers and support for different processor architectures. Yes, development was chaotic in the nineties and the code showed. But a lot of engineering effort went into making the core really nice. https:/&#x2
185.
by jpfr 9y ago
Gilbert Strang is a lengendary teacher. In addition to the other Gilbert Strang ODE courses, this one comes with videos for numerical solutions. From the inventor of Matlab himself.
186.
by jpfr 9y ago
MIT OCW contains quite a few true gems. These lectures will still be worth watching 100 years from now. - Differential Equations from 2015: https://ocw.mit.edu/resources/res-18-009-learn-differential-... - The original
187.
by jpfr 9y ago
Nobody cares about ETA at this point. The patents and registered designs of ETA movements have expired. You can buy exact clones of ETA movements legally. ETA clones by Sellita and Soprod are said to be better than the original. Sea-Gull (a
188.
by jpfr 9y ago
> Sure, such a Lipschitz bound could give us some help on lower bounds on the objective function value but for those bounds we would need some constraints! Then at least in principle, we are back to the Kuhn-Tucker conditions again. You
189.
by jpfr 9y ago
> I also haven't seen one large-scale network-facing C project written using reasonable development practices (i.e. not absurdly expensive formal verification) that hasn't had some sort of terrible remote code execution vulnera
190.
by jpfr 9y ago
Can you explain where Kuhn-Tucker enters the picture here? Non-convex optimization problems do not necessarily define constraints for the domain. Most non-convex optimization with bounds for the convergence speed exploits on some sort of st
191.
by jpfr 9y ago
This was just released as part of the now series for machine learning. They usually publish superb reference material. Research that is foundational and/or has become a stable body of work, but is recent enough to be interesting. Read
192.
by jpfr 9y ago
Convex optimization and its mixed-integer counterparts have developed amazing results. But not all planning problems fit this framework. There is an entire community dealing with "AI planning". They try to find action-sequences le
193.
by jpfr 9y ago
What a pity that all the references are missing [?].
194.
by jpfr 9y ago
The easiest way forward for a rust kernel is not to start from scratch, but to port Minix3. Minix is an open source micro-kernel somewhat similar to QNX. The kernel itself is on the order of 4000 lines of code. [1] Though small, Minix has q
195.
by jpfr 9y ago
Sure, eating better has a huge impact. But you miss the main argument why physical training helps in weight loss: Physical training increaes your resting metabolic rate by ~10%. https://www.ncbi.nlm.nih.gov/pubmed/11283
196.
by jpfr 9y ago
Just for completeness, how would ntpsec fare in this comparison? I know ntpsec is a somewhat questionable fork. But the refactoring work itself can't be all bad...
197.
by jpfr 9y ago
Which are "these" libraries and what do they do? Leaving some technicalities aside, SQLite is SQL. So I guess we're not talking the same here.
198.
by jpfr 9y ago
GPL does not allow static binaries from both GPLed code and commercial code. A workaround is a plugin mechanism with dynamic loading of .dll or .so libraries. But that won't fly on a microcontroller.
199.
by jpfr 9y ago
I wonder why he mentions this TIS interpreter but not the development of complete semantics for C and specifically the k framework ( https://github.com/kframework/c-semantics ). Afaik, kcc is also really good at finding
200.
by jpfr 9y ago
The kcc compiler is really good at being predicatable. A formal semantics of the language gives warnings whenever undefined behavior occurs. https://github.com/kframework/c-semantics
201.
by jpfr 9y ago
The talk starts off with “If you’re arguing, you’re losing.” — Mike Thomas No, no, no. A shouting match doesn't help anybody. A civilized exchange of arguments does. And the establishment of evaluation criteria is a very good
202.
by jpfr 9y ago
The code was written on paper. Without the usual compile/debug cycles during development. The amazing part is how little cleanup work is required to make the code work. It's an entire programming language after all!
203.
by jpfr 9y ago
The US spends more on military than the next 8 countries combined. A quarter of that would be enough for NATO, which is for defense only, now that the Cold War is over. Europeans don't want the US playing global super power. They don&#
204.
by jpfr 9y ago
Nah, NATO is required for that to work. It's like a group ticket. The more you are, the cheaper it gets for each individual. NATO only needs to collectively have more capability than the biggest external threat. More than that is overs
205.
by jpfr 9y ago
Assume European countries were all spending 2% of GDP for military capabilities within NATO. What exactly would that buy them? More military interventions with more refugees arriving at European borders? There is basically no real threat to
206.
by jpfr 9y ago
If it is something that OCaml, Haskell and Lisp are not lacking, it is books written about them. We can argue on technical points. But the existence of documentation is a non-issue for all of these languages. https://ocaml.org&#x
207.
by jpfr 9y ago
These are the exact same complaints of students learning to program for the first time. Have you tried functional programmng? Lisp? Ocaml? The complaints of newbie functional programmers are also nearly the same. The "struggle" is
208.
by jpfr 9y ago
A function that tests for something involving its arguments is called a predicate and usually ends in p or -p. http://www.cliki.net/Naming+conventions
209.
by jpfr 9y ago
This is the branch to watch for guile-elisp: http://git.savannah.gnu.org/cgit/guile.git/log/?h=wip-elisp Last thing I heard was that Guile-Elisp (and by consequence Guile-Emacs) is working, but very slow. Tha
210.
by jpfr 9y ago
forcing pretty much all computation no matter how trivial into contortions via numpy incantations so that the inner loops can run in native extensions That's actually a big plus in my book. Welcome to the development of

More ›