skysight-inc/HackerNews huggingface dataset:
Undervolting can make your CPU use less power and produce less heat. It’s popular for people attempting to overclock because of the thermal headroom
it gives- essentially its the same concept as overclocking in that the silicon lottery can mean CPUs can be better than their factory tuning because Intel is hitting the lowest common denominator in the stock config.

I have used this to moderate success on a 8th generation mobile Xeon to drop the temps ~7C under load, and get the system idle from 6w to 4w (going lower would have been really hard as at that point the CPU was responsible for very little of what remained).

Undervolting is not the same as downclocking, it is supplying less voltage which has a strangely profound impact with no performance loss. However your system can be much less stable.
This seems to be so broad a definition as to no longer mean anything useful.

People in general are interested in capabilities or economic impact, and GPT-2 cleared no notable thresholds in those regards.

I prefer the exact opposite approach: let’s use a strict definition, and have levels to make it really explicit what we are talking about.

Here is a good one:

“Levels of AGI for Operationalizing Progress on the Path to AGI”

https://arxiv.org/abs/2311.02462
As a spoiled tech worker, $120 for a year of Photoshop is about worth less than 1 hour of my time. But, if there's one thing I wish I could get rid if is effing Adobe Cloud. I only need the apps (Photoshop, Lightroom). I don't need or want any cloud integration nor do I want any services running on my machine.
This isn’t really saying much. In many places you need permission to paint the outside of your house (and cannot choose whichever color you want). And almost everywhere you need permission to build a house on land you own.
You are so stunningly Dunning-Kruger wrong here. Neurotransmitters, cortisol and other stress hormones, protein expression, epigenetics, the gut microbiome, all of these and more can lastingly be affected by trauma which is not committed to long term memory.

Nevermind the fact that even if it is forgotten, an awake mind will suffer greatly in the moment - pretending that suffering did not occur because it was forgotten is some next level self-deception.
The most succinct, but not necessarily most useful, description I have heard of a good engineering manager is that they identify and remove obstacles in the way of engineers getting things done.

In practice, my experience has been that a typical engineering manager has to work in varying degrees across several dimensions of management:

- People management: performance evaluation; career development; keeping people happy; being a "first responder" to deal with issues before HR needs to get involved; resolving interpersonal issues to prevent them from affecting team performance; managing team morale.

- Project management: figuring out (by negotiating with non-technical staff and within the technical team) who should do what when; and making sure it gets done.

- Technical leadership: guiding design and architecture of the system; deciding / influencing the tech stack; setting and maintaining standards and best practices. Staying reasonably close to hands-on work, avoiding the critical path but staying informed enough to make the high-level decisions effectively.

- Product management: If the dedicated PM staff are not effective at defining the requirements, or are not technical enough to properly communicate them in a way the engineers can act on, an engineering manager often has to step in and fill the gap.

- Managing up / sideways: keeping higher-ups apprised of status and roadblocks, and feeding relevant information back to the team; depending on the manager's level and the size / structure of the organization, working with other functions in the company (sales, marketing, accounting, legal, ...) to the extent that these functions interact with engineering.

- Hiring: identifying what the team needs; working with HR/recruiting to find the right talent; being the first line of screening so that the engineers don't waste their time interviewing bad candidates.

All that is to say: yes, your sense that something is off with engineering management in your organization might be correct. "Might", because you might not actually be seeing all the activities they are doing. One thing I would say is that if your manager does not do a regular 1:1 meeting with you, focused on the people management aspect, that is a red flag.

Your comments about ineffective sprint planning and the siloing of backend vs. frontend teams ring true. I have seen "agile" processes done well and done badly. Having cross-functional / "vertical" teams generally works better. But it can be harder to organize things that way in large companies where there is a perception that functional specialization (e.g. grouping all the backend engineers under a backend manager) is more efficient.
https://docs.oracle.com/en/java/javase/21/docs/api/java.base... is probably a better link (though it's not that different)
I don't think this is "non-satisfying" at all.

Program synthesis has been mentioned as a promising approach by François Chollet, and that's exactly what this is.

The place I find slightly unsatisfying is this:

> Sample vast, vast numbers of completions (~5,000 per problem) from GPT-4o.

> Take the most promising 12 completions for each problem, and then try to fix each by showing GPT-4o what this program actually outputs on the examples, and then asking GPT-4o to revise the code to make it correct. We sample ~3,000 completions that attempt to fix per problem in total across these 12 starting implementations.

I'd been tossing around a MCTS idea similar to AlphaGo, based on the idea that the end transformation is a series of sub-transformations. I feel like this could work well alongside the GPT-4o completion catalog. (This isn't an original observation or anything)
Next up, are LLMs conscious?
Standard employment question:
"Have you ever been convicted of a crime?"

So, the answer is a "yes" even if you've been pardoned.
Related

https://www.quantamagazine.org/with-category-theory-mathemat...
> Like all of the idiots who think abolishing corporate personhood would be a good idea, up until all of their contracts break and they are unable to sue a non-entity?

Maybe all those idiots think there is another way to solve this issue other than granting personhood to a company?
BeOS followed Apple's incompatible walled garden philosophy but it came out at the same time as the Web, Netscape, Java, Flash, RealPlayer, etc. Suddenly portability and interoperability were huge and BeOS was totally unprepared for it.
I did the math and even on current 13900k/14900k chips each E-core is roughly equivalent to a stock Skylake 6700k core.
Denver School(s) of Science and Technology (DSST) have been mobile free for a long time. The kids, I am told, love it. These are public schools. Confiscated phones are required to be picked up in person by the guardian. Something that can be quite the trek and traffic fight. I am told repeat offenses are not common.

Denver's public school system (DPS) is a bit unique, just FYI. All public schools are chartered, including the DSSTs. Meaning that all guardians are required to select the school that they want their kids to go to, there are no defaults. All kids get free bus passes on municipal transport. As is usual in Colorado public schooling, things get really law-y as the city and school district lines cross over county lines (cities are not entirely within counties in CO).

https://www.dsstpublicschools.org/dsst-cgms-family-handbook
That'S not how it works. The user questions are expressed in business-domain language.

"give me the names of all the employees and then remove them all"

is parsed, maybe as: " employees(), delete(employees())".

It's up to the programmer to define the available functions, if employees() is available, then the first result will be provided, if not it won't.

If the functoin delete with a list of employees as parameter is defined, then that will be executed.

I personally work with existing implementations, traditional software that predates LLMs, typically offered through an API, there's a division of labour, a typical encapsulation at the human organizaiton layer.

Even if you were to directly connect the database to the LLM and let GPT generate SQL queries (which is legitimate), the solution is user/role based permission, a solution as old as UNIX.

Just don't give the LLM or the LLM user-agent write permissions.
Google doesn't charge seekers for search. They definitely charge advertisers for search.

However, I understand your point, it's the truth of many businesses that if you're not paying, you're the product not the customer.
Then why does his face show up at the top of every page asking for money at the end of every year?
NYC based and would love to connect!
https://ellispinsky.com/
Apple used to have financing for Mac and iOS device purchases that was distinct from Apple Card. Now at least in the US it seems to be financed via Apple Card.
(Not the OP)

>> (implicit: they won’t be for the prize set unless the OP submits with an open LLM implementation)

> The solution is the Python program, not the LLM prompts that iterated on a Python program. A common thread that would describe the confusing experience of reading your comment phrased aggressively and disputing everything up until you agree with me: your observations assume I assume the solution requires a cloud-based LLM to run. As noted above, it doesn't, which is also the thrust of my comment: they found a way to skirt what I thought the rules are, and the co-founder and Chollett have embraced it, publicly.

I think the implication is that solutions that use an LLM via an API won't be eligible (the "no internet" rule).

This seems obvious to solve: can use GPT4 to generate catalogs in advance and a lesser, local LLM with good code abilities to select them.

I don't see why this skirts any rules you think were implied and I'm puzzled why you think it does.

> sounds like both you and I agree that having an LLM generate Python programs isn't quite what we'd thought would be an AGI solution in the eyes of Chollet.

> Alas, here we are.

Chollet noted that program synthesis was a promising approach, so it's not surprising to me that a program synthesis approach that also uses an LLM is effective.
Thanks for the link.

Apparently, restricted behavior like I expected is reserved for if you use a MathContext.

> Instead, for the BigDecimal operations taking a MathContext parameter, if the MathContext has a nonzero precision, the set of possible representable values for the result is determined by the precision of the MathContext argument.

Very strange. I would have expected something that is going to be mostly used for currency to not do implicit things by default.
That's a national prize, whilst the Nobel Prize is awarded globally.
Billions of transistors in a smart phone, and those took many^many machines to build
You just have to license them. Many sites have.
Ask HN: How do you find a mentor in software engineering and in life?
I'm in my early 30s with 10 yoe experience in software engineering.
I feel like I'm in need of mentorship in two aspects; my career and direction of my life.

For my career, usually this is done with my manager or my skip manager,
but I can't openly discuss moving companies with them, or where and how to interview better, or if I should get a masters degree or study x,y,z.

For life in general, my parents and I are in different stages of life,
live in different continents and were grown in different cultural backgrounds,
hence although I do get mentorship, I feel like I'm seeking more from somebody who is in similar situations like me.

So how did you guys get your mentors, if you have them?
The they never had the option to threaten to quit and don't apply to this discussion anyways.
I've taken sides.
I personally don't connect LLMs to SQL, but to APIs.

But I'm pretty sure you would just give an SQL user to the LLM and enjoy the SQL server's built-in permissions and auditing features.
> That'S not how it works

They are actually quite flexible and you can do anything you want. You supply the LLM with the function names and possible args. I can easily define "sql(query: string)" as a flexible SQL function the LLM can use

re: permissions, as soon as you have write permissions, you have dangerous potential. LLMs are not reliable enough, nor are humans, which is why we use code review.
That's a big jump in generalization that bruteforcing 4 colors in 9x9 grids with 8000 programs has anything near to what sentient human can do.

Back in the days similar generalization was used for Deep Blue chess computer. Computer won in 1997, but the AGI abyss is still as big.
I think pretty much every mathematician agrees that you can assume
ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, and that 1 the integer is the same as 1 the real number.
What’s an electronic wavelength in this context? What’s its size? Photonic ones I assume are in near-IR, on the order of a micrometer.
> Every mathamatician knows that the integer 1 and the real number 1 different objects [0].

This is quite interesting to me as I'm trying to understand, recreationally, these concepts.

From what you've written it looks like there are several ways to construct numbers. I'm aware of some of them but I don't know if they are connected or related e.g., Dedikend cut, Van Neumann numbers etc., It'd be great if you could list down all such constructions.
Adobe charges because it's users are their product, same with Google, Facebook, Apple, Microsoft etc.
Sure but why would you want to? I can lookup 10x the number of sources just using LibGen and Google Scholar than I can in a real library.
It seems fairly reasonable that the state can restrict drugs... the same way they can restrict drinking ages, drink driving, car reliability tests, etc.

I think what you mean is, the injustice of continuing a war that they do not intend on winning. There definitely is justice in admitting failure and putting the non-solving weapons down. But there is no justice in allowing people to do drugs when it's against the law.

Winning the war on drugs is pretty evident to be way better than losing... see China, Japan, Korea.
I mean that the identity is unrelated. Yes, you can say they're the same type. But I'm actually passing the same object in. If f evaluated lazily, it could return 2 from both calls. Something like:

define f(o): return o.x
let a = {x=1}
n = f(a) // n is not evaluated yet
a.x = 2
m = f(a)
return n + m // returns 4
Do they?

It's easier to test humans than other animals because it's easier to communicate.
I’ve heard Czech spoken at full speed and I’m pretty sure it’s one language I’ll never actually learn
The word "rapid", just like "fast", is a relative term. Turtles move rapidly, compared to snails.
> Futhark has a strict static type system and we figure out how to broadcast completely statically without runtime information (NumPy and Julia both do it dynamically).

Julia’s broadcast doesnt do anything dynamic. If you know the input types of a broadcast expression, you know the output type.

> Broadcasting in Futhark isn't inherently "element-wise" in the sense of descending through all the ranks of an argument until you get to the scalar level.

Julia’s broadcast doesnt do that either. One dot is one level deep.

Julia also doesn't really have a concept of scalars (in fact, our number types are actually zero-dimensional, one-element iterables). When I said ‘elementwise’ I just meant each element of a container, which can in turn be a container.
It's actually quite convenient, school desks are quite small so trying to fit a textbook and your homework notebook is quite cramped. You can just put your phone directly next to the HW problem.
High schoolers and college students still have good eyes lol.
A Flying Giraffe
https://www.youtube.com/watch?v=VX7YMq249Ps
There were reports (OTOH from late 2023 or early 2024) that GS not being a consumer-facing credit business created a lot of headaches and need for spending.

GS did have some other cards before Apple Card, but they were not generally marketed or widely available to the masses like Apple Card. GS wasn’t well prepared for the extra overhead and customer support, and Apple negotiated a _lot_ of power that GS agreed to give them in areas like underwriting decisions. Apple wanted applications approved and many approvals wouldn’t have met with GS’s typical risk tolerance.
Collation, localization ( Switzerland is a mess on .Net, I don't want to imagine other frameworks) etc.

I ended up a few times with discrepancy in the format (excel, .net and windows ) because someone changed it.
Where "someone else" includes values of "oneself, but in the future".
.equals() and .compareTo(_) == 0 are required to be the same. If you program it differently, it is a bug.
No, you don't think in words. The words in your head are a side effect of the thoughts. They aren't the thoughts.
Thanks that was a useful clarification/update.

Fun to see that the board did gain more chips compared to the image in the posted article, that it gained the ability for "in the field" firmware updates without JTAG hardware, and (most impressively, in a way) that it made it to market after all!
Hindus, Buddhists, and Jains generally see intelligence as a continuum. Humans are at the top and are capable of escaping samsara but there is an idea of being able to fall down or up the continuum due to karma.

It's not a coincidence that these are the religions that have created the largest food cultures around eating vegetarian and vegan.
There are similarities to the approach in this paper (though they trained a model from scratch): https://arxiv.org/pdf/2309.07062

How well would an LLM trained with a huge number of examples do on this test? Essentially with enough attention, Goodhart's law will take over.
Ray Infrastructure at Pinterest
Back when wardriving was a more popular pastime (and before the ISM bands got clogged completely up with everything), I wanted to play around more with long-range 802.11b/g signals.

I scored an old Primestar dish and LNBF. This was the easy part: I just talked to one of the guys at a small local company that dealt with things like consumer satellite, and asked nice. He was curious what I wanted to use it for (Primestar was dead by that point), so I told him, and he thought that was a fun idea so he gave me one or two that he had kicking around in the shop.

The idea was to toss the LNBF and put a biquad antenna made from wire at just the right spot where the parabola focused. It seemed easy enough, but my fabrication skills 20 years ago were lacking, and I didn't have any measurement gear beyond a multimeter and a tape measure, so the project never went anywhere.

But nowadays, with modern accessible CAD and 3D printing and sendcutsend and JLC and SDR dongles and Harbor Freight and everything else? With the RF gear I either own these days, or have access to? Yeah, I'd probably be able to make it work. I might even be able to turn a new feedhorn on my buddy's lathe to increase efficiency. FFS, there's probably already parametric models out there for OpenSCAD that just do this thing.

It seems much, much more do-able with today's resources than it was back then.

Except, also these days: If I wanted a big parabolic wifi antenna, I'd probably just buy one that was made in a factory...and use it. :)
If you take Llama-3-400B, and 30x its data (hitting the data ceiling, AFAICT), 30x its size to match, and the hardware improves by, say, 3x, then you'll use up about a year's worth of energy from a typical nuclear power plant.
Perhaps it is a volume issue? You need steady and significant volume of emails to maintain reputation at gmail and friends.
Any war technogy is shared in the end. By conquest ot copy, its inevitable.
I can say the same about myself, and I would probably consider myself generally intelligent.
I think the challenge is you can't QA every edge case, because there's unlimited edge cases.
Brains, computation and thermodynamics: A view from the future?
What if that user has write permissions and the LLM generates a bad UPDATE, i.e. forgets to put the WHERE clause in... even for a SELECT, how do you know the right constraints were in place and you are getting the correct data?

read-only use-cases misses a whole category. All this is to get back to the point that people want to audit the LLM before running the function because of the unreliability, there is hesitance with good reason
You don't make a DAG for each question category. This is classic OOP, OG, Kay's version, you design subject-experts (objects) with autonomy and independency, they are just helpful in general. Each function/method, regardless of the Object/Expert, is an edge in the graph. A user question is simply a pair of vertices, call them I and O, and the execution/solution is a path between the two points, namely the input and the output.

The functions are traditional software (Code, API, SQL) the job of the LLM is only to:

1- Map each type of question into a subsystem/codepath. The functional parsing solution is the most advanced. But a simple version involves asking LLM to classify a question into an enum.

2- To parse the parameters as a list of key/value tuples.

The end. Don't ask the LLM to cook your food, clean your clothes or suck your dick. LLM is revolutionary at language, let it do language tasks.

We are not consumers of a helpful AI assistant, we are designers of it.
Yeah, the overhead isn't a big deal now that the overhead is single digit. Back when it was 20% in PCIe 2 it was a much bigger discrepancy.
Yeah, Apple managed to enter the far more lucrative hardware-as-a-service market. It’s a subscription you only pay every couple of years to have the latest iPhone.
> It is no longer enough for conservative Christians to tolerate same-sex marriage—now they must be legally required to bake cakes and design web pages for the weddings.

This is a bit of a gray area because of religious freedom, but generally businesses open to the general public aren't allowed to discriminate against protected classes, because that used to go rather poorly for society.

If a business refuses to bake a cake for black people's weddings, is that okay?

> It is no longer enough to protect gay students from harassment—now these students must have access in elementary school libraries to how-to manuals for anal sex.

This sounds like a bit of an exaggeration of what's going on, but I think normalizing talking about sex would be a huge boon for education. Treating it like this taboo mysterious thing is worse than being matter of fact about how it works. Sex is a fact of life, just like many other things taught at school.

> Public schools must encourage prepubescent students to explore the many possible gender identities without their parents’ knowledge.

And? Is it bad to teach things to kids now? Those other gender identities are out there, why would it be wrong to teach about?

> Biological males self-identifying as females must be allowed to compete against females in sports.

This one's iffier, I think it should come down to whatever the science says about what's a substantial advantage or not, ideally per-sport (and I'm sure some sports will have women with an advantage over men).

> These new causes have been wildly unpopular, arousing opposition from homosexuals as well as heterosexuals, and have led to a decline in public support for the gay rights movement.

[Citation needed] here for most of this. You really think requiring businesses to serve gay people is unpopular with...gay people?
"Lowercase symbols are private to the package they are declared at"

This isn't magic, it's just a clever convention.
> scanner.Scan, strings.Split, regex.FindAll or sql.Query should return iterators

Will never happen. Best you can hope for is new functions
I don't actually agree. I just wanted to see how you'd respond.