HN user

jules

8,234 karma

julesjacobs@gmail.com

julesjacobs.com

Posts18
Comments3,436
View on HN
julesjacobs.github.io 11y ago

Levenshtein automata can be simple and fast

jules
63pts22
julesjacobs.github.io 11y ago

Determining hot items with exponentially decaying likes

jules
15pts2
julesjacobs.github.io 11y ago

Newton, the Ultimate: One Weird Trick to Make You a Mathematical Superhero

jules
2pts0
research.microsoft.com 14y ago

Microsoft Research videos now available: 3099 Science, Business and Tech Talks

jules
4pts0
pytools.codeplex.com 15y ago

Python Tools for Visual Studio 2010 - Awesome Python/IronPython IDE

jules
1pts0
github.com 15y ago

Taking the ArcWTF challenge with Ruby using a continuations based framework

jules
2pts0
news.ycombinator.com 15y ago

Physics books that use computers?

jules
4pts0
tomasp.net 16y ago

Reactive programming with Events -- the GUI programming model of the future

jules
4pts0
factorcode.org 16y ago

Factor: a dynamic stack-based programming language paper

jules
4pts0
pydev.org 16y ago

PyDev Python IDE: code completion, integrated documentation, debugging

jules
32pts15
lambda-the-ultimate.org 16y ago

On the (Alleged) Value of Proof for Assurance

jules
4pts0
www.cs.washington.edu 16y ago

Predicate dispatching: A unified theory of dispatch

jules
3pts0
www.sciguru.com 16y ago

Self-control is contagious, study finds

jules
4pts0
www.cs.cornell.edu 16y ago

JMatch: Iterable Pattern Matching

jules
26pts3
www.ccs.neu.edu 16y ago

Regular-expression derivatives reexamined

jules
14pts3
www.ulb.ac.be 17y ago

"Now that you've finished SICP, time to move onto CTM" Online Book

jules
72pts18
www.cse.ucsd.edu 17y ago

Equality Saturation: A New Approach to Compiler Optimization

jules
5pts0
news.ycombinator.com 17y ago

Ask HN: What's the platform of the future?

jules
6pts3

I don’t see what the benefit of most of that is, and why publication fees are a good way to pay for it. Take video recordings: why should we pay for them to develop a video hosting platform when perfectly good ones exist? In fact, conferences that I am familiar with put the recordings on YouTube, and this works great.

ACM has to be careful to not get into financial trouble by giving away their crown jewels without generating sufficiently stable alternative income sources.

The attitude that the work of science belongs to these publishers is what grates me the most. Yes, ACM is not as bad as Elsevier, but this attitude is still fundamentally wrong. They are in the position they are mostly by historical accident, able to extract rents because it requires a lot of coordination to switch.

Why do I call it rent extraction despite the ACM doing stuff? Suppose the ACM charged separately for using their video platform. Would anyone pay for that?

For example, authors no longer generate their own PDFs but submit the LaTeX/Word manuscripts to a central service (TAPS), developed and operated for ACM by an Indian company, Aptara

And what good is that? Why should we pay for a separate company to run pdflatex for us? The system exists primarily to check that we’ve put ACM branding in the paper.

Sometimes people also say that the real service is long term storage of pdfs, but let me preempt that right now: there are government sponsored long term storage facilities like Zenodo that are likely to outlast ACM. Second, commercial storage paid for indefinitely using an annuity would cost less than $1 in present value for hosting the pdfs of a conference, about 0.0001% of ACM publication fees.

That isn't the case. Conferences organize their own website to submit articles for review. Volunteers from the conference pre-filter submitted articles for spam, the rest is handled by the review committee. There is no cost to submit. In fact, the eventual cost is often not even mentioned at that point. When the article is accepted for publication, the conference gives authors a link to an ACM website where the authors upload their PDFs. Only after that will the authors be asked to pay the fee (and if you wanted, you could refuse at that point, which presumably means that the conference will eat the loss, or maybe they'll un-publish your article).

I don't think spam is a huge issue. The conference websites and submission portals are niche and random people don't tend to find them or care enough to go through the trouble.

This is good, but they're now charging authors a publishing fee of over $1000 per article (and they say that that is the discounted price). It is unclear whether this is justified. In my experience publishing scientific articles with ACM, all the real work (such as peer review) is done by volunteers. From what I can tell, ACM just hosts the exact PDF + metadata that authors supply. I suspect that in the future, more journals and conferences will switch to an arXiv-overlay model.

3blue1brown actually shows the usefulness of formalism. The videos are great, but by avoiding formalism, they are at least for me harder to understand than traditional sources. It is true that you need to get over the hump of understanding the formalism first, but that formalism is a very useful tool of thought. Consider algebraic notation with plus and times and so on. That makes things way easier to understand than writing out equations in words (as mathematicians used to do!). It is the same for more advanced formalisms.

The type of reasoning by the OP and the linked paper obviously does not work. The observable reality is that LLMs can do mathematical reasoning. A cursory interaction with state of the art LLMs makes this evident, as does their IMO gold medal scored like humans are. You cannot counter observable reality with generic theoretical considerations about Markov chains or pretraining scaling laws or floating point precision. The irony is that LLMs can explain why that type of reasoning is faulty:

Any discrete-time computation (including backtracking search) becomes Markov if you define the state as the full machine configuration. Thus “Markov ⇒ no reasoning/backtracking” is a non sequitur. Moreover, LLMs can simulate backtracking in their reasoning chains. -- GPT-5

Good EU regulations 11 months ago

USB-c is absolutely not good enough. The connectors are often incompatible due to tiny manufacturing tolerances, cables from different manufacturers often fall out of the port after longer term use, don't make good connection so you have flaky charging, the cables and connectors look the same but are actually incompatible due to supporting only USB 2/3/4 or thunderbolt, whether displayport/hdmi alt mode is supported, etc. This small short-term gain at the cost of locking in USB-c forever was a terrible idea, brought to you by the same hypercompetent group that mandated cookie banners.

Good EU regulations 11 months ago

There should be no need whatsoever to convince your competitors and/or bureaucrats that allowing your new connector to be produced is in their interest. Only one should be convinced: the person buying the device.

This visualization is wildly inaccurate. The supposed 1000 pixels are actually 100x100 pixels, which is 10,000 not 1000. Secondly, on many screens they are not actually pixels. For example, on a macbook pro you're likely seeing 40,000 pixels in actuality.

Money is not "hidden" or "hoarded" in tax havens, nor does hoarding money affect the economy negatively. Taxation is necessary for infrastructure (though that is actually a small fraction: about 3% of US federal taxes goes to infrastructure), and I did not say or imply that taxation is unnecessary. The question of what the best level of taxation is, and what the best place to levy those taxes is, cannot be decided based on high level slogans. One thing is clear though: standardizing tax rates is bad because it removes the competitive aspect between countries. It is good if people and companies are able to move to the places that give them the best public services for the least cost, for the same reason that it is good that salaries are not standardized between companies, and the same reason why it is good that airline ticket prices are no longer standardized by the IATA and CAB.

I don't understand how east-west arrays differ much from just a flat area. At the end of the day, don't they capture all sunlight in some large square? The east-west array only captures a bit differently around the outer edges. Can somebody explain? Is solar panel efficiency that dependent on incidence angle?

The universe is already modeled that way. Differential equations are a kind of continuous time and space version of cellular automata, where the next state at a point is determined by the infinitesimally neighboring states.