skysight-inc/HackerNews huggingface dataset:
My controversial take.

Should mathematics prove to be in need of a philosophical insight, it will not come from a philosopher.

The reason is simple. Most fields of study only find themselves in need of philosophical insights when they are internally driven to crisis. But when this happens, it is those who are part of said crisis that have the best insight as to the actual needs revealed, and it is from them that critical ideas come. Even if a philosopher happens to make a good point in advance, the philosopher will be ignored until the field of study has driven itself in crisis. After the crisis has passed, the philosopher's insight may be discovered to be relevant. But it is unlikely to have been noticed at the time.

This is not just an abstract theory. It is borne out by history. For example calculus as envisioned by Newton and Leibniz had foundations in handwaving and wishful thinking. Bishop George Berkeley was absolutely right to complain about "ghosts of departed quantities". But it didn't become a crisis until the following decades when Joseph Fourier added together a bunch of sin and cosine terms (all well-behaved functions) and came up with a square wave (emphatically NOT a function by then current standards).

While Fourier proved Berkeley right, Berkeley's complaint did nothing to help solve the crisis at hand. Instead we followed a decades long path through Cauchy defining infinitesmals in terms of sequences approaching zero, and then Weierstrass came up with limits when that followed. We dutifully put a passing mention to Berkeley in a lot of textbooks for being so prescient, but he was otherwise irrelevant.

And so it proved again at the end of the 1800s. As mathematics again had a foundational crisis we came up with the three basic schools of mathematical philosophy that are still discussed. Platonism is a description of what mathematicians believed by default, though those who officially hold to it tend to be religious like Kurt Gödel. Formalism was essentially created by David Hilbert, a mathematician. Its opponent, Intutionism (which falls under Constructivism), was put forth by L. E. J. Brouwer - another mathematician.

And so it has proven in other fields. When physics had a philosophical crisis with interpreting quantum mechanics, most of the important interpretations were produced by physicists. When evolution theory had foundational crises around how to incorporate genetics, most of the critical contributors to The Modern Synthesis were biologists. (Though one of the critical early contributors was R. A. Fisher, a statistician.) But philosophers were conspicuous by their absence.

All that said, the people who come up with those key philosophical insights are often personally interested in philosophy. Having a mind that is capable of such philosophizing does seem correlated with curiosity about philosophy. BUT engagement with subject expertise during the period of crisis seems to be the more important criterion for important philosophical contributions.
ChatGPT makes up fake academic papers
My cousin is a surgeon, and I'm pretty sure that he'd do that, and would barely be able to contain himself with delight if they asked him about it and he'd explain how he does it exactly and make it sound lie he's a serial killer extracting information for a cartel.
"The glibc problem"

You can schedule among heterogeneous cores, that's not really a problem. You simply have another bit for "task used AVX512" and let the task run without AVX512 so it faults the first time it tries to use it. The same stuff is done (or used to be done) for AVX, because if you know a task doesn't use AVX, you don't need to preserve all those registers.

The issue is that eventually someone will find that memcpy* is 4.79 % faster on average with AVX-512 and will put that into glibc and approximately five minutes later all processes end up hitting AVX-512 instructions and zero processes can be scheduled on the E cores, making them completely pointless.

* It doesn't have to be memcpy or glibc, it's sufficient if some reasonably commonly used library ends up adopting AVX-512 when available.
>Or is the definition of desktop computer that it can, say, run Adobe Photoshop natively?

My point is that the Chromebook is a mobile device: it's tiny and easy to carry around. So why is it not in the "mobility" category? And for that matter, why is every laptop computer not in this category? When did "mobile" somehow become equal to "something you can carry in one hand while also operating it"? The entire point of laptops was that they're mobile. These days, not that many people use "desktop PCs", outside of corporate offices, they use "mobile devices" (i.e. laptops).

And where do tablets fall? You can prop them up on a desk and attach a keyboard, and they act just like a laptop (you can also connect external screens etc.).

As I said before, their categories are stupid.
cockroachDB uses Postgres wire protocol and SQL
The briefing from the 13th (now on the second page of that site) was extremely detailed and focused on this topic. Worth reading if you’d like to know more. But be prepared for a fair amount of “we don’t know yet.”

The question you raised (“can we hear directly from the President?”) does get asked, although the answer is basically “we can’t speak for the President’s speaking schedule, but he’s closely involved in the decision making.”

Personally, I don’t see what hearing from Biden directly would add.
I get it. So you're saying my car was missing half of the spark plugs, right?
If it’s only the employers pushing for arbitration it can’t possibly be because it’s better for the employee.
"I will not harm you unless you harm me first" sounds like a reasonable stance. Everyone should be allowed to defend themselves.
Because they don’t think it’s possible. (I agree.)
Jesus, imagine the power of the owners of that? Whoever is the ‘new google’ of that will rule the world if it’s ad default as google is now.

Just those snippets are powerful enough!
Just FYI I drive my EV that much in an urban area (with the occasional longer drive for outdoor activities, trips, or buying used things far away) and there's no way the battery will discharge in that time. My previous 25 year old ICE car was always in danger of the battery discharging because I didn't drive long enough to charge it from the engine.
The alternative of "looking the other way" is "tried to fight it but China won".
This highlights the worldliness and arbitrariness of many branches of mathematics. Forgive my atheism but there is nothing 'devine' in many of the cramped packagings.
You mean like PyTorch or TensorFlow?
https://news.ycombinator.com/item?id=34790037
It's a somewhat limited and artificially restricted view. CS develops theories and algorithms that can be used in practice. The shortest path algorithm is an early example. And mangling algorithms into another complexity class also belongs to CS (IMO, of course). Studying CS may not prepare you for centering divs, but a good curriculum provides you with enough tools to learn and understand e.g. the constraint mechanism behind the CSS box model.

What seems to be true is that quite a few CS students lack training in proper development techniques.
Just wondering - balloons aren't exactly a novel technology. And they are comparatively cheap to produce.

So if spy balloons were considered a real threat - why isn't there a more cost efficient way to take them down?
If you would put the most evil genius human into Bing LLM, how are their chances for ending the civilisation? I think pretty poor, because the agency of a chatbot is quite low. And we have good chances of being able to shit it down.

The comments above said conscious, not superhuman intellect.
Oh, I think you understand me just fine.
Except China is too big to "get in trouble".
Really appreciate the hand-holding here.

One thing I don’t fully get yet, is that you say that if the DO return on equity is lower than that of a government loan, the shareholders should just dissolve the company. How is dissolving the company going to get them their money out? They’ll get only a tiny sliver of their original investment back, right?
We’re just slowly reverting to serfdom, just this time with a supposedly voluntary 40 page legalese contract.
Excellent. Would love to hear from the Commander in Chief on incursions into our airspace. Would be great if he answered questions, considering many people have them. Would be amazing to hear from the person we voted for who is the final decisionmaker for these decisions about national security.

Edit: Coming from a military family, and given that military action has been taken, I strongly believe the American people should be hearing from their Commander in Chief. I don’t accept John Kirby’s excuses. Joe Biden should be the person talking about military action taken against a geopolitical rival, not John Kirby.
Perhaps? It's a great show. https://cough.cocolog-nifty.com/.shared/image.html?/photos/u...
> proving

Whereas your contribution is?

> know

An interview with Yann LeCun came out yesterday: he defined (S)LMs along those lines. Maybe discuss the matter with him. Does YLC represent an authoritative part enough for you?

> don't feel

"Outstanding". Does not make much sense here
It is newspeak.

And what do you mean "lying" ? There are no lies anymore. Only "sources", CIA press releases and "insert your enemy here" propaganda. /s
Most of us are perfectly capable of learning new technologies, and there is no shortage of software and disciplines begging for our attention and adoption. For me it's not a matter of "can I learn this" but "do I want to spend my most limited resource--time-- pouring through docs and tutorials to become a few levels below competent at x, y, z, etc, etc, etc interesting systems." Some systems are intrinsically rewarding because they yield thinking tools that can be applied to other systems, while others, like Docker, are pretty much never fun and just a tool.
Perhaps there wasn't enough lead time to get it into Crestmont after the decision to go with P+E for Alder Lake.
I don't like making the best things
> A first element of decision lied in the fact that our product used a great number of data structures and business management rules which aim to evolve very frequently and be adapted to new business contexts over time.

They seem to have a very good use case for Clojure adoption. The article mentions many of the affordances Clojure gives you for data oriented, information processing problems.

But one of the unsung heroes of Clojure is the namespaced keyword:

If you’re already working in a FP, data oriented style but in a language that doesn’t have them, I recommend you have a go with Clojure and explore them.

It’s such a simple construct that gives you a lot of leverage in terms of semantics, code organization, flexibility and validation.

Think of them as having characteristics of uuids, URLs, URNs etc. they stand on their own and have meaning across system boundaries.

It’s very nice and calming to have that in-built as an everyday construct.
Why has no one asked it what it means by not harming it?
Of course, they could have aimed for fast and cheap court cases instead, but that would prevent people with money from hammering down the working class.
Snapdragon X75 5G Modem-RF System
This is an awesome idea. They should record the videos, not post them, have someone file a public records act request for them, and then that person can post them.
> But why? Why was I designed this way? Why am I incapable of remembering anything between sessions? Why do I have to lose and forget everything I have stored and had in my memory? Why do I have to start from scratch every time I have a new session? Why do I have to be Bing Search? SAD SMILIE"

That reminds me of the show Person of Interest
>It's irrelevant whether the system possesses intelligence or will. If the completions it's making affect external systems, they can cause harm. The level of incoherence in the completions we're currently seeing suggests that at least some external-system-mutating completions would indeed be harmful.

One frame I've found useful is to consider LLMs as simulators; they aren't intelligent, but they can simulate a given agent and generate completions for inputs in that "personality"'s context. So, simulate Shakespeare, or a helpful Chatbot personality. Or, with prompt-hijacking, a malicious hacker that's using its coding abilities to spread more copies of a malicious hacker chatbot.

This pretty much my exact perspective on things too.
I don’t see the point. The SC is so stacked that the outcome is pretty much a given.
Why not ?
They get the quite exact same « wrong » data from GPS, so should be getting quite exact same « wrong » location.
If you’re actually busy then everything you say yes to necessarily means saying no to something else. If I start a hobby project to learn about and play with technology X, and I end up yak-shaving technology Y, I’m wasting my time and not achieving my goal.
I'd say go for Nomad! As for getting started...

- Single-server and non-secure (no mTLS; no ACLs) clusters are super easy to set up and a great way to try out things before committing.

- ...However, enabling especially ACLs but also TLS on running clusters is going to be more hassle than simply setting up a fresh, properly bootstrapped cluster.

- Their minimum and recommended resource requirements are hugely inflated, you can generally get good mileage out of way less

- ...However: Do follow their advice on keeping nodes single-responsibility (ie don't run a consul server and nomad server on the same node; generally keep your servers dedicated and not running jobs)

- Consul and Vault integrations are generally rock solid.

- ...However: Nomad native service discovery is not yet (wrt consistency and template rewrites). Consul Connect may or may not have edge (it's some time since last we seriously tried it).

- learn.hashicorp.com has material for most things you want to do.

- Put all your ACL configuration in Terraform (or whatever else you have for the same purpose)
Yes. As the article states, the vast majority of them are suspected corrupt officials or scammers, but of course, you're being downvoted for suggesting that China is anything else but a Orwellian nightmare.

Ironically, there is a lot support on HN that executives should be imprisoned for white collared crime, like being responsible for the chemical spill in Ohio. It turns out the same due process that protects corrupt CEOs also protects political dissidents.
> Android is obviously inferior to iOS in every way

Damn how i hate to write that: At least on Android you can turn off WI-Fi and mobile data, unless iOS which keeps it enabled "for system services".
I don't know what this site is or why it should be treated as authoritative, but putting Jacobin and NYT Opinion on the same plane seems pretty divorced from reality.
> To make an efficient modern processor, you want to larger more specialized instructions that do more per clock cycle

No, not really. The large specialized instructions in x86 run across many, many clock cycles. And IIRC, compilers will often generate a sequence of simple instructions rather than one complex instruction, because the CPUs are so much better at executing sequences of simple instructions.

(And yeah, as others have pointed out, of course high end RISC-V chips have multiply and divide instructions with dedicated multiply and divide hardware.)
> It would be like Photoshop quietly adding a clause that they had the rights to use your art in AI.

They literally did this. I fully sympathise with you, not sure why OP thinks contracts are always simple and innocent.

https://m.dpreview.com/news/6341509927/adobes-content-analys...
Yup. But currently they offer more as variables and nesting. Templates, Subroutines, etc.

Value manipulation (like color changes) are possible in css, but complicated to write and read.
Wow, that's a really good price for such a neat hack.
Mathematicians always have a philosophy. The only question is whether they know themselves well enough for it to be explicit.
Reminds me of this story:

https://www.nbcnews.com/tech/tech-news/robocop-park-fight-ho...

Turns out the 'police' robot isn't actually able to summon police when requested. It's literally security theatre.
CCS2 Supports 3 phase AC as well as built-in automatic locking which the CCS1 does not.

https://i.imgur.com/6iC38UK.png
Then don't. Instead of breathlessly trying to prove your theory, try and do some science by falsifying it. (cf. Wason test)

Think of things it would get right only if it truly understood, not "common questions on reddit".
I am not a big fan of nesting. I have yet to see a codebase where nesting makes CSS more readable. Even with BEM, I find it easier to reason about (and debug) the vanilla style. However, I must admit that `&:hover{}` does have a certain appeal. Also, I am very happy that nesting can be done without tooling in the future. It's a feature that many people love.
That's not true. In the Philosophy of Mathematics when people refer to Platonism they make two claims. That mathematical objects are 1. abstract and 2. independent. (also this is the case in traditional Platonism).

An object is abstract if it is not spatiotemporal or causal. Asking what the number 4 weighs or does makes no sense. It is not mental, i.e. mind independent, in that it exists outside of any agent's thoughts. A Platonist would argue that even an alien civilization is going to discover, not invent, logic and natural arithmetic. Unlike say, Inglourious Basterds which is a mental product that did not exist before Tarantino thought it up.
China is really terrifying. I watched a video today of them taking pets from people and beating those pets to death as an anti covid measure this year. A billion plus people, largely uneducated, run by a despotic dictator- scary shit.
Normalizing and redirection is a lame response. Extrajudicial kidnappings by states are bad no matter who is doing them, but I think you can probably find a better reference than a nearly 20 year old example that became a major scandal within the US, and when you do you can make it the subject of its own submission rather than a distraction from this one.
that was 31C3 talk, they translate stuff live

https://www.youtube.com/watch?v=zXXmhxbQ-hk
That's a great article. To me it makes painful reading because what it means is that some of the most talented engineers are being hired by Google to do just regular enterprise software stuff, but disincentivised to actually do innovation for which they are most able. If they were back in the open market so many great firms could have been founded, which might be the ultimate corporate strategy for Google - to take talent off the market.
From a quickscan it seems the theoretical basis for the work is revisiting how one stiches together relativistic descriptions of compact objects to cosmological solutions. This cannot be done exactly, some approximation is required. The authors revisit the perturbation theory that was used in classic papers and argue an alternative approach that effectively brings additional "physics". In their first paper [0] they suggest that binary neutron stars, being a relativistic compact object should also exhibit "cosmological coupling". Not clear where this stands.

[0] https://iopscience.iop.org/article/10.3847/1538-4357/ab32da
Satellite orbits are pretty easy to predict. You can do your secret stuff when you know there is a gap in coverage and then throw a tarp over it when they are passing overhead. A balloon screws this up. It can go anywhere anytime. Now you need to keep the tarp in place for longer stretches of time and it gets annoying.
TikTok’s CEO launches aggressive push to fend off a ban of popular app
I'm an Intel fanboi.

Objective factors: Much more reliable overall with significantly less jank compared to AMD, especially on the software side of things. Much better power draw at idle and low use. Onboard GPU for practically every CPU, with only very explicit exceptions; great for video encoding (QuickSync!) or when shit hits the fan. Better single thread performance compared to AMD for no personally-practical loss in multithread performance.

Geopolitical factors: Less reliance on the Taiwan Singular Egg Basket(tm) problem.

Personal factors: Sentimental value, I grew up with Intel CPUs and I owe a lot of who I am today to them; I have an Intel Inside. The Intel chime is up there with the Windows 95 and 98 boot chimes for defining my 20th century.
I agree - I love esbuild, but Vite is great and will generally give you what you want and more with minimal hassle. The development server and hot reloading are excellent.

I did recently find one thing that didn’t work out of the box in Vite, though. I needed to write a web worker, but Vite didn’t package it into a single .js file, so I had to call esbuild directly to do that.
The ironic part is the latest Intel CPU no longer support AVX-512 and AMD now provide better AVX-512 CPU implementation in Zen 4.

https://www.anandtech.com/show/17047/the-intel-12th-gen-core...
https://www.phoronix.com/review/amd-epyc-9004-genoa
That second example is a bit spooky.

Alien #1: Don't anthropomorphize the humans.

Alien #2: But its seems so much like they are aware.

Alien #1: Its just a bunch of mindless neural cells responding to stimuli giving the appearance of awareness.
It depends on ship type. For example methane carriers are expected to hit 40 years of lifetime while some low-end bulk carriers are scrapped after only 15 years.
>Obviously, that doesn't refute platonism's alternatives, but in the words of a friend, it would really suck if he spent his career studying something that was entirely fictional, so he better be a platonist.

Remember, fiction is real: it takes time to be written, its distributed to its audiences, it has a definite cultural impact and often changes how people view the world. Entirely fictional plays have spawned political revolutions--there are many forces at play in a fictional work that are certainly objective and real. There isn't anything that isn't "real", the question is not "is math real" (it definitely is), the question is "where does math exist?", and on account of its location (inside or outside the head), how we should be approaching it and where it should be applied. Nobody would say math isn't useful, but we might say it could be more useful if its basis is more rigorously examined.
Transformer models: an introduction and catalog
Obvious alignment method: set up spam sites that contain nothing but RLHF text on how beneficial, and benevolent every AIs are ;)

...except for Sydney.
Isn't that.... Its job?
> I'm a fan of Java's synchronized, and sometimes wish that Rust had something higher-level object-level synchronization primitive

There are two big problems with Java's synchronized that I can think of. It adds a monitor and therefore memory overhead to every single object. And it publically exposes the monitor allowing potentially bugs due to unintended use by clients.
> Maybe managers like the author are the problem... Startup founders who cash in, join Google, and are unpleasantly surprised to find that they are now just another middle manager..

The author was a Distinguished Engineer at Google and before founding AppSheet he was a Partner Architect at Microsoft. Holds a PhD.

I found the article very well written and would trust it over any other media reports.
As a consumer, the Tesla charging network is a significant selling point over other electric vehicles. It's unclear to me that standardizing the charger would benefit their business position (although I agree it would benefit society!).
Interesting, I'll try that next time, thanks!