skysight-inc/HackerNews huggingface dataset:
Safari is slower, though? From the sibling comment:

https://treeherder.mozilla.org/perfherder/graphs?highlightAl...
It's just scale. But scale that comes with more than an order of magnitude more expense than the Llama models. I don't see anyone training such a model and releasing it for free anytime soon
Peer group as in friends? Or peer group as in coworkers?

I'm friendly with my coworkers, and some I may even call friends, but I certainly don't need my job to be able to make friends wherever I live. I can do that without the company stepping in to do the decision making for me. Companies all argue we should all be family, and my coworkers should de-facto be my friends, which is wrong to assume.

If you mean peers as in coworkers, well usually most people are just assigned to teams. So you meet people through that and eventually get to know them, remotely or in-person, doesn't really matter imo. I'm relatively close with plenty of my coworkers whom I've only met a couple times in person over the course of 2-3 years.
slightly off topic but there is a lot of usage of "DEI" and other.. buzzwordy terms used in specific circles. is this the norm for HN now?
I understood PP's concern to be about excessive flash wear due to swapping rather than tiered memory pricing.

Regardless, "markup" probably isn't the right word, since Apple is the supplier of its own SIPs.

DIMMs would likely be cheaper to the end user per gigabyte (and possibly upgradable!) but it's not really an apples-to-apples comparison vs. in-package memory.

Flash storage is perhaps a better comparison and it certainly isn't cheap, but you can easily add fast Thunderbolt storage.
Ask HN: CoPilot or such users, give us a review of your experience using it.
> Can't you make the expected location of the data part of the checksum?

Yes, and in fact we do this already in TigerBeetle (specifically towards solving misdirected I/O, along with hash chaining). Coincidentally, we used to use Blake3 but have since moved to AEGIS for hardware acceleration.

However, and this begins to hint at the problem, but redundancy alone is not sufficient. For misdirected I/O, we are already encoding more into the checksum...

And, PAR goes beyond this. For example, how do you disentangle corruption in the middle of the committed write ahead log, from a torn write at the end of the WAL due to power loss? For this, to solve this correctly (to decide whether to repair a committed operation or truncate an uncommitted operation respectively, for correctness and high availability), you really do need two WALs... and integration with (or awareness of) the invariants of the global consensus protocol—as the paper motivates.

This is a foundational design change.
Paging majke who used this a lot at Cloudflare at one point.
This syntax looks almost exactly like Swift, which is also where it borrows its semantics from.
Lawmakers approve bill allowing French police to tap devices to locate suspects
> I don't think I need to be a SCOTUS judge or powerful Senator for those opinions.

The world isn't fair. Unless you think you can imminently effect political or judicial changes, you need to ACT in the world according to how the law ACTUALLY WORKS, not how you think it morally OUGHT to work.

> As for other opinions, it's not solely "my" opinion that US copyright law is automatic and thus needs to be proven when copyright doesn't apply.

You've completely lose the plot here. This is completely irrelevant to my last two posts.

Automatic copyright -- or fuck, even specific terms saying "you owe me a billion dollars if you use this as training data" -- doesn't help you if training is fair use. Fair use is an affirmative defense to copyright violation. And these companies are arguing that using copyrighted data is fair use. We'll see. But if using text as training data turns out to be fair use, then you'll just be wasting your money and in some jurisdictions possibly risking counter-suit if you try to enforce your copyright.

The question is not whether you have copyright. You do. The question is whether the courts will grant model trainers and users an affirmative defense against your copyright claims.
How does that work? Does it mean that for every token generated it has to page areas of disk into RAM and then back out again?
For an in-depth understanding of filesystems, I highly recommend "The Design of the UNIX Operating System" by Maurice J. Bach. It might be an older book, but it covers filesystems in a comprehensive and insightful way
Had to go to the link to confirm whether this was the projection language or the region language.
Biggest by population by a wide margin.
I think some comments here have lost track of how absurdly labor saving simple PLC applications of computers are. There is a lot less farming duties to do when the computers manage irrigation and keep track of schedules.
I disagree. Syntax is the thing everyone loves to comment on because of the bikeshed effect, but it's probably the quickest aspect of a new language to learn. If you're already creating a new language and have the opportunity to fix some things that make older languages harder to remember, parse, or type, why not take it?
Does anyone have a download link?

I only see a "request" to download it. That's not what I would consider "open source".

I hope someone makes a big ZIP with all the model sizes soon just like with LLaMa 1.
The other part of this is "meaningless resume heuristics" - If you have the skillset for it, and are looking - look for software jobs outside of the traditional tech sector, in telecommunications for example.

I had a friend who made this transition, and hes much happier now.
Alternatively, where the semantics are different to existing languages, try to make the syntax different too. Languages which look the same as existing ones and behave differently are pretty rough going for newcomers and anyone programming in multiple languages.
Has anyone in this subthread actually read the papers and compared the benchmarks? LLama2 is behind PALM-2 on all major benchmarks, I mean they spell this out in the paper explicitly.
Cameo announces more layoffs as celebrity greeting market shrinks
> I've never seen anyone argue that allowing unused variables is good for production. It's always been about facilitating the development process and debugging. Yes, I am aware now there are unused variables, but please just let me see what does removing this part of the code do.

Yes, but once you allow that, you'll inevitably end up with unused variables in production code (warnings are useless). That's the core of the issue and why the Go team made the decision.

In my opinion, the real solution is to have two build modes: --devel and --release. This would allow for not bothering devs with anal checks during development while preventing substandard code in production.

Though the real advantage would come from the reduced pressure on compilation speed in --release mode which would make room for more optimization passes, resulting in faster production runtime speed and lower binary size.
Don't many engineers just use their laptop as a thin client to remote into servers?
I use Safari as my primary browser, only for its tab groups implementation. In my opinion they just nailed it, I think it's much better than the Chrome one.
I would really like to switch to Firefox as I prefer it in every other way, but I don't think I will move until they offer a robust native tab group implementation (I've tried Simple Tab Groups but I don't want to rely on a hacky extension for such a core functionality).
The author, David Seddon, is also the author of the package [0]. So I'm guessing Kraken was an initial user.

0: https://import-linter.readthedocs.io/en/stable/authors.html
That's frustrating. I recommend using `pip` or `pipx` to install it instead if Homebrew doesn't work - provided you have a working Python 3 installation it should work just fine.
It would be a bit of a scandal, and IMO too much hassle to sneak in. These models are trained on massive amounts of text - specifically anticipating which metrics people will care about and generating synthetic data just for them seems extra.

But not an expert or OP!
I thought so, but wasn't sure.

That makes me super suspicious of 1.4B op/s. Surely Firefox isn't accessing the DOM in ~2 CPU cycles?
TIL gnomic. Thanks!

And if I knew whether or not it was nonsense, I wouldn't have prefaced the post with "I don't know." I was just suggesting that proxiful-wash's downvoted post wasn't completely out of the question.

The priors are suspicious enough: might a country that attempted to get the world to believe that the US created the HIV virus [1], successfully influenced a razor's-edge Presidential election [2], and plotted to stir up domestic racial conflict [3] try to handicap the US by originating and propagating counterproductive educational ideologies? It's certainly believable, but there's no smoking gun.

1: https://www.theguardian.com/science/blog/2017/jun/14/russian...

2: https://www.pbs.org/newshour/politics/senate-panel-finds-rus...

3: https://www.nbcnews.com/news/world/russian-documents-reveal-...
Doesn't mean anything.
> Sorta. They don't actually land, they drop the payload while hovering. So they do need some uninstructed space to drop the package, but not much. Works well in the suburbs and rural areas but awful in the city.

What's the plan there? Leave my package out in the middle of the yard to get rained on or stolen?
I really appreciate your thoughtful answer and there are a number of items you do that I should add to my list because I am doing them as well (green investing, etc). On this point:

> vote for political parties that take the climate catastrophy seriously and have actionable locally related action on their agendas.

In Canada at least we have on party (conservatives, natch) who either deny it or otherwise obstruct all efforts to counter it, and two parties that talk a big game but take no real action and do counterproductive things like buy pipelines.

So while I agree with the sentiment, there is no viable party that makes it a serious point that they’ll take action on. And from what I can tell the same seems to be true in most countries. Politics is broken.
Ahah, whoops. I thought they meant "abstract data types", ie, classes - which AFAIK Go does not have.

Yeah, then if they want algebraics then a functional language is definitely the answer here.
Ask HN: How can I find a cofounder?
I’m building a gamified product discovery platform and I’m looking for a co-founder, but many of the cofounders I meet try to pouch me for their own startup ideas and of the ones that are interested none of them are local to me. How can I find even a fractional co-founder, someone I can put on my pitch deck even in name only? Is there an app or a website for this?
Solving personnel problems with policy is unfortunately common at companies in the small-medium space. Very small companies tend to be more person oriented, and very large companies tend to have outgrown it (though they may still do it at the department level).

It is also one of the most annoying mistakes I see frequently repeated at startups and young businesses.
That works great until you want to see how many pizzas you sold of each size last year then you realize that you presented wrong data to the CEO because small pizzas changed price in January and large pizzas changed price in July. Your reporting only included the "current" products so the counts were all off.

The ideal schema would probably have some sort of "product" and "product revision". Orders would reference a particular revision and menu/reporting would use the product (joining in the revision).

But in this case since there are likely legal requirements to have exact copies of receipts it may also be smart to just archive a "fully rendered" copy as well to ensure that a code cleanup doesn't change rounding and accidentally modify the data on old orders.
I thought it was revealed to be fundamentally ensemblamatic in a way the others weren’t? Using “experts” I think? Seems like it would meet the bar for “secret sauce” to me
https://github.com/facebookresearch/llama/blob/main/LICENSE#...
I think one just needs DKIM, SPF and DMARC. I had to go through that configuration change sometime after 2008. I have no idea if domain reputation counts. I certain get no special consideration from google and my domain might be older. I guess one needs an ssl cert for clients on iOS.

panix.com hosts my start of authority for DNS and they probably have a product that might fit your needs.
Avoid writing java in python.

Don't stretch inheritance where where they are not needed - avoid factory classes unless you know for certain that it's called for.

Use pythonic stuff like @decorators and enjoy functions as first class objects.

Finally, try to avoid using an IDE. This keeps your files and folders structures simple and organized out of necessity. In Java it's almost impossible, but it's very possible in python as it removes so much verbosity.
AT&T does not intend to immediately remove lead cables from Lake Tahoe
> Like, github PRs are pretty shit, which is an opportunity for reviewable.

I've used a bunch of VCS's and managed solutions, and PR's are probably the _best_ I've had the pleasure of using. Working with perforce, everyone is one (or a small number) of long lived branch(es), chucking around WIP code as shelves. PlasticSCM/Unity DevOps Version Control (seriously, that's what they renamed it to) provides absolutely no support for a merge-based workflow other than some half-baked tools that barely work.
Opstrace was acquired by GitLab soon after launch. And signoz, in our minds is more leaning towards Grafana/Prometheus (and not particularly web app oriented).

I’m personally excited by the fact that there are other players in the space. It pushes us to move quickly and stay focused.

And I agree with your analysis, Datadog has proven that there’s a huge (and only growing) market for observability tooling.
Test leakage is not impossible for some benchmarks. But researchers try to avoid/mitigate that as much as possible for obvious reasons.
It’s noted a few sentences in that there is a separate lawsuit regarding the $56B…
You know most elite schools aren't just trying to accept the most academically successful students right? MIT and caltech are the exceptions, but all the other ones are optimizing for career success and donations. Having rich, successful parents makes you more likely to be rich and successful, so they accept legacies. Being one of the best in the world at a sport is a good signal that you will succeed at other things, like your career, so these schools accept athletes with worse academic success. When you remember that the goal of admissions is career success all the decisions make sense.
> It was brought by shareholder Richard Tornette, who claimed that "the largest compensation grant in human history" was given to Musk, even though he didn't focus entirely on Tesla

Not understanding how this something related to law? Either he was given the grant legally, or he wasn't. What does it matter how it compares to other people or what percentage of his focus was on Tesla?
Looks super useful!
Food delivery apps where the owner/CEO are largely unknown are vastly seen as a super cool net benefit.

The problem is that winners take all markets exist and they are all novel markets.

The population looks at the person who is in charge (or is purpoted to be in charge) of the winning organization, they see a face different than their own and then start shitting on the service.

Facebook is still the most used social media, and the one which is most useful because people use it to contact their friends or establish groups pertaining their interest in their local community.

I don't think cool back then meant an hyperpolitical social network where the only goal is to dunk on the next person (twitter) and not even a social network whose only use is to daydream of a life you don't have (Instagram)
Well, people can float. Also people can swim, so even if they were super muscular and lean and this made them incapable of floating (I don’t know if that happens), they could swim if they knew how. It sounds like hippos in deep water are incapable of swimming to the top. Based on what I am reading in this thread, they would simply sink. Humans, properly instructed, can avoid this by swimming.
Great to hear. What don’t you like about the log flare and log push approach?
> Do people not merge master into their branch before pushing? All that seems like mostly problem caused by having too long living branches.

Well, yes, but you have to run your tests.

The article outlines this scenario, but to give a more concrete definition, imagine your tests take 10 minutes, and this timeline happens:

10:00 Co-worker rebases their branch with master and begins the unit testing.

10:05 You rebase your branch with master and begin unit testing.

10:10 Co-worker's tests finish and everything looks green, pushes to master.

10:15 Your tests are done and everything is green. You try to push, but your branch is now out of date because master contains your co-workers changes! You rebase on master, restart your tests...

10:25 Your tests finish, it's green, and you finally push to master.

Ten minutes got wasted. It doesn't seem like a lot, but with enough engineers (Or long enough testing time), this scenario can happen a lot, especially with very short-lived branches.
So now we have V, Val, Vala, Vale. Any other language I'm forgetting?
Certain professionals, including journalists, lawyers, and members of the parliament, would be exempt.

Quelle surprise !
A linear programming (LP) problem is essentially just,
for positive integers
m and n and real or rational
matrices

1 by n c

n by 1 x

m by n A

m by 1 b

1 by 1 z,

maximize z = cx

subject to Ax = b, x >= 0

That is, an LP is a fully precisely stated problem in math. There is no randomness,
ambiguity, flexibility, uncertainty, etc.

Now when move to the real world and have a problem, e.g., in mixing animal feed, cracking crude oil, we have some real world considerations that are not really LP. But in some cases, maybe it appears, after some examination, that we can take the real problem and formulate it as an LP. The formulation may have some of these real considerations, but once we have our LP, all we can hope to get from the LP is the usual LP results -- an optimal solution, maybe infinitely many alternate optima (other solutions also optimal), some sensitivity analysis on how much we could change some of the input data and have the solution we found remain optimal, and some more, but none of this goes very far on resolving the real world issues of randomness, etc.

So, sure, maybe we (1) several times adjust the input data and solve the LP again, (2) move to non-linear programming (quadratic programming, the Kuhn-Tucker conditions, etc.) or integer linear programming, or (3) have some models of the randomness and move to optimization under uncertainty, e.g., stochastic dynamic programming.

Main point: There is (A) the math and (B) the real world, and the two are not the same. Hopefully the real world problem can be solved nicely with some math, but we should know when we jump from the (a) real problem to the (b) math problem and have good understandings of the relevant issues of both (a) and (b).

For a (crude) analogy, the math, e.g., LP is just a tool. E.g., recently somehow my plastic mail box got whacked with some cracked plastic and a hole in the top. Fixes used some tools, tape measure, hand saw, bridge saw, circle saw, hand planer, wire brush, electric drill, epoxy glue, spray paint, ... -- but none of these were directly "mailbox fixes" but just tools useful in fixing the mailbox. In this analogy, the math is not a real fix but just some tools that might yield a real fix.
Secure, performant, execute any code - choose 2. You have to choose an edge on this triangle.
Apple Maps, as it is today, is so much better than Google Maps. The UI is way more polished than Google Maps. The Google UI looks like it is designed by committee - it is so ugly and dense. I find it really offensive.

The Apple Maps has better directions for my city at least. The Google one re-directs me through side streets and weird turns into traffic crossing lanes at the last minute.
The a typing feature[1] in the language Eiffel was based on the assumption of the author that the typing holes it apparently introduced could be statically detected. It turned out he was wrong after the language was released IIRC. I guess you have to be pretty certain of something before basing a language around it.

On top of that being a generally shite language doomed Eiffel.

[1] IIRC again, you could cancel features in subtypes, so "all birds can fly" but "penguins are birds but can't fly". That would break the Liskov Substitution Principle, which Bertrand Meyer thought he could deal with but apparently couldn't.
There is a hierarchy of bugs involved here. Memory safety is a much more serious class of problem. Obstinately refusing to improve the status quo because it doesn't solve all problems is just plain bad engineering. Doubly so in this case where there exist the "n" variants of string functions that are massive foot guns.
This is what I don't understand.

The power of LLMs is that they can allow a human to interact with a computer using natural language.

Imagine just asking Siri to order you something and Siri finds the cheapest legit supplier and just orders it from them. It would remove the first hop needed to go to Amazon and unlike Alexa Siri is always with you. Google and Apple could do to Amazon what they did to Facebook.
Doesn't seem like a bad price consider how much other enterprise Saas products cost per seat. Costs do add up to hefty amount unfortunately.
Also has lazynpm & lazygit, which are similar-at-first-blush TUI (terminal UI) systems.
https://github.com/jesseduffield/lazynpm
https://github.com/jesseduffield/lazygit

That ability to navigate & go anywhere (lots of linkability) feels like something the web should be great at. But most interfaces (web or anywhere) tend towards heavy modal behaviors: they only do one thing at a time, have specific navigation affordances to get you to the next view. Having a couple different panes always-onscreen with some dedicated different bits of context in them feels sharp/smart!
Sure, but we use a stacked branch to solve the same problem that a merge queue solves - preventing semantic merge conflicts by predetermining a merge order.
> If you have to meet virtually with people in other offices, and do sync-ups with them, and use out of band tools to collaborate, are you really in-person?

Obviously there is a spectrum, but having worked at multiple FAANG companies, teams are generally collocated and a majority of your interactions are within your team. And of course these companies are only able to have many offices because they experienced a large amount of success when there was only one office.
The specific hottest temperature reading from Death Valley in 1913 is far from certain. The reality is we aren't sure how accurate that reading really was (turns out, measuring accurately temperature is harder than one might think). We're a lot more certain about recent temperature readings and aside from Death Valley there are far more records broken nowadays than in the past. For example just 2 years ago, Canada's hottest temperature reading was (121.3f) in Lytton BC. Before that, the record was set thousands of miles away. Lytton usually gets hot in the summer, but never that hot.
I think markdown reads very nicely in text form.

Title
===

Summary of the page

# H1 Intersting Topic

The most important part of [1] is...

## H2 What others say

> Quote from somebody. Callout something.

And then it's implemented like:

```
// this code is a demonstration of how to query foo
func foo() {
does_thing();
}
```

# Conclusion

You should use markdown to structure your documents.

[1]: https://example.com
Technically I agree but I think my point still roughly stands
I generally agree. Until the SD and Copilot cases are settled, there's a huge risk that training is Fair Use.