skysight-inc/HackerNews huggingface dataset:
> I reviewed many code written by junior people, and very often I see people adding code in random places that later may let the application to be hard to follow and everything "seems fine" to them.

But is that because they're following their IDE, or is it because they're junior developers? I also see that sort of issue regularly, and as someone who is very happy with their LSP creature comforts, it's still something that I have to call out and teach.

I think you're reversing cause and effect a bit here, in the sense that you're trying to argue that IDEs cause developers to be less thorough and diligent, and to care less about good code organisation. In practice I suspect it's the other way around: the people who are more likely to be diligent and get their code organisation right are the same people who would take more care in choosing exactly which tools work best for them. That is to say, it's not that IDE users are worse at code organisation, it's that the people who are worse at code organisation tend to use IDEs.
Thanks, sounds interesting!
I love that museum; try to visit whenever I'm nearby.

During Covid, the new director of the museum changed policy substantially -- primarily focusing on original artifacts, rather than the "displays" which had been built before to illustrate concepts (when something wasn't available, or where the original artifacts weren't impressive or illustrative enough). As someone fairly familiar with the field, seeing the actual objects is much more worth a trip than seeing a museum display illustrating a concept which I could see better in a wikipedia article or a book.

Both approaches work for museums, but I'm glad his one changed. The most striking thing for me was seeing the actual computers used in SIOP and nuclear war initiation a couple decades earlier (fairly run of the mill high end DEC Alpha boxes).
Another PhD in maths here and I would say not to worry. It's the process of doing and understanding mathematics, and thinking mathematically that is ultimately important.

There's never been the equivalent of the 'bench scientist' in mathematics and there aren't many direct careers in mathematics, or pure mathematics at least - so very few people ultimately become researchers. Instead, I think you take your way of thinking and apply it to whatever else you do (and it certainly doesn't do any harm to understand various mathematical concepts incredibly well).
wanted to echo your sentiments on portability with containers. sometimes simplicity is hidden in the tradeoff of what you get for doing the work — i.e. simplest way to do the most “stuff”.

like i was last working on a job orchestrator thing. and containers would have meant we could run jobs on azure/aws/do/wherever. writing one job container, a customer can have that job run almost wherever they want to.

containers added some complexity, but were the simplest way of getting that amount of “stuff”. the project stalled horrendously but that’s another matter.

but also important to remember that containers add a framework/dependency at quite a fundamental level.

there are maintenance costs. although i have personal containers from like 6 years ago that still run fine!
The supposed "survey" or whatever the hell this is was taken from a bunch of amateur people who started trading out of boredom which depicts an entirely non-real picture of the people who have been doing this for a living since quite some time. Like with everything else, using your brain cells can quickly make you realize it's a lot more than "gambling"
Parallel multi-agent workflows with Burr
While Magnus has a very strong memory (as do all players at that caliber) his intuition is regarded by others and himself as his strongest quality and he constantly talks about how an intuitive player he is compared with others.

https://www.youtube.com/watch?v=N-gw6ChKKoo
They developed a system / algorithm that reliably defeats the most powerful Go AI, and is a simple enough system for a trained human to execute.

Surely that's important? It was thought that AlphaGo and KataGo were undefeatable by humans.
On the other hand, for double precision a Radeon Pro VII is many times faster than a RTX 4090 (due to 1:2 vs. 1:64 FP64:FP32 ratio).

Moreover, for workloads limited by the memory bandwidth, a Radeon Pro VII and a RTX 4090 will have about the same speed, regardless what kind of computations are performed. It is said that speed limitation by memory bandwidth happens frequently for ML/AI inferencing.
That's probably retaliation over the patents for video streaming:
https://www.broadcom.com/company/news/product-releases/61711
Autoclosing parens, brackets, braces -- one of the most annoying things to me, for example in tools like JupyterLab, but also in IDEs.
So far I love and am probably about to go all in, especially since you can bring your own "AI."

Relatedly (and I think the authors are working on it) anyone using local AI for tags and know good ways to tweak (I'm using Ollama and would love to constrain the the tags a bit?)
... "in this article, let's explore the treasure trove ..."
For example, the Euler equations model compressible flow with discontinuities (shocks in the flow field variables) and rarefaction waves. These theories are accepted and used routinely.
> Didn't Bill Gates's foundation have a project to do this, by tracking them based on their wing-flapping frequency (which apparently is very particular to that species of mosquito) and then burning their wings off with a precisely targeted laser

This was never a serious proposal.
> Socialism in Europe is social democracy.

It’s a mix that includes social democracy and democratic socialism, as well as things to the right of the former (Britain’s Labour is still nominally socialist) and left of the latter.
Modular claims that it achieves 93% GPU utilization on AMD GPUs [1], official preview release coming early next year, we'll see. I must say I'm bullish because of feedback I've seen people give about the performance on Nvidia GPUs

1.https://www.modular.com/max
So Dune style hunter-seekers...

> Leto's Golden Path has prevented a future in which the Ixians released, and ultimately lost control of, self improving Hunter-Seekers that would eventually consume all organic life in the known universe.

Yikes!
I'll go through a few of these, but not all:

* Yes, the Kotlin type system is better, no question. And yet it doesn't really matter for 90% of code, Java's type system is "good enough". And in the places where it tends to suffer, IntelliJ ends up covering the ground anyway (validating various annotation values, spring properties, sql, etc).

* The difference between nullable types and Optional<?> types is not material. TBH I quite like Optional<?> and how it meshes with streams.

* "final by default" is indeed nice. But putting `final` everywhere (which we do) is at most a tiny annoyance. This is not material.

* Clear type distinctions between mutable and readonly collections is better, but not material, because we treat all collections as immutable.

* Java streams hit 90% good enough, and StreamEx tends to fill in another 9%.

* We don't have pain points with mutating variables in closures because we don't use mutable variables.

* We don't have problems with checked exceptions because we don't use checked exceptions (and when interfacing with foreign code that throws checked exceptions, we use @SneakyThrows or wrap).

* Coroutines are a major net negative for Kotlin, and Loom is already here. After many years of async programming in JS/TS, Ruby, and (going back far enough) C++, I've concluded that async programming (and function coloring) is absolutely toxic and should be avoided unless it's absolutely required for performance (or the platform, ie GUIs).

* Multiplatform support has great future potential, but it doesn't seem to be ready yet. I just started a greenfield project and _really_ wanted to use KMP. Decided against it in favor of a React frontend. I don't want to live on the bleeding edge, I have work to do. And I've been bitten by deadended technologies enough times in my life to know the risk isn't worth it.

I could go on but I think you get the point - my Java looks like Kotlin, and the parts of Kotlin that would really diverge from my code aren't things I want. You could tell me that I should use coroutines everywhere and I just simply disagree.
Kinda surprised there are no comments.this is the major problem with netbox and like software
A great example of how "if it compiles, it runs correctly" is bullshit.
I agree it’s becoming a common sentiment among the online pseudo-intelligentsia, but it’s still rare on a population level, so I will keep spreading the sentiment. I think it’s important, mainly on an economic level (I believe economic growth is impossible without population growth), but I speculate the decline of family-having is at the root of some of our other social-psychological malaises: loneliness, substance abuse, mental illness, increasing interest in extreme politics. Tech people should be most interested in family as an answer to social woes because currently people are blaming either social media and tech for social dysfunction,or the collapse in family-having, or both. If family is the answer then lots of tech will be exonerated.
> a bunch of amateur people who started trading out of boredom

Former options market maker. The industry was dead for a decade until the pandemic. It’s now more profitable than ever. Lots of negative-alpha orders that can be predictably sorted from the flow. Market makers are seeing casino-like margins on some subsets of flow; that signals a problem.
I use it exactly that way and publish an RSS feed of my archives: https://enlace.space/~erik/rss.xml
we have, besides a dog, cats, and they all know their individual names very clearly, repeatably, demonstrably. they also seem to know the names of one another, but of course cooperation is more eager in dogs than in cats, so harder to demonstrate that.
I feel the same way about SPA.

At work the decision was made to rewrite it all in React because it was supposedly easier to find people who knew React, instead of any good product fit.
Getting the linker to verify identical functions
That is consistent with my experience. My highlights:

- Current betaflight devevelopers and leaders are incompetent (They inherited the code base from others), and are slow, and varying degrees of willing, to add higher-level flight-control mechanics (semi-autonomous modes etc).

- The Ardupilot and PX4 configuration systems, and general experience, are user-hostile.

Note that the converses of these hold: Betaflight has a reasonably-good user experience, and Ardupilot and PX4 have extensive higher-level flight control mechanics. If only you could get the pros of both together!

Regarding hardware, frames generally accommodate flight controllers and ESCs elegantly, but other hardware like cameras, radios, and especially batteries, feel clumsy to assemble in a safe and consistent way.
I don't know what you are talking about.

https://www.bundesregierung.de/breg-de/leichte-sprache

Diese Antwort wurde nach Abschätzung der Sachlage automatisch erstellt, und bedarf keiner Unterschrift. Bätsch!
I use an LSP and every IDE feature in intelliJ for typescript, Java, and anything else well-supported by jetbrains... except Ruby.

For me, Ruby's standard library tends to use names for things I would guess first, and the way people build things in Ruby feels natural to me. Any sort of LSP feature is nice obviously since it's never in the way, but when I end up trying Solargraph or RubyMine I end up noticing I'm just not paying much attention to it. The only places where I end up reaching for it is mass refactoring, like big renames... which are tough in things like Rails projects where files need to be renamed and pluralization matters.

So for me, it's the ergonomics of the language. That's probably mostly related to hours spent with it of course, but I think everyone has some specific environment/language/style that lets them compress the current state of what they're working on in their head better than anything else.
Thank you for this wonderfully useful word!
Wasn't this the plot to War Games (1983)?
> A boss will never talk to you if there is any kind of problem with your productivity, they will fire you and that's it

I feel sorry for you having experienced that culture... this is not normal behaviour for good companies, and they do exist.
>
jaco6 : Maybe the minority who want to reproduce will be paid to reproduce for everyone else in the future?

This latter comment of yours was down voted by idiots to the point where it's dead, so I could not respond to it directly.

Anyway, specifics aside, it is actually a good idea - for a variety of reasons.
3k is much, much cheaper than many college degrees, even from state schools with in-state tuition.
Future payoffs are almost always discounted, even if for no other reason than the future has a greater deal of uncertainty. I.e even if it was not explicit which it almost always is, it would still be implicit.

Their conservative style is usually due to having a better fitness function. Humans tend to not be able to model uncertainty as accurately and this results in more aggressive play, a bird in the hand is worth two in the bush.
This looks great! The paper linked in your README https://hoheinzollern.files.wordpress.com/2008/04/seer1.pdf also seems like a nice explanation of similar ideas.

The reason I'm exploring this idea is to use more natural looking python as dsl for function definitions in my proof assistant https://github.com/philzook58/knuckledragger

Also to see if I can make a nice-looking staged metaprogramming framework in python like buildit, but maybe to generate C/C++ rather than more python.

Could Crosshair be used in these ways?
I suppose you haven't had to refactor a large code base yet just because a lifetime has to change?
I think a lot of it was Cold War paranoia. The US government got into a lot of weird stuff like MKULTRA just because there were rumors the Soviets were working on the same thing, and no one wanted to risk the possibility, however remote, that there might be something to it.

Also probably money laundering. Apparently there were a lot of connections between the USG's various psi programs and Scientology.
Bitcoin Miner in Minecraft [video]
The sheriff says "hold my beer".
That's OK, it gave me a chance to be snarky, which I relish these days. Honestly, I rarely read the articles myself.
Technically there is a third possibility that the price will remain exactly the same. But the odds of that are even lower.
Unless you've asked for a limit increase _multiple_ times, I can guarantee you haven't reached the limit of step functions.

The default limits are _very_ conservative in large regions

(Admittedly, by the time you've asked for those limit increases you should probably reconsider what you're doing, you're bleeding $$$ at this point)
Why stop at greek or arabic when you can go all the way to sanskrit?

The words for sine and cosine derive from the sanskrit jiva (meaning bowstring, i.e., the chord of a circle)[1]. Sine and cosine were respectively jya and koti-jya, which got transcribed into arabic without the vowel (where it meant nothing). They then pronounced the vowel in the wrong place, calling it jeb (which meant pocket or fold in arabic)[2]. Then this wrong word got translated into latin as sinus (fold), and hence we have sine and cosine!

1. https://en.m.wikipedia.org/wiki/Jy%C4%81,_koti-jy%C4%81_and_...

2. https://en.m.wikipedia.org/wiki/Sine_and_cosine#Etymology
Disagree. Regardless of what Brave is doing you shouldn’t block via User Agent like this.
C++ allows both more incorrect and correct programs. That's what can be a little frustrating about the BC. There are correct programs which the BC will block and that can feel somewhat limiting.
> So is this following the OpenID Connect/JWT type flow?

No. This is orthogonal and can be used in combination with the aforementioned technologies.

Let's assume you want to use OpenID connect and also JWT.

1. You have your own web service that does not implement a login form but relies on OpenID connect.

2. You have an authentication service like GitHub, Facebook, Google, ...

3. Your users have a pre-existing account on GitHub, Facebook, Google, ... They use their passkey/non-resident key/plain old password/... to log into one of these services

4. Your users want to log in to your service. They start the OpenID Connection protocol using the authentication service. If they are not logged in yet, then they have to present their passkey/non-resident key/plain old password/... to get logged in. Once they are logged in, the authentication service can issue a fresh JWT to your user.

5. Your user can then use the JWT to use your service.
This discussion helped me discover my new favorite map. https://en.wikipedia.org/wiki/File:Peirce_Quincuncial_Projec...
The Radeon VII is special compared to most older (and current) affordable GPUs in that it used HBM giving it memory bandwidth comparable to modern cards ~1TB/s and has reasonable FP64 (1:4) throughput instead of (1:64). So this card can still be pretty interesting for running memory bandwidth intensive FP64 workloads. Anything affordable afterward by either AMD or Nvidia crippled realistic FP64 throughput to below what a AVX-512 many-core CPU can do.
Baruch Spinoza is another. He was excommunicated.
Some people win the lottery.

You should still be skeptical if they try and sell you on their patented lottery number picking strategy.
I wonder if this announcement applies to Canadian owners as well?
I must say, in my experience of the parents I know and see regularly on a level I would consider very close, we must be a cluster of lottery winners.
I keep all my old cell phones too, but I had to get rid of a run of them from around 1998 - 2008 because the plastic started turning sticky a while back.
Shortest path between two points still depends on your metric.

For instance, if you're constrained to travel along the surface of Earth, your shortest path is going to travel along a great circle, rather than pass through the interior of the sphere.

That said, you could, for instance, pick the three vertices of an equilateral triangle (using the Euclidean distance as your metric of choice, as we do in order to derive the lemniscate and the circle), and again deal with the product of the distances from each vertex.

You again start with small circles around each vertex, which eventually expand to a single looping curve, and then into ovals encircling the entire triangle.

https://en.wikipedia.org/wiki/Cassini_oval#Generalizations

https://en.wikipedia.org/wiki/Polynomial_lemniscate#Erd%C5%9...
yeah i guess you develop preferences. but it's still possible. all about putting in the time around common interests
But that's not true in the world of stocks. If all the stocks go up, all of the owners are richer. And they do tend to go up, at least on average.. in recent history.

The futures and options markets are zero-sum. For every winner, there's an equal and opposite loser.
Feels like a prelude to similar issues that will crop up in other areas of society. I’d say most processes are not resilient against this
You're reaching pretty hard there. Your assertion is a massive strawman, the implication seeming to be that "every problem in your logic won't exist if it compiles" - no one thinks you can't write bad logic in any language.

Rather it's about a robust type system that gives you tooling to cover many cases at compile time.

Even if we ignore logic, Rust has plenty of runtime tooling and runtime issues can still happen as a result. A complaint i often have about Bevy (despite loving it!) is that it has a lot of runtime based plugins/etc which i'd prefer to be compile time. Axum for example has a really good UX while still being heavily compile time (in my experience at least).

"If it compiles it works" is still true despite my complaints. Because i don't believe the statement even remotely implies you can't write bad logic or bad runtime code in Rust.
I suspect they're referring to the Infowars kind of supplements, not vitamin supplements.
The reason for that is simple though: &String converts to &str, but not the other way around... so you should always use &str so that your code works with either, and notice that literal strings are &str.
I think Rust has lots of warts, but I don't see this as one of them (at least it's something you get irritated at only once, but then never have problems with).
I agree wholeheartedly about the beauty of doing mathematics. I will add though that the author of this article, Kevin Buzzard, doesn't need to do this for his career and from what I know of him is somebody who very much cares about mathematics and the future of the subject. The fact that a mathematician of that calibre is interested in this makes me more interested.
Before I read the article all I could think about was what if AI was used with SETI's data, would we find something there?
It's worse than that. VistA is a world-class open source EMR that the VA has been trying to kill for decades.
This looks like a nice reflection of python into a syntax tree, but unless I'm mistaken, it can't reflect python control structures like if-then-else? Z3 or sympy already are kind of ready to go systems that overload all the typical operators. Is there something you've done here they are missing?
I noticed it’s open-sourced, right? How do you avoid people coping the code and running by themselves?
Taxi drivers offer a clue to Alzheimer's risk
I'm surprised that anyone prints anything any more. Such a waste of paper, toner and ink (the most expensive liquids on earth).
Looks like they completely switched to MIT based on all the feedback.
> Child rearing

For what purpose?

> it is our evolutionary “purpose” to reproduce

Yes evolution selects for having children survive to reproduce, but that’s not a purpose, that’s just “that which continues, continues”.

> and most people in the developed world today aren’t doing it.

Plenty of species have evolved such that when they sufficiently saturafe their environment and resource carrying capacity, reproduction rates drop through behavior changes based on various signals.
That seems like a CPU problem, not a GPU problem (due to Aarch64 replacing x86-64).
The table "Posted data on 3D Viewer" contains a row "Point cloud data" with several links, e.g. "Viewing the LP point cloud of the Tokyo Metropolitan Government area in the viewer": https://3dview.tokyo-digitaltwin.metro.tokyo.lg.jp/#share=s-...
see https://news.ycombinator.com/item?id=28247034

and https://news.ycombinator.com/item?id=32014754
If you add all Latin words with Greek origins, most European languages are really forms of Greek
Elephantech develops etchless inkjet printed PCB
Great, what's the equivalent of this?

assertThat(someCollection).map(Thing::getValue).containsExactlyInAnyOrder(3, 4, 5);
The chocolate of the future will have less cocoa or none at all
The existence of KataGo and it's super-AlphaGo / AlphaZero strength is because Go players noticed that AlphaGo can't see ladders.

A simple formation that even mild amateurs must learn to reach the lowest ranks.

KataGo recognizes the flaw and has an explicit ladder solver written in traditional code. It seems like neural networks will never figure out ladders (!!!!!). And it's not clear why such a simple pattern is impossible for deep neural nets to figure out.

I'm not surprised that there are other, deeper patterns that all of these AIs have missed.
Learning to Live with the Voices in Your Head (2023)
Charlie Munger's wisdom lives on in LLMs
This was, sadly, a conscious choice made by Allen long before his death. Same as with his airplane and tank collection. He had plenty of time and legal advice to set it up with an endowment that could allow for its continued yearly operational budget and chose not to do so. His heirs don't care about his personal toy collection so it's been sold off.