skysight-inc/HackerNews huggingface dataset:
Groq's Mixtral 8x7b nails this one though.

https://groq.com/

Sally has 1 sister. This may seem counterintuitive at first, but let's reason through it:

We know that Sally has 3 brothers, and she is one of the sisters.
Then we are told that each brother has 2 sisters.
Since Sally's brothers share the same parents as Sally, they share the same sisters.
Therefore, Sally's 3 brothers have only 1 additional sister besides Sally, making Sally's sister count 1.

It's a bit of a trick question, but it highlights the importance of understanding the phrasing and context in logical reasoning.
I'll chime in:

(β = −0.482; 95% CI, −0.813, −0.141; p = 0.014): The "β" represents the change in the factor score due to the prebiotic. A negative number here (-0.482) likely means that the prebiotic reduced some kind of negative score associated with poorer cognition, thus improving cognitive function. The "95% CI" stands for the 95% confidence interval, which is a range of values (-0.813 to -0.141) that likely contains the true effect size. The smaller this range, the more precise the estimate. The "p-value" (p = 0.014) tells us the probability that the observed results could have occurred by chance. A p-value of 0.014 means there's a 1.4% chance the results are due to random variation, which is low, so the results are considered statistically significant.

In simpler terms, that study found the prebiotic to significantly improve mental functions compared to not taking anything, with a high level of confidence that this result is not due to chance.

HOWEVER, when you look at the size of the study, it's unimpressive. A larger RCT will be needed. Also, it was a 'remote' study, so they could not measure muscle mass. Also, analyzing stool samples has serious limitations, as there are quite a few species that cannot be cultured (or identified).
I do all of my development on a measly 8GB/500GB model. The only application that has performance problems for me VCVRack, and that’s only after I surpassed 900 modules
Video transcoding is done on the GPU and has nothing to do with memory/storage.

And there isn't a trend towards more Electron apps. Increasingly developers are using Tauri which is Rust based and extremely lightweight.
This guy does a lot of great work on sensory substitution. [1] He runs a company that makes tools that help with tinnitus and other chronic issues/disabilities, and he writes books about the brain.

1: https://www.youtube.com/watch?v=4c1lqFXHvqI
Couple of thoughts:

First, the discussion about representation highlights that the issue is a lack of infinite resources. If we had an infinite computer, that could execute an infinite number of operations in zero time, and had infinite memory, then we wouldn't be worrying about whether it's better to store the graph as a matrix, an edge list, or a pointer graph.

Software Engineering is everywhere and always a job of optimization. Sometimes that optimization is premature, and sometimes it's too little too late. It's always about optimization.

Second, when we're talking about a graph of 10 nodes, it really doesn't matter what data structure we use. It can quickly matter if we have 100s or 1000s of nodes and edges because now the possible arrangements are huge as is the search space. But this is no different than other problems like the knapsack problem where the search space is huge: depending on the problem, there is very likely a "trick" to make it tractable, and that trick is different depending on the problem.

So, like the knapsack problem, there are different, specific solutions for specific graph problems.
Opus got it correct for me. Seems like there is correct and incorrect responses from the models on this. I think testing 1 question 1 time really isn't worth much for an accurate representation of capability.
There is a bit of a trend in languages to shift towards more formal semantics. In the C/C++ world, the relaxed memory model and the pointer provenance work are being heavily driven by actual formal semantics model. And many newer languages seem to rely on a more overtly operational semantics description (Java and JavaScript come to mind), although the C and C++ standards themselves are largely free of this. I definitely would like to see formal semantics be defined by the standards, although this is difficult because they still don't exist in complete form, and I'm not sure many committee members have an ability to read or reason about formal semantics very well.

I think the commentary about the atomics memory model kind of not working as intended is useful to note. Consume is useless in practice, and there are probably better railings that could have been put around acquire/release semantics.

I'll have to listen to several of the other talks.
Comp is typically aligned to Revenue rather than payment schedule, unless the rep is involved in the A/R process which is unusual but not unheard of. The incentive comes from deal language standards for which exceptions must be approved by senior leaders for things like delayed payments or other arrangements.

In the above scenario, the more likely situation would be the rep goes to bat internally for a 45-day term so they can close a larger or more favorable deal that management will be incentivized to approve.
Criminal sanctions in competition/antitrust law cases are an option in some jurisdictions, notably in the US and the UK (but not in the EU).

For an ageing but interesting case, see https://en.wikipedia.org/wiki/Lysine_price-fixing_conspiracy
Pretty sure the TOS of AppleTV prohibits exporting the movie - you have a limited license to view it only under the circumstances Apple dictates, in partnership with everyone Apple has deals with. If you want to be able to watch it on other devices, you need to purchase a limited perpetual license in the form of a DVD/bluray.

Now, of course, this depends on the movie having a physical release (which is becoming a bit of a rarity these days), but still, the MPAA has made sure to write ironclad contracts to prohibit watching streamed content the way you want.
No, they're a "next character" predictor - like a really fancy version of the auto-complete on your phone - and when you feed it in a bunch of characters (eg. a prompt), you're basically pre-selecting a chunk of the prediction. So to get multiple characters out, you literally loop through this process one character at a time.

I think this is a perfect example of why these things are confusing for people. People assume there's some level of "intelligence" in them, but they're just extremely advanced "forecasting" tools.

That said, newer models get some smarts where they can output "hidden" python code which will get run, and the result will get injecting into the response (eg. for graphs, math, web lookups, etc).
> SpaceX nowadays routinely lands on target

On the moon?
The Harvard Body-Snatching Case, and the Economy of Human Remains
Laptops in my household are a mix of Macs and Chromebooks. All are >5yrs old. Love the resilience and useful life of both.
> People dramatically overestimate the correctness of their [C/C++] code

Genuinely interested: what do people think of their tons of third-party dependencies in Rust? My experience building Rust projects is that there are orders of magnitudes more dependencies than what would make me comfortable. At least in C/C++ it's much harder to get there.
"A three legged stool for the composable future"
I think they made special boxes you could put the printer in to attenuate the noise it made though generally closing the door of the room it was in was sufficient (this was whatever printer we had with an apple 2gs... probably some sort of imagewriter)

and the print quality was relatively poor especially compared to laser

mostly my siblings used it as they are older than me - I was able to use an inkjet (!) in future years and now rarely print anything other than return labels...
The /sbin/init binary is hard linked to /sbin/dashboard, /sbin/poweroff, /sbin/shutdown, and /sbin/wrapperd. While this technically is 5 files, it’s a single file hard linked 4 times to provide convenience commands.

Err, that's definitely 1 file with 5 directory entries, not 5 files.
One thing that seems not widely understood is that the assumption of normal or log-normal distributions in stochastic calculus is like the assumption of linearity in most engineering fields. It's known to be incorrect, but you can do a heck of a lot with piecewise-linear model. Similarly, using a normal or log-normal assumption within a range of parameters (such as the volatility smile) is really useful.

Part of the reason a Gaussian distribution is used so much is that you need a stable distribution if you want to be able to perform algebra on your random variables. The variance of the Cauchy distribution is undefined and the variance of the Levy distribution is infinite, so Gaussian is really the go-to distribution.
Low iron levels resulting from infection could be key trigger of long Covid
I am wondering at this point if Apple is going to make it a full decade without upgrading the base memory capacity.
300-odd feet isn't that long, especially if you can't go "the direct path" and are going around rooms, or connecting to a garage.
Probably was just a troll anyway that wanted to get a rise out of the devs, and never even sent any emails or anything in the first place.

“Now I hear news of a lawsuit. Probably from my awareness effort, maybe not.”

This claim would’ve been more credible if it was made before news about the lawsuit broke.

Thankfully the devs knew how to respond: “Linux would have solved your issues just fine.”
I am struggling to appreciate how this is _not_ a completely flawed workflow. Are many teams doing this? What is the workflow like that benefits from this? What's the "shit not _that_ branch":commit ratio?
your comments are so light gray that I need to select the text to even read it. it seems like consensus is that it is trolling.

Spotify did take care of themselves. that is what we are seeing the result of now.
How did you "commit locally" with Subversion twenty years ago? And if "local commits" were a thing, what was Svk for?
If buying isn't owning then piracy isn't stealing.
Two alternatives - Wikipedia models and Google Docs style models

Wikipedia - collab code and it just keeps everybody's edits and you can branch wherever.

Google Docs - inline marking and writing all over the code. Color segments for different users, ect...
The article mentions that SpaceX has landed on the moon once, and tipped over. The moon is harder to land on then the Earth - less gravity and atmosphere.
The HumanEval benchmark scores are confusing to me.

Why does Haiku (the lowest cost model) have a higher HumanEval score than Sonnet (the middle cost model)? I'd expect that would be flipped. It gives me the impression that there was leakage of the eval into the training data.
The car will still function if the IoT capability dies, it will be someone else's problem (and there is likely a market for those vehicles for people who need some wheels vs no wheels). I think it is highly unlikely though, as the vehicles use connectivity for navigating to fast DC charging stations (and access to station health and availability is a core value prop of an EV with in vehicle navigation, for determining charging waypoints along a route based on vehicle state of charge, station availability/congestion, etc), so it is my opinion IoT support won't be abandoned (I can't prove this, wild speculation on my part, only time will tell). Assuming it won't be abandoned for this core platform need, that also leads me to assume convenience features won't disappear (again, wild speculation), because it is trivial to support this capability over the existing interface.

Nissan's CEO once said the battery packs are outlasting the rest of the vehicle, so the final disposition of all EVs eventually will having the battery packs shucked (either for pack reuse in stationary storage, or recycling of the pack into raw materials for new batteries a la Redwood Materials), it's really just a matter of "what is a reasonable service life before the car falls apart but the battery is ready for it's next job." You can't look at this through the lens of combustion vehicle service life due to the improved optionality.

In the specific case of the Nissan Leaf, the powertrain tech is old, and doesn't support fast DC charging (max is ~62.5kw). They are golf carts waiting to be recycled.

https://electrek.co/2019/05/24/nissan-leaf-batteries-outlast... ("Nissan says its Leaf batteries will outlast the car by 10-12 years, looks for reuse solutions")

https://electrek.co/2021/02/24/tesla-co-founder-jb-straubel-... ("Tesla cofounder JB Straubel will recycle Nissan Leaf batteries at Redwood Materials")

https://cleantechnica.com/2022/09/21/surprise-nissan-leaf-ba... ("In fact, many EV batteries may outlast the vehicles they are installed in, then enjoy a second life in a stationary storage application before finally being recycled, according to EVANNEX. “At the end of the vehicle’s life — 15 or 20 years down the road — you take the battery out of the car and it’s still healthy with perhaps 60 or 70% of usable charge,” Thomas said.")
I don't think Intel has revealed that officially yet but I expect each die has 36 tiles and each tile has four E-cores sharing an L2. The mesh and L3 are probably the same as in Granite Rapids.
You can use more external displays using a dock and DisplayLink Manager though. I got three extra monitors to run on my M1 Air with no problems that way.
Trading Desks Trade Less, Lend More
Helicopters can auto-rotate if you lose power, I'd be interested to see what it's like to deadstick land one of these. I guess that's what the whole-aircraft ballistic parachute system is for? IIRC in other airframes if you deploy that it's basically a write off.
What website were you on? 3gb for a Chrome tab is just plain unacceptable in most cases
> The other platforms built their walls secure enough that they don't bother.

The other platforms have also way less exclusives. The PS5 has a grand total of 12 exclusive games listed here https://en.wikipedia.org/wiki/Category:PlayStation_5-only_ga... . Why even bother?
Looking from the perspective of Apple, the whole situation is really annoying. Let me play the devil's advocate here. They built the iPhone, iOS and all its frameworks and the App Store. Now they are forced to act as essentially a public service provider. Philosophically, the amount of users they have shouldn't necessiate them to be treated as one. But you know, everyone wants a piece of the cake Apple thought they baked under their own terms. It's quite telling that this regulation comes from EU which are not getting nearly the tax and revenue US gets from Apple.
I suspect middle-mile has more trusted crews, this was literally "last hundred feet" or so. He did say he had pretty long pre-termed.
I guess in that case, at least it's done by a C developer...
It's just a succinct abstraction.
Yeah, cause these are the kinds of very advanced things we'll use these models for in the wild. /s

It's strange that these tests are frequent. Why would people think this is a good use of this model or even a good proxy for other more sophisticated "soft" tasks?

Like to me, a better test is one that tests for memorization of long-tailed information that's scarce on the internet. Reasoning tests like this are so stupid they could be programmed, or you could hook up tools to these LLMs to process them.

Much more interesting use cases for these models exist in the "soft" areas than 'hard', 'digital', 'exact', 'simple' reasoning.

I'd take an analogical over a logical model any day. Write a program for Sally.
I love that, what's it from? (My Google-fu failed.) Unexpected responses are often a joy when using AI in a creative context. https://www.cell.com/trends/neurosciences/abstract/S0166-223...
I wonder what btop would look like running on that hardware?

Would you just display an average of 24 cores, so it would look like 12 aggregate cores?
This is how objective fact is made objective: comparison. When I say 'The Eiffel Tower in in Paris, France', this is an undeniable and objective fact. You can't refute it, unless you compare it to another statement: 'The Eiffel Tower is in Berlin, Germany'. It could be. The tower was probably deconstructed and shipped in parts and re-assembled there. The only way to ascertain this counter fact is to go there and prove it, comparing your facts against each other.
So one leaves a partially kidding but accurate comment and it gets flagged? A. Some folks should lighten up here... B. the previous comment should not have been flagged.
For context this is a tool deployed by a Chinese based threat actor referred to as LightBasin [1]. I believe them to be an adjacent team to the more well known Mustang Panda [2], but focused specifically on access to telecom infrastructure.

1. https://malpedia.caad.fkie.fraunhofer.de/actor/lightbasin
2. https://malpedia.caad.fkie.fraunhofer.de/actor/mustang_panda
Even at a logistical / production level.. having all theses different units, options, suppliers, information, incompatibilities, tests, after sales.. insane.
I didn't really care for Switch games till the lawsuit. Yuzu runs pretty well!
That's why we need to push a desktop-centric internet, not a thin-client/endpoints one. People MUST learn to store their data, distributed storage must became the norm for public stuff, so anything someone value will be preserved.

Just start with Zotero to have your papers LOCALLY (not on Zotero cloud), it's a small simple step anyone have enough storage to make.
You could develop novel lens shapes, for one.
Yes. From the post:

> In follow-up posts I’ll dig into how we can use this to support interior references and other advanced borrowing patterns.

[..]

> But also [current] Rust is not able to express some important patterns, most notably interior references, where one field of a struct refers to data owned by another field.
Does the M3 MBP get more displays that a MacBook Air with an M3? I thought it was a hardware limitation with the processor.
I think the trick is it has to be able to "sit up" during takeoff, landing, etc.

So they'd have to design something really complicated, or get the governments to change the rules.
Yeah this is exactly how I think of it. I think "graphs" are just at a different level of the abstraction hierarchy than the data structures they're often grouped together with.

This is even further up the abstraction hierarchy, but to illustrate the point, nobody really wonders why languages don't ship with a built-in database implementation. And it's the same basic reason as with graphs; one size doesn't fit most.
There look to be an awful lot of forks created in the last week:

https://github.com/roblabla/yuzu/forks?include=active&page=1...

Considering the ongoing attacks against GitHub whereby people are creating repos with malicious code, it's probably wise to be bloody careful of any of these yuzu forks. :( :( :(
Stating the obvious but it probably depends on your gender, sexual orientation, and skin color (to a name just a few).
* $1,499
The complaint listed the company (a German Unternehmergesellschaft; which is basically an LLC), but my name and many others too.
I use worktrees very rarely. For instance, if I'm trying to figure out some very hard to reproduce bug that disappeared between one revision and another and I need to examine the code. I can't just bisect if the feature set or interfaces are different so I need both versions of the code. Sometimes I cherry-pick around to restore some similarity.

But for this two-patch flow, I'm just going to use two branches.
I'd just like to interject for a moment. What you're referring to as AI, is in fact, Machine Learning, or as I've recently taken to calling it, Machine Learning plus Traditional AI methods.
The Skyrocketing Costs Driving Cheeseburger Prices Up, and Restaurant Owners Out
I know there are a lot more lines and I didn’t count any of the imports from systemd either. 300 loc (machined) vs 3000 loc (systemd) was the closest comparison I could think of without crawling all imports and deps.

Would be happy to update with a different comparison you think is more fair.
You're a couple decades too late: https://graphblas.org
The suggestions here:

flatten a landing pad

make a moon highway

Moon GPS (2 votes)

stupid-wide landing legs

Dynetics lander

spherical lander

mechanism to push itself into upright

land sideways (ok this was a joke right?)

I couldn't find the relevant XKCD but I remember one along the lines of "why did they just do Y?". I say all of this in jest, as this is what we do here at HN: give our opinion on areas outside our expertise.
This is an interesting article but one major effort it doesn’t mention is the Boost Graph Library [0].

It is kind of clunky in places because it is written in C++03 and uses some weird idioms to simulate keyword arguments and provide generic ways of getting attributes for nodes. Also it suffers from the terrible template instantiation errors that most C++ template libraries do. But I still think it addresses a lot of the difficulties covered in the article:

> There are too many design choices

BGL is limited to directed/undirected multigraphs, so hypergraphs are not supported. However I think these cover most use cases.

In terms of implementation choices, BGL provides several concrete data types, such as an adjacency list and an adjacency matrix. It also provides adaptors for the GraphBase and LEDA graph libraries. If none of these are suitable you can write adaptor functions to support your custom data type. All algorithms* work unmodified on these concrete implementations.

> So which algorithms should come with the library?

BGL comes with most of the common ones [1], but I do wish it came with more. The implementations of them are quite hard to read because they are written in highly generic (and before many of the conveniences offered in C++11) C++ code.

> Performance is too important

Since BGL is generic using C++ templates instead of runtime polymorphism, it should (in theory) be able to work with a concrete graph implementation that is performant for a certain task and so let you reuse its generic algorithms.

I think the article describes a lot of the difficulties that Stepanov’s generic programming approach tries to solve (e.g. finding the most abstract but still efficient implementation of an algorithm, writing algorithms that depend on a limited set of type requirements, having many data types that can reuse the same algorithms). While C++ supports this style of programming it is not ideal for it, but I think BGL is the closest thing I have seen to a generic graph library that is also performant in many cases.

*Algorithms have varying requirements, e.g. some may need to be able to remove edges while others do not. But these requirements are generic and can be fulfilled by many different graph implementations.

[0] https://www.boost.org/doc/libs/1_84_0/libs/graph/doc/index.h...

[1] section 22, https://www.boost.org/doc/libs/1_84_0/libs/graph/doc/table_o...
I'm trying to imagine the code behind this ephemeral username strategy. I imagine a kv store under Signal's control where you are allowed to set a key "username23" and a value "773-510-8601" and the cool thing is I can make a lot of keys that point at my phone number.

Maybe it's more complicated than that?
Carriers don't want to do a stop unless they're offloading and onboarding passengers, so they'd rather run one flight to the intermediary, and another direct.
Hmmm. No expert here but wouldn’t that thing be target practice for a MANPAD in war?
I think that the data in the article shows it's not just "all lottery tickets" - there's a meaningful difference between the odds depending on stage and "top tier" VC's do make a difference - just because your anecdotal experience doesn't align with the data doesn't mean the trend isn't there. Looks like the authors run a site where they highlight the best startups to join, and include other factors like headcount growth and traction so you're not just relying on VC pedigree.