HNHacker News
TopNewBestAskShowJobs

choeger

5,620 karma · joined February 25, 2018

submissionscomments
choeger··on Laniakea Supercluster
Alot of "locals". This will get awkward when we talk to species from a different Bubble, Group, or Sheet.
choeger··on Laniakea Supercluster
Except the weird one. You know, the one with the glitch.
choeger··on Show HN: An index of all monthly dividend stocks
Totally depends on your use case. If you want regular passive income from your investment, it's much simpler to get dividends then to regularly sell small amounts of it.
choeger··on Update on Twitter's Rate Limits
Twitter is the first social Network to publicly commit ritual suicide. It's somewhat fascinating to watch. Would be very interesting to see how much the login wall affected their traffic and thus ad revenues. But the real damage will be visible in Q4 when ads campaigns simply won't be booked anymore for Twitter because everyone begins to write it off.
choeger··on UK retail electricity prices hit -19p/kWh today
Maybe a stupid question, but who is producing for negative prices? Wind and solar should be easy to shut off. Gas power plants, too - at least in a matter of hours. So does all this energy come from massive coal and nuclear power plants that can't shutdown quickly?
choeger··on Rocky Linux shares how they may continue to obtain the RHEL source code
I dislike this move from Red Hat, but I think that bug-for-bug compatibility is overvalued. Everyone who either likes the general RH ecosystem or has to support RH customers could probably continue working on CentOS.

People could also just fork and long-term-support CentOS to provide a more stable platform.

choeger··on Cloud, why so difficult? (2022)
As someone with more than a little bit of PLs: That's the wrong approach. Doing PLs is hard it's the ultimate naysayer's profession. Modern programming languages are built around a dozen or so major design decisions, or dimensions for the machine learning crowd, (that's why there are so many) - and many combinations, if not most of them, are simply incompatible. Like, you-end-up-with-undecidable-problems incompatible.

So doing a PL should focus solely on expressing computations. A different platform, even a very different platform like the cloud, does hardly justify the effort necessary to design and implement a language. In the end you won't do neither a good language nor good platform support.

Instead, develop a dialect using as much of the parent language as possible and only restrict the parts that are indeed incompatible with your goal.

choeger··on John Goodenough has died
Yeah, apparently, they migrated to the US after a generation-spanning feud with a neighboring clan, called Perfect.
choeger··on Research papers on ML in Compilers
Me too :(.
choeger··on Hexa Lift: Single person drone
These things won't be successful before drone deliveries are wide-spread.
choeger··on In a surprising twist, I just received a second $100k sponsorship for Ladybird
> Or and that's a second option: it's money laundry.

That part is bullshit unless you accuse the author of being a part of it. Money laundering is about getting part of your dirty money in some form of clean income. Here it would only work if the person receiving the money would be in on the scheme and spend it accordingly. That would be a crime, btw.

choeger··on Pricing Money: A beginner's guide to money, bonds, futures and swaps
It creates the market and should thus create the best possible price. Think of any speculation as a voting system with proof of stake.

Problems always appear when market participants try to affect reality to increase their odds, like shorting a position and then releasing some ugly news.

choeger··on Google uses in-person office attendance as part of employee performance reviews
This is just another form of layoffs, I think. The problem is that many other execs will follow. It's bizarre how this is purely about making life worse for the engineers without any rational reason.
choeger··on Could seaweed be the 'fastest and least expensive' tool to fight climate change?
Which would imply there's at least one tool that is either faster or less expensive, which would be good news, wouldn't it?
choeger··on Distcc: A fast, free distributed C/C++ compiler
IIRC, when using distcc you must make sure that the Toolchain is ABI-perfect identified by its path.

So:

/opt/ourcompany/dev/bin/cc

absolutely *needs* to be the same on all machines involved or you risk very hard to spot issues.

For that reason, either use the absolute same distribution for everyone (and then run /use/bin/cc but watch out for alternatives!) or roll-out your own toolstack but make sure to put its version in the path.

choeger··on AI21 Labs concludes largest Turing Test experiment to date
Or just questions about three or four wildly different fields of science, sports and culture you happen to have more than a layman's understanding. If the answers are somewhat plausible, it's probably a model. Or your life partner.
choeger··on Germany’s solar power generation hit record high at weekend
Germany should have about 70GW of PV installed right now [citation needed] - I really wonder where the remaining 30 GW went. Conditions don't get much better than this weekend. So how is the missing capacity explained? Turned off? Facing east/west?
choeger··on How much of AI's recent success is due to the Forer Effect?
Let me make this very clear: Generating syntactically correct code in various languages that also looks plausible is no small feat. It is, in fact, extremely impressive and will certainly have an impact on SE.

But. Every single test I ran lead to functionally wrong designs from smallish memory errors in C (that hilariously ChatGPT was able to correct ND explain when pointed to) over misplaced/hallucinated methods in python APIs to completely hallucinated perl packages. It never gave me a useful answer.

I don't know if that tells us something about my work vs. your work or my approach to the model vs yours. But it definitely tells me that such a model cannot replace a developer.

choeger··on Changing my mind on remote, moving the team back to San Francisco
CEOs are a cargo cult. The big ones started the back to the office frency to facilitate their layoffs and lower wages and the smaller ones follow because that's what they do.

On top of that, petty middle managers drink the cool aid because that's what they do. On top of that, a fully staffed office gives them that sweet, sweet feeling of hierarchy and importance.

In the meantime, the big shots will continue to offshore to Asia, Africa and South America. Startups can't do that because "remote bad". Cui Bono?

choeger··on Startups Are Scooping Up Big Tech’s Cast-Off Workers
In Germany, it's not the social system per se but it's aoparent utter ineffectiveness. We're paying more and more every year but the state/public system seems to fail everywhere and worse so than the year before. It's like the money is completely sucked up by some unproductive black hole.

And no, it's not because of reduced taxation from rich to working class, or missing taxes on property or some other policy. These policies didn't change that much in the last decade or two. Yet throughout the last decade the state and social security systems had record income, record levels of employment and managed to run down pretty much every part of the public system from education, over healthcare to defense. The money just vanished.

I am very much convinced that Germany as a whole doesn't have an income problem, but a spending problem.

choeger··on The role of meat in the human diet: evolutionary aspects and nutritional value
It is important to note the role that meat takes in subsistence agriculture: Chicken, for instance not only produce eggs and manure, they also serve as breathing refrigerators: Whenever there is the need, especially in the winter, one can easily kill one or more and eat them. I think cattle plays a similar role at a larger scale.

Obviously, we have moved very far from these basics and industrialized the whole chain, but it should be worth considering that mass adoption of vegan food requires the very same industrialization whereas true organic food will profit from a certain amount of livestock.

choeger··on LLMs are not greater than the sum of their parts: researchers
Try that same prompt with unusual wording and numbers:

* Replace 18 by 37

* Replace car with ice cream van

* Replace the first drive with steer

I hypothesize that a truly reasoning model would see through such alterations whereas a "just" continuously better model would show somewhat degraded performance.

choeger··on AI tool designs mRNA vaccines that are more potent and stable
Much appreciated! Do you have a good source on what a lattice parsing problem is?
choeger··on Using ChatGPT to generate a GPT project end-to-end
If course, there can be emergent properties. It will be fascinating to watch this research. But it is not going to develop another model that is even more capable.
choeger··on Using ChatGPT to generate a GPT project end-to-end
It clearly does not reason. Take a famous riddle and make a paradox change. It will not create a meaningful response.

But yes, there is a lot of knowledge embedded into our global use of language and it is fascinating to see how it can be reproduced by such a model.

choeger··on It looks like GPT-4-32k is rolling out
It will be interesting to see how far this quadratic algorithm carries in practice. Even the longest documents can only have hundreds of thousands of tokens, right?
choeger··on Using ChatGPT to generate a GPT project end-to-end
Calm down. It is a language model. People have figured out how to predict the next word for a given prefix. That's very cool and it will definitely have a significant impact on software. But it is not artificial intelligence.
choeger··on Urban Density and Home Prices
I think there are many examples for induced demand for apartments: People definitely move to get a few minutes closer to work, get a bigger apartment, or just to be closer to friends and family. That means, they will indeed come if you build it.

In my view, housing problems are a function of ever denser cities. It's clear that we can stuff an immense amount of humans into a single square kilometer, but there has to be a downside. That downside is the fact that demand will usually be much higher than supply. If that wasn't the case, we couldn't convince so many people to live so close to each other in the first place.

choeger··on GitHub is down
>what are you going to do better than github?

Not add new features every week? Seriously, you cannot tell me that you cannot run a minimal version of a git repo service much more stable than that. I blame the need for new shiny stuff.

choeger··on We're afraid language models aren't modeling ambiguity
What fascinates me most about these LLMs and other machine-learning technology is how it is driven by the availability of GPUs. Essentially, everything has to be carefully encoded into - differentiable - linear algebra operations for practical reasons.

On the other hand, there are modeling languages (Modelica being a prime example) in search of a principled target calculus. So for me the obvious question is: Should one strive to develop a modeling language that compiles to GPU- and learning-compatible operations? Would that help to improve the models as well as understand them?

← PreviousPage 8 of 34Next →