skysight-inc/HackerNews huggingface dataset:
"GDlog: A GPU-Accelerated Deductive Engine" (2023)
https://arxiv.org/abs/2311.02206 :

> Abstract: Modern deductive database engines (e.g., LogicBlox and Soufflé) enable their users to write declarative queries which compute recursive deductions over extensional data, leaving their high-performance operationalization (query planning, semi-naïve evaluation, and parallelization) to the engine. Such engines form the backbone of modern high-throughput applications in static analysis, security auditing, social-media mining, and business analytics. State-of-the-art engines are built upon nested loop joins over explicit representations (e.g., BTrees and tries) and ubiquitously employ range indexing to accelerate iterated joins. In this work, we present GDlog: a GPU-based deductive analytics engine (implemented as a CUDA library) which achieves significant performance improvements (5--10x or more) versus prior systems. GDlog is powered by a novel range-indexed SIMD datastructure: the hash-indexed sorted array (HISA). We perform extensive evaluation on GDlog, comparing it against both CPU and GPU-based hash tables and Datalog engines, and using it to support a range of large-scale deductive queries including reachability, same generation, and context-sensitive program analysis . Our experiments show that GDlog achieves performance competitive with modern SIMD hash tables and beats prior work by an order of magnitude in runtime while offering more favorable memory footprint.
While it's true that the individual employees creating ads probably studied the arts in some way or other (not necessarily fine arts; "graphic design" is a major not generally included in that category that would absolutely fit an advertising creator), the people who actually run them probably studied either STEM, or, even more likely, business/management.
Bibi had all the power to stop Hamas, but a secular Gaza isn't in his political interests.

https://www.timesofisrael.com/for-years-netanyahu-propped-up...
Yes. Hence the term "starving artist". Have you heard the term "starving engineers"?

Seattle has a large community of artists, always begging for government support, always working at low end jobs to make ends meet. The government funds theaters, the Seattle Opera, the Pacific Northwest Ballet, the Seattle Art Museum, and on and on.

A scarce few make a profit (Taylor Swift), and the other 99% need another source of income than their art. Swift did not attend a university.

What percentage of french literature majors make a living in that field? A few who manage to get a professor of french literature position?
So what you're saying is we need free trade, ethical cocaine (along with coffee, electronics, and cotton).
Machine translation is generally regarded as pretty bad when you speak both languages. I've heard really accurate (in terms of voice and intonation) speech to speech translation which tries preserve the speaker's voice, and I fear this will create a false sense of security about accuracy of translation. Similar to when chatgpt gives us confidently false information that is then trusted.
In my biased opinion, I'd recommend using Reexpress to get reliable uncertainty quantification from LLMs. The video Tutorial 2 on our website demonstrates how to derive uncertainty estimates from the Mistral 7b model, but the basic principle is the same for any LLM: Simply include the output logits when uploading a document via the JSON lines format: https://re.express/
AMD (and Intel) has CPUs with integrated GPUs that use system memory. Cannot one use them as a reasonably priced alternative? I think that buying 64 Gb of ordinary memory is much cheaper than buying Apple's proprietary memory.
The amount of spam I get since I left Googles old number service is insane. Whats worse is some will say reply stop to stop and just send you more bullshit.
The majority of designers use the same few software packages (a truism of most digital fields), with the same range of functions and parameters, the same trends, all reading the same internet articles, subscribed to the same creative influencers, and being churned out of the same college courses, where they all got taught out of the same text books.

It's increased homogenisation at every level.
> I'm curious - how much up-front coordination is mandated?

None is mandated.

It's incredibly rare (maybe 5%) to also be requested to put your question into a spreadsheet (that all the interviewers can see) to avoid any overlap pre-interview. Post-interview you have to submit what question you asked into the official (not a spreadsheet) tool.
Unpopular opinion, what’s wrong with that? Who should pay for health care for people who can pay themselves and they get to leave their children an inheritance?

While my parents who are in their 80s aren’t rich, as an only child, I stand to gain something. I wouldn’t be upset if they couldn’t leave me anything because they needed it to be comfortable at the end of their life.
Do we think Tesla looks at these? Looks like at leasthe first handful require code execution privileges initially which is hopefully preventing most of the damage.
Perhaps a better advisor for you could have helped you with your path, without the collateral cost of shutting down other’s opportunities.

A good advisor, formal or personal, can make a lifetime of difference.

If there was ever a low cost, high return opportunity for improvement it would be treating student advising with much greater priority and seriousness.
The Purpose of the Frit (Black Band) and Spots on Windshield
Yep. Wise are one of the more agressive banking providers with their KYC. Twice yearly is becoming normal for Wise. (7 year customer here too)

But its normal for banks to do this. One of my banks (our group has over 10 accounts on 4 continents) even sent a KYC renewal the day after my French residency permit expired. Had to upload and tdo the selfie thing with the new permit to get access to the account again.

I echo the other comments that you should use the official banking apps for doing your KYC/KYB process.
No, the humanities were wasted on _you_.
I made no comparison to HN, nor would I want to. I try to avoid having an "us vs them" mindset because it makes for boring conversation. I don't dislike lobste.rs in any way, I just prefer a wider variety of opinions to go with my tech news so I only really pop by when I'm reminded it exists.

For the record my preferred variety of opinions does not include spam and the other repetitive guff you mention haha, I'll be the first on the downvote and/or flag train for those comments. Absolute yawn fests the lot of them.

Anyway I mentioned numbers because they didn't seem to have changed, I'm not saying more numbers = better forum. That would be daft. More varied and therefore more interesting (to me)? Sure, aye. Better or worse? Nah.
Anecdata. Linux has worked for me for almost 30 years. Anecdata too, just so you can see how that works ;)
And this is why most cultures have multigenerational housing. Yes it’s worse for economic growth and mobility.
This is how I explained it to my kids.
Heh, that's probably true about being "production-ready", but I think you're conflating quality with popularity, and there are plenty of counterexamples to that. The point was that there have been good staticly typed languages for a pretty long time now.

I guess we could debate what "good" means...
If you put it into the tokenizer https://platform.openai.com/tokenizer you can see that it helps in some places but not in others. It pulled out "SEA/OF/TRAN/QU/ILITY", but I think it broke up every instance of the word "THE".
Right, let's just sit around in our tents in the dark and try not to move or speak unless absolutely necessary. Moving is not always essential, and has a caloric cost, which means food consumption. Are you sure being on this site right now is actually necessary? In fact, why bother being alive at all?

Yeah, have fun with that. I'm going to enjoy my life!
I feel like the way this sort of thing should work is you'd have a class of entities that you would trust to be identity providers, like banks, credit unions, ID.me, maybe cell providers and maybe Google/Apple/Microsoft if you so choose. Then another class of entities like Wise or regular merchants could verify your identity via some sort of OAuth connection with a cryptographic handshake underneath.
Sure, but that's why you have scrum masters, product managers, product owners, etc. who routinely check up on progress, beyond the daily and push the buck down on items suffering delays. So at one point, the non technical people will ask the senior technical people "why wasn't task X been delivered, according to planning it should have been done by now".

So they have a senior dev look at the requirements of the task to check maybe the estimations was wrong or the way it was formulated was bad, and also have a look at what that developer in questioned has checked into Git and start asking questions on why the slow process.

You can bullshit the non technical people, but you can't really bullshit your peers/seniors for too long before they realize your underperforming, when they start looking into your work.
That might help a lot of people ;-)
It sounds great but what is it exactly and what can I use it for? Is there an equivalent of this in other languages?
Kinda of; that's why it changed but it never changed back.

I'm kind of surprised that its impossible to do it locally at all. I know one time I was interviewing at FaceBook and I asked to do the phone screen in-person and they let me (I lived near the office).
Again, how would that effect my argument?

Maybe I could be a callous crook who built an empire of misery on the
bones of small suffering children, and then - repenting upon hearing
the word of the Lord (or something), made these professions.

Would it add or subtract from the truth value of what I said?
Developers I have met rarely if ever make tools... Maybe they are more like cache-making rodents?
Structured control flow is more efficient to verify, more compact, and disallows irreducible loops by design.

Also note that "br" "br_if" and "br_table" are all just text format mnemonics. You can think of the "br" as "branch" instead of break. We didn't have different instructions for branching depending on the type of the label because it's not necessary, just a waste of opcode space.
That's not really what people are sharing in this thread, to be honest.
If there’s a shortage of developers who understand the language, then the team cannot properly understand the application (as per TFA).

If nobody can understand the application, it cannot be modified.

If an application cannot be modified, its value will continuously decrease with time.

That decrease in value, as well as the projected cost of building a replacement, is tantamount to accruing interest on a debt.

They could have reduced that debt by moving to functionally equivalent but more commonly taught languages back when their team could still understand the system.

It wasn’t necessarily wrong for them to accrue this debt - after all, banks and these monolithic institutions are masters at effectively utilizing debt. However, the practice may have become habitual and it looks like they might be in pretty deep at this point.
According to the radar operator I talked to, the coordinates from the search radar were transferred by hand to the guidance computer. And by transferred, they twiddled some knobs so the voltage sort of corresponded to the right values. Not even punch cards here. My millennial mind is blown.
If you do this and I am the one interviewing you, I will fail you. I will figure out what you actually do/don't know and if you are incapable of performing at the applied level, I will fail you.
At least Musk is standing up for the humans.
Here's the lobste.rs post about this post https://lobste.rs/s/5vs9tv/lobsters_hacker_news
I do wonder if that could happen where I live. Regardless, it is hard to stay in hotels without them copying passports, a local law. Happened to me last month in both Switzerland and Italy. And in one I saw them them leaving piles of passport copies on a table for anybody to pilfer.
Is that based on the VList paper?
softmax(QK) gives you a probability matrix of shape [seq, seq]. Think of this like an adjacency matrix with edges with flow weights that are probabilities. Hence semantic routing of parts of X reduced with V.

where

- Q = X @ W_Q [query]

- K = X @ W_K [key]

- V = X @ V [value]

- X [input]

hence

attn_head_i = (softmax(Q@K/normalizing term) @ V)

Each head corresponds to a different concurrent routing system

The transformer just adds normalization and mlp feature learning parts around that.
Then it should be literally trivial to make money off of that mispricing then.

Except it's not.
You might find the Recycler algorithm interesting - nim's ORC collector is ARC + Recycler and seems to be working out rather well.
If the year of Linux on the desktop ever comes, we will all hate it because it'll be just like windows or macOS. Mainstream users don't want to be empowered. They want someone to hold their hand and make choices for them.

After all, look at the one Linux on the desktop option that you can buy in any store near you. It's called ChromeOS and every decision in it is made to further Google's commercial interests. It's the least open ecosystem compared to macOS and Windows (at least those can still be used without a vendor account). There is nothing there that we want. Being a niche OS is a strength, not a weakness because we Linux fans are a niche.

I agree though that 100% trusting FOSS is a fallacy. Besides the possibility of introducing malware to the repo, applications can also be exploited by malicious content like video files exploiting vulnerabilities in VLC.
COP28: Abusing satire's dead corpse for fun and profit.

There are 70,000(!) people expected to attend,[0] hundreds flown in on private jets. Sunak, Cameron and King Charles each took their own private jet.

Book your own luxury trip, including private jet charter, VIP security, and luxury accommodations, here [1].

[0] https://unfccc.int/process-and-meetings/conferences/un-clima...

[1] https://www.cop28accommodationdubai.com/
At least if we can settle toxic hellscapes then the future Earth should be easy.
It’s not a ghost town. I really enjoy it for the quality of discussion.
Is this something you know or something you assume?

«In 2022, Seoul Gimpo-Jeju continued its streak as the busiest route, with over 15.6 million passengers making the trip at an average of 226 daily flight movements.» If PRC is as congested as you say, wouldn't one of its city pairs be the record holder?

I currently live in Germany, where the population is about 50% denser than PRC, and haven't heard anything about air space corridors here being congested.
Because there’s a user base that’s done enough and is excited enough about what they’ve done to warrant one.
> pretty much gave up after C++11

IMHO C++11 changes (and many of the later ones too) make the language substantially better than it was prior.

I do personally hate the package management story which is why I try to only use single header libraries (I only use C++ for personal projects so I have control over what I use). I absolutely despise cmake, but Rust’s cargo is fantastic.
I associate it rather with the 90s that many computer users knew lots of insane arcane details of the computer and OS that they were using. Today's users (except for some subject area experts) are nearly always far below this knowledge level.
I'm no fan of Medicare Advantage (or indeed of Medicare in general), but it is not a "free market" program. It has the same problem all socialized health care programs have: the people who are actually getting the care, patients, have no idea what it costs, so they can't judge whether the care they are getting is worth the cost. A free market program would be one in which the patients paid the costs directly and could shop around for the best deal, just like in the rest of the free market. If you want to help people who might not have the money to pay those costs directly, the obvious thing to do would be to subsidize them, the way we subsidize food purchases now for the poor with food stamps. Food stamps just give people a monthly sum they can spend on food; they don't go and negotiate prices with all the grocery stores and then argue after the fact about whether a particular food purchase was covered.

It is true that in some situations, like emergencies or accidents, patients can't shop around. That kind of situation is indeed what insurance is for. But programs like Medicare, and indeed socialized health care in general, go way beyond insurance. Insurance is for high cost unforeseen events. Most health care is not high cost unforeseen events; it's foreseen events like physicals, shots, checkups and prescriptions for chronic conditions, etc., or low cost unforeseen events like getting an infection and needing treatment. If all of those things were provided in a free market, health care providers would be much more efficient, and it would be much easier to negotiate reasonable terms for insurance for the truly high cost unforeseen events that insurance is for. Medicare Advantage (and Medicare and socialized health care in general) is of course nothing at all like that.
Which is obviously nonsense. But frankly, I have no desire to reopen this pointless debate. They shall be happy with their platform, just without me.
HDD also have a controller.
I'm having a difficult time finding hard data but google seems to indicate the humanities produce a disproportionate amount of unpaid student debt. However, I would be happy to find better data.
Standing Alone
Just want to add, this approach is the exact opposite of conventional wisdom around cache hierarchy. Here we are loading data in from the slowest source, using it once, and throwing it away. I'm not sure what can be changed with a sequential model like and llm, just that this is almost the textbook slowest way to run the model.
Why are you doing this to me? I feel old enough already!
This is good to know. If you're comfortable sharing, could you email me your VoIP provider or a phone number they're sending from? Address is in my profile. I'd like to learn more.

For anyone else reading, this service is called "10 Digit Long Code" AKA 10DLC. Many business-oriented VoIP providers eventually use a vendor like Syniverse or Sinch for the outbound SMSes. Those wholesale carriers usually either strongly encourage their customers to require verification of sending numbers, or outright require it in the contract. This appears in the wholesale carriers' guidance to their customers, like https://syniverse-web.s3.amazonaws.com/10DLC-Carrier-Pricing... and https://www.sinch.com/sites/default/files/file/2023-03/Intel.... From your experience, it's clear that there are exceptions.
But Iran is funding the Houthis who are
The dutch think it’s embedded within one’s race - in europe they even make studies showing the inferiority of east europeans. Even covid was somehow “proven” by dutch universities to affect east europeans differently. Truly a one of a kind nation the netherlands. Yet dutch ports are main drug weapon and people smuggling ports.
Thats fine, but the majority of engineers at Meta/Google will be impressed
I wonder what brand of SSD did you bought ? I only have a single SSD that "died": the read/write performance became miserable for some reason, but it had no issue other than that.
At least two of them are marked as "DISPUTED", so presumably yes, Tesla does respond to them.
With rare exceptions, the social media website tends to be referred to as "X formerly Twitter" or just "Twitter" for short
I would assume (hope) that the AIO container itself is not exposed to the internet, only some of the containers it starts.
I sincerely hope this doesn’t destroy his career.
No currency crashing with DKK.
In my case, the old dead guy that had my number before gave his number to some booth at the state fair (or so one spammer claimed). And then that number got sold to all sorts of medical scammers and political campaigns.

I always ask what my name is when an unknown caller calls, and 90% of the time it’s the old dead guy.

I did not opt in, yet here I am getting a few dozen calls per week at all hours of the day.
Economists have predicted 9 out of the last 5 recessions, so the saying goes.

That being said overall market movements take a while to shake out; the mortgage bubble was first pointed out as early as 2006. People have been calling out China’s property bubble since the 2010s.

For tech at least I get the impression that the labor market out there is tough.
> What an awful worldview to think that someone could be too young to ask questions about their place in this universe. Or that they’re somehow incapable of appreciating them.

I mentioned that students should get their humanities grounding in high school. I think trying to push further in college is a waste. What major life experiences have you had at 19 vs 17. Especially if you compare the experiences of getting a job, getting married, having kids.
> A society with an increasing percentage of the population as old people who don't do anything interesting is an increasingly depressing society for young people to live in.

It doesn't have to be this way, and the "solution" isn't a baby boom or Logan's Run.

There are a lot of older people who are capable of working, but society presents many barriers to this:
1. Age discrimination;
2. Employers overworking employees;
3. Lack of flexibility in working conditions (part-time, work-from-home, etc.);
4. Lack of educational and job training resources for older people

Society tends to push the majority of people toward retirement, both because it wants older people out of the workforce and also because working life tends to suck for the workers (hence the desire to retire ASAP). But a lot of retirees are actually bored and would welcome becoming useful again, if society provided better opportunities for them.

Instead of "work hard until you retire", we could all perhaps "work easy until you die". Older people are forced to make the choice between working hard and retiring, but younger people are presented with similarly bad choices, for example, working hard or spending time raising your children.
As long as we're being pedantic it's worth noting that there's essentially nowhere without ambient gas or plasma -- that is to say, with no atmosphere.

It just varies in density over more orders of magnitude than we're casually comfortable with.

The moon has an atmosphere which is locally denser than the surrounding interplanetary medium.

So the displacement argument should remain technically true (the best kind) even on the moon.
A counterpoint to his thesis that the orbit and design have to be simple to succeed is the Mars rover sky crane lander system. It was terribly complex and, famously, worked very well. Compute has made a big difference since the 60s. Roughly every line of code today used to be a handful of physical components, whether it was an analog circuit or additional core memory wire-wound in the flight computer. Then there's the fact we test differently today because we finite element analysis every part down to the smallest component. That wasn't possible in the 60s.