skysight-inc/HackerNews huggingface dataset:
I discovered this myself yesterday. I suddenly saw a drop in performance after an update and ran a phoronix benchmark I have been running to see results from my overclock. I got a 5s (~8% ) increase in timed Linux kernel compilation.

I turned mitigations off and was back to normal. I was going to try to figure it out today, but this is probably it.
I find those awfully long, very sparse, and not much bang (solid content) for the bucks (time spent).

Two great funcprog resources that I know of are:

1. Functional Programming in Haskell by Graham Hutton [0]

2. OCaml Programming: Correct + Efficient + Beautiful [1]

[0]: https://youtube.com/playlist?list=PLF1Z-APd9zK7usPMx3LGMZEHr...

[1]: https://cs3110.github.io/textbook/cover.html
I'll check that out in the morning, thanks. I think I changed my network DNS for troubleshooting and forgot to change it back.
> "Every" is a pretty big word, and it's a pretty immature attitude to write off whole groups of people.

"Every" usually doesn't literally mean "every", but I'm sorry that my experience across several large companies is that the people that demand following "Agile Ceremonies" are by-and-large Project Managers, and (with rare exception) not the engineers or the technical eng managers. I've seen this at multiple large companies. And I remember clearly how much awesome, robust software we shipped before Agile creeped in around 2008-2010, to then be told we were "doing it wrong" because our work wasn't broken down into 2-week sprints.

> if you ship the wrong stuff

Two-Week Sprints are neither necessary nor sufficient to avoid this.

> It's a common attitude among immature devs who can't get beyond the whole "I have the most important job in the company" mindset. I'd expect it out of a junior dev, but someone who has 13 years of experience? That's not the flex you think it is.

That's super ad hominem. I'd rather hear a specific counter-argument on the necessity of Agile sprints.
It sends a message to people that unless you're Elon Musk you'll get fucked over if you try this.
I appreciate the inversion/melding of the data model and compute. Im curious to know your perspective on two parts:
How would multitenancy fit in to rama? Using your mastodon example, providing “hosted mastodon instances as a service”, where you _also_ allow for data governance, per customer encryption at rest, user IDP support, etc. Is it multiple single tenant rama deployments, running independent customers? Multitenant rama clusters with shared depos and each pstate includes “tenant id”? Something else?

Second whats the product/business angle on customer confidence, technical novelty, and your business core competency? A dated example but Im thinking of somewhere like basho with riak. Super cool tool, takes some mental adjustment to “get”, challlenges selling hosting vs software vs pro services.
IonQ Says Reaching AQ 64 Will Be a ChatGPT Moment for Quantum Computing
Space X is proving without any doubt that the space exploration can be done significantly cheaper by private company.
Yes, it does. It’ll work with anything you can write a Terraform file for.

In the case of Kubernetes, for example, you can use the Kubernetes provider or even just Helm to deploy your pods.

Great idea to add ECS/Serverless specific examples. Thanks!
I'm really curious to see where that investigation leads - have you done any comparisons between Llama 2 and the embedding focused models? I wonder if it'll be better able to provide more 'intuitively correct' similarities?
Huh? I’m not invested in China anymore, so it isn’t important to me. I never had the balls to buy Chinese real estate, but another (also foreigner) friend of mine bought a few apartments in tianjin and Beijing. He is still alive water, at least.
Ends don’t justify the means.

And this has nothing to do with institutional problems, and more with the fact that if original author (or you for that matter) don’t like how Twitter became, simply don’t use it and try to convince others not to as well, that way Twitter might change what it’s doing. If you’re going to go along and still pretend like you’re not in agreement, people won’t buy your sentiment for long, especially if you’re building tools to enrich it.

I’m not saying you can’t build your product, but own what you’re selling, it’s hypocritical to do that while blaming Elon or new Twitter for what you’re building as if you’re not the one who came up with the idea and made the choice.

I would recommend you look into a Ludwig bin Mises book called Human Action, where he discusses purposeful behavior as distinguished from reflexive behavior in that an observer imputes a goal to the actor. For an action to occur, the actor must be in a state of unease, imagine a more satisfactory state, and believe that purposeful behavior can reduce the uneasiness

So back to my original point, if you’re going to “hate the system” yet participate not only in existing in it, but producing tools to empower it and it’s methods, then you are part of it and it’s hypocritical to complain about it.

As for your own comment, I think your ideological hold is roaring, calling my comment a waste of energy just because you disagree also shows high tendency for being shallow and oppressive. What you think is the point and the actual problem might actually not be, other people can disagree and share their moral value judgments. What you see as division is actually conversation, a way for any human to grow and learn. I hope you grow more eloquent in your methods of expressing yourself in the future.
Greatly depends on your environment. I am thankfully in an area where there are very modest timeliness requirements. Improving the speed of a job means little to me. However, improving debugability or checkpointing when things go wrong is always valuable.
You seem very familiar with this topic... have you ever evaluated 'tinc'?
You position your argument as a consumer, not a producer.

Under your suggestion I can take the GNU source code, add some stuff, fix some bugs, and release a binary-only version (presumably for money).

Under your suggestion, authors would have no control over their work at sell. Uou made z great text editor? Great, I'm using it in my proprietary closed-source IDE.

Under your suggestion there would be no balance. Without the stick of virility there can be no carrot of "publish our source code".

In the long run, the lack of copyright would hurt OSS since much of OSS is funded, directly or indirectly by commercial closed-source software.
> I would say any essential service (like access to internet, roads, healthcare, etc…) that requires for money to be paid to the government is taxes. There is no way to get access to the internet without paying these taxes to the government, and your suggestion to implement a private-land-only infrastructure is silly. There is no contiguous area of private land between my house and an ISP POP that doesn’t cross over publicly owned land.

If it's both an essential service and effectively impossible to implement without making use of public land (and I don't disagree), then there's no reasonable basis for it to be a private industry operation at all. These ISPs can't have it both ways.
my first way of showcasing this was by taking a spare computer sitting around the office then writing a little python script that used and LLM to parse information out of file names that our finance team would use to label rebilling invoices. the invoices included the client, payment date, amount, late payment status, etc write in a concluded an completely non consistent file name.
the little office PC had 16gb of ram so it was usable for an LLM via the CPU and I just let it run for like 2 days.
I continued with my normal work and when it finished I had an intern spend 1 whole day validating just 6% of the data and found it to be 97 percent accurate.
I made some obvious changes an was able to fill in that 3% gap.
(later we did find a hand full of errors but over all you could consider the validation 99% accurate)

While it really resonated with my management I felt worried I wouldn't be able to replicate these kind of results on other projects.

THE ONLY REAL ADVICE I CAN GIVE ON AI PROJECTS IS . . .
don't let your managements expectation of LLMs out weigh its capabilities.

I'm sure I speak for many people here when your non-tech fluent directors get together and think GPT4 is some sort of deity.
GPT4 smart (or used to be at least) ill give it that, but small locally hosted 7b/13b LLMs are very limited and people for whatever reason get AI infatuation the second they finally see you show direct value in it they will lose there shit in its assumed capabilities. you got to be direct with them that no matter what dumb video they saw on Sam Altman, what your are proposing is not that. Be very clear in its possible scope because there is some idiot in our organization that will assume assume you can programmatically answer prayers.
I actually had this guy from our networking team try and raise a concern about the LLM going sentient and us having a "Skynet" problem. granted this was back in march/2023 so AI histira was a little more rampant but still.

tl;dr
my recommendation for your pdf project is run https://github.com/oobabooga/text-generation-webui.
if your can get a 30 series GPU in your company
Then run a 13B 4bit model that can pull info, assign tags, run minor analysis on your text.
else find a spare 16gb machine and do the same but but over a longer time scale.

run a prompt that checks for hallucinations.
"does the following text make sense? previous prompt + text
if yes
then keep
else
make intern do it.

GPT-j-7b is still one of the best models because it has indexing & categorizing at the main prosperous.
other models are great but core idea behind LLMs is that its just a high level auto complete
Another interesting thing I got to know recently is that during the Carboniferous period, trees would grow old and fall but not rot since the bacteria and fungi had not yet evolved the enzymes to digest them [0]:

[0]: https://en.wikipedia.org/wiki/Carboniferous#Rocks_and_coal:~....
They're right to be angry, traditional owners and working class under insured residents will be poorly served. With the best will in the world the state doesn't know how to handle this situation "fairly" because it's so contextual what is Fair.

Somebody who walks away may get nothing. Somebody who accepts enough grant and aide may do better to sell out unimproved cleared land to a millionaire. Somebody who is determined to stay may luck out for assistance, land value and insurance payout and have lost everything.

Everyone in Lahaina has significant health risks ahead of them, fire leaves complex toxic waste behind including very possibly mobile burnt asbestos from older 1960s and before homes (it was used as a construction material well beyond knowledge of its risks) which will be fitfully cleared up. PM10 dust gets deep in the lungs, and lots of bad water soluble chemicals will be around.
The 100x less code always reminds me of a hypothetical Half Life 2 game engine.
Then your code would be:

StartHalfLife2LikeGame()

and you'd replace millions LOC with one line. If there is a perfect match between the framework and your app, there is no code. The more your app diverges from the ideal app the framework was written for, the more code you have.
I'm doubtful about that. A1111 is what I called a "first-generation frontend". Both it and all of its extensions follow a specific model for its usage - in general, every tool is contained on its own tab, with each tab having buttons to transfer the outputs into other tools. Radically changing this model would require rewriting so much that it'd just make sense to use a different frontend in the first place.
Indeed, at least there's a TC39 proposal for that. It should be the default for all statements and it's shocking that python went to define the new match clause to be just a statement and not an expression
It's useful. It just need a note about the cyclic nature of it and the place of ego

* Forget about glory and peer recognition. One day you'll die and as time passes you'll be forgotten, including anything you made. Don't waste energy fighting it, just embrace it and carry on. Do it for that 1 mn moment of bliss when you found something nice.

* Accept repeated failure. It's ok.

* Spend time to learn why attempt N failed before going to attempt N+1,

* Before attempt N+1, go out for a walk, cook something nice, do something with your kids, have a beer, watch a movie
Back in 2011, I was doing the inverse where I connected my MBA in Target Disk Mode for my iMac to boot from. It was like a fancy external display that also provided excellent performance. Rather exotic, but no headaches of maintaining two installs, synchronizing files, and so on. A fun anecdote from the same line of thinking. Nowadays there is no reason to overcomplicate things. To use the MBA as a screen, you'd need a capture card. Hard to recommend that.

If you're really worried about throttling, at home you could put the MBA on a cooling pad. Naturally that only makes sense if otherwise it's fast enough for you. Perhaps just get the MBP, based on your reply to another commenter. In any case, a couple of pounds are not worth the hassle of having two machines. Do consider offloading some work to the cloud.
The pulp does, as discussed in the study I linked.
Peter Pan fought Captain Hook for the same reason.
It seems that the main and only problem "solved" by SCRUM is the awkward situation where a freelance-team or solo developer happily present the result of their (web-, ux-, app-)implementation that took them half a year, the customer realizes they wanted something else and both are angry at each other.

So now SCRUM has a feedback cycle that prevents that from happening.

It makes sense for UX and interaction-heavy parts, but not at all for systems and backend programming, which are much harder to divide into a workable backlog.
Moving from Google authenticator to another application is extremely simple.

I don't know why the author has so much trouble transferring 2FA. You take a picture of a QR code and it's all done for you. (This is also a good way to backup your tokens on a different device)

With that being said I love my yubikey and want to try this app.
That was their bullet point number 2:

> I'll maintain full ownership to the software, and will not be accepting code from other people (or doing anything that complicates my rights of ownership)
I have seen some benefit on A100s only but am unfamiliar with how to get any nvlink gains on RTX cards. Monitoring vanilla pytorch DDP in nvtop on RTX, I haven’t seen PCIE bus transfer speeds approaching the theoretical max. The OP uses bifurcators in his 8-gpu box so clearly OP does not seem to be bus-limited.
Ubuntu Operating System
For Provident Ecopolitan Where can i get the free ubuntu operating systems
https://www.providentecopoliten.net.in
Snow isn’t a problem, it’s the ice that does you in.

I’m sure it would feel like a lot to you, but Chicago doesn’t really get a lot of snow or ice. Prevailing winds in the winter are out of the northwest. The majority of the moisture picked up from Lake Superior gets dumped on the Upper Peninsula and Wisconsin before reaching that far south (Lake Michigan moisture is dumped in western Michigan and northern Indiana).

Biking infrastructure in Chicago is good in wealthier areas and pretty bad in poorer parts. There is definitely an element of unequal funding, but you have to understand that Chicago’s municipal system of government puts a lot of power at the hands of the alderman - they are like little mayors of their wards. If the people in a ward want bike infrastructure, the alderman will find the money for it. If the people in a ward don’t want to give up car lanes for bike lanes, it’s not going to happen. And that’s how they feel in the poorer areas. There have even been instances of bike lanes being removed in some neighborhoods!
The link is not correct.
This was apparently the final straw for me. I have no interest in using the default interface nor in paying for TweetDeck. I logged out and have no intention of logging back in.
> You don't need any of those frameworks unless you're looking to give away control of your product to the roadmap of the framework

Have... Have you seen the roadmap for web components? 20 more specs just to barely patch holes in the original design: https://w3c.github.io/webcomponents-cg/2022.html
As someone who can hear fine and knows basically no sign language, that feels a bit like asking anyone why they prefer video chat to text chat. Text chat is almost always just slower. I can have a day going can and forth with someone over chat, or I can call them up and get the problem sorted in fifteen minutes.

Obviously there's still cases where the discussion is small and specific enough to do over chat, or other cases where slower, asynchronous communication works better because I went to do other things at the same time, there's no one-size-fits-all communication method, but talking (be that via English, ASL, or whatever other language) is very useful to have in one's toolbox!
I’m not an expert in this but my “does that feel right wrong” sense isn’t going off

Pixel 5 is 2-3 years old. CPUs aren’t doubling in speed every 2 years, but let’s very generously say we expect current designs to be 4x faster than 2-3 year old equivalent.

Apple silicon is faster than other ARM chips, so if we imagine that’s another 2x we’re up to 8x

Common wisdom is that “real computers” are faster than phones, but the difference between the A16 and M2 is less than 2x for multi core, and much much less for single core benchmarks. Rounding up, another 2x is 16x

Maybe there are characteristics of the two devices which make this more surprising, I’d be interested to learn more.
StackOverflow used to run on a single (very beefy) machine also for a long time — databases make efficient use of vertical scaling, horizontal scaling is much harder.

Of course, specialist systems can often do much better.
Right! Yes absolutely!

It's wrong because the measurements are suggestive of possibility, rather than certain of it.

If we observe an asteroid that with two poor measurements is determined to be headed away from Earth, that's the end. Look no further.

If we observe an asteroid with two poor measurements that has some significant chance of hitting, more and better measurements are made. Then very often those better measurements show it was never actually going to hit anyhow.

But we never would have known without the better measurements, and we never would have devoted more time to making better measurements without a reason to do so.

A 3% chance that never occurs is because that 3% is based on data that's at the limit of what the telescopes can provide, not based upon bad math.
Right below your comment was another comment that started with,

"The truth is that a fork hurts everyone."

So, which is it?
To simplfy, let's assume you have perfect knowledge of everything else & that the only variable that matters is asteroids current position. By triangulating observations you have a point estimate. Due to calibrating your instruments in the past you know that they tend to have uniform additive noise that is the same in each dimension. Let's say it shifts measurements by up to 1km randomly.

So the best guess you have is that the true asteroid is 99% likely to be somewhere within a 2km box centered at the observation point.

For each possible location in this box you use it as a hypothetical starting point and run a simulation forward creating a trajectory. In 3% of these trajectories the asteroid hits the earth.

The 3% is only a probability over the measurement uncertainty. It represents our knowledge about the system in a bayesian sense. The true asteroid was always ever going to hit the earth or not. There is no uncertainty inherent in the system.

That many asteroids have non negligible probability only means the physics is sensitive to initial conditions or that the measurements are loose. (Both are true)
Clearly the American government is failing at providing enough opportunity for smugglers.
Create Google API credentials in 50 easy steps
Yep. This is exactly my experience.

You don't need to get crazy about things, but having the defined time periods forces people to actually think about how they're going to deliver things.
All three of these are valid:

1. X is just an eccentricity --> Noun (countable)

2. X is just eccentricity --> Noun (uncountable)

3. X is just eccentric --> Adjective

For (2) see: https://en.wikipedia.org/wiki/Mass_noun

(1) is probably the best in context here, i.e. "an eccentricity of the UK legal system"
News from June 15, 2023
Not really. Social skills are just that - skills. How you apply these skills, whether you choose to apply them is a different matter. There are many non-toxic people with social skills who do not flourish in these corporate environments.
Moreover, I have met many successful people who are mostly just manipulative and not what one would call naturally social. Maybe that also falls into the "social skill" category but I would differentiate that.
The whole tirade on rigorous proofs and colonial mindset puzzles me.

From my understanding (I am European ...), rigorous proofs were increasingly seen as a need because as things like calculus progressed, any loose definition had a tendency to become a minefield. Think of the definition of derivatives, continuity. Also, at a time where things were getting mechanize because we could and it was a gain, it was natural to check if we could somehow mechanize math. After all, Pascal made a machine that could do sums, why not a machine for proofs ?
Yes, I'm lucky. I was born a white man in an occidental country, which is admittedly a privileged position.

Also, I'm living in a country which still pretends to be a democratic republic, so blatant oppression of free speech is politically more complexe.

If capitalism plays a role in all that, it is more often to threat these liberties than anything else. Plutocrates are on the rise, and they want trade secret to protect their businesses from republican values and dream of always more defenseless labor forces that are not granted all that cumbersome rights that democratic freedoms grants.

Is capitalism a solid ground to critic CCP? Not necessarily, trade with China to access its cheap oppressed working force seems to be a good deal from some capitalist point of view.
What you're describing is called "open core". It's a pretty common business model for open source companies, including GitLab and JetBrains.

Usually this is done with a permissive license—GitLab is MIT, IntelliJ core is Apache 2—but iText PDF does something similar with AGPL. My understanding is that if you actually retain full ownership and accept no outside contributions, then you're not obligated to follow the terms of your own license. AGPL is just the terms on which you let other people use your code.
Ah okay missed it. So not QF. I was hoping someone does QF at home :P