skysight-inc/HackerNews huggingface dataset:
You can also "outsource" the Java based interaction with Android to somebody else, Qt style? https://doc.qt.io/qt-6/android-getting-started.html
I think you underestimate humans.
A subset of (3) that is the reason for Hedgewars' sine lookup table.
"When you want the results to be very predictable"
Deterministic lockstep has always had issues with floating point variations across platforms, and I imagine that applies to other things as well...
The true end goal of all posts here, such craftsmanship.
Don't forget about GPT-4
>> The raw version of GPT apparently achieves an Elo score of 1800 at chess: https://twitter.com/GrantSlatton/status/1703913578036904431. This is worse than a good dedicated chess engine, but almost certainly better than I could do!

Probably because it was trained to get better at it.

https://twitter.com/GrantSlatton/status/1706545268009931175

There's already been plenty of discussion on LLMs' ability to play chess and it makes sense that OpenAI would try to make their models better at it.
> can never be parellized

I mean, I'm not skilled enough in those ISA extensions to stick my neck out. It's not totally obvious to me that there is not some shuffle or permute facility that can load 64 bytes at a time from LUTs.
Ride the fastest shinkansen you can get a ticket for.

Take the elevators up to the top of Yokohama Landmark Tower (https://www.businessinsider.com/the-8-fastest-elevators-in-t...).

Take the Yurikamome train to Odaiba (https://en.wikipedia.org/wiki/Yurikamome).
Boosting systemic absorption of peptides w bioinspired buccal-stretching patch
Despite the oddities it is actually quite nice in practice.

Almost all websites are hooked into this so filling out an address is usually just type in your postcode & select your flat number from the list.
> If any sort of mechanism could exist for circumventing the limitations of conventional travel through spacetime — limitations set by the speed of light — it must involve leveraging the curvature of spacetime to create such a “short-cut” between two otherwise disconnected points. Perhaps the most famous instance in all of fiction to leverage this was the idea of “warp drive” as developed by the Star Trek franchise.

Did Star Trek actually originate the warp drive idea? I always assumed some scientist somewhere originated it first, then the ST writers picked up on it and used it in their world-building. But kind of mind-blowing if it was the ST writers who originally conceived it.

> By expending a vast amount of energy, the idea was that space could be severely curved, and in some sense, compressed. As the space ship moved through the compressed space, it would take this long-sought-after short-cut, enabling very rapid travel over great distances, without causing the outside Universe to age rapidly relative to the crew.

There are conflicting conceptions of warp drive accelerating time outside the warp bubble (or decelerating it inside the bubble). Star Trek’s warp drives obviously don’t accelerate external time (or slow internal time). But in Cixin Lui’s Three Body Series, curvature propulsion (aka warp drive) does slow internal warp bubble time. Which is correct?
Eh, I'd say the attention paper lived up to the hype of its title.

In 2017 LLM architectures were complex beasts that fiddled with many different different structures of layers. These days they're all just giant stacks of attention layers.
It gives you information about intent, not reality.

And you are mixing multiple versions if you are building against version x.y and linking against version x.(y+z).
Im not sure this is true, the part in the cable is just tiny pins and far more vulnerable than the wafer. For years now I've dug woodchips and other junk out of my phones usb-c socket with paperclips and never came close to damage. It seems sufficiently recessed to prevent all but the most aggressive attack.

Edit: in fact, trying now it seems to be perfectly recessed that I can't even push on it from an angle with the connector, it has to go straight in a bit before it even touches, on any of my devices
Fun fact: the Nokia 2780 Flip, despite using USB-C, only accepts the cable in one orientation. Put a cable in upside down, and nothing happens. Confirmed with the charger it comes with and one C–C cable that I already possessed.

(Additional fun fact: the box says it uses Micro-USB.)
Saying it definitively didn't factor in is at least as stupid as saying it definitively did.
These models produce correct answers to many problems that require “reasoning” (for any sensible meaning of the word), that are not in their training set.
I think we've seen enough free market failures that it makes us uneasy about that as a solution, but it can always be argued that nothing we've ever had in this country counts as a "real" free market because, at least at the federal level, we've always been taxed and tariffed with subsidies and loans and free money awarded to various businesses along with regulations and legal constraints.

I'd love to see what happens to a society that has to depend on the free market to provide quality services fairly, but I'm unwilling to give up what we have to experiment on ourselves without even one example of it working elsewhere.

> It seems silly to me to force a common pool to pay for schools but not clothing, for health care but not food. Why not just raise taxes and get rid of checkouts at the grocery store?

Taxes do pay for food and clothes, but only to a minimum in the form of public aid. You can get food stamps and even reimbursement for nice clothes for a job interview. That's a lot of what taxation does for us. It allows us to set a minimum standard for what Americans are entitled to as a citizen of a great country. Every last American citizen can get food, clothes, and an education no matter how much money they have. The more money you have the better those things are, but there's a baseline for everybody. Spreading the costs of those things over the entire wealthy population makes it extremely affordable, in fact it would cost us more if we didn't pay for them. That's also the argument for public healthcare. We're wasting money and having worse outcomes than other countries. Paying a lot more than others and getting a lot less in return is a very common problem in this country.

The idea that only people who want to send their kids to schools should ever pay for them sounds nice, but it would mean fewer kids getting an education and we all benefit when we're not surrounded by total idiots. Things are bad enough in that respect as it is. The average American adult's compitiency in math/science tops out at the 5th grade level! We can't afford to have more ignorance if we want to be competitive.

Nobody needs an inventive to avoid wasting money, because we all have things we'd rather be spending our money on and public money is no exception. We're fully incentivized to do good work because we want good results. We don't want to spend tax money on bridges that collapse or space satellites that explode or fail to transmit data back to Earth.

I fully agree that consumer choice is very important, and I wish we were much more aggressive about fighting against anti-competitive behavior and monopolies (actual or de facto). That said, some things are better left to the government alone. I certainly don't want 15 private toll roads running past my house. Other things like the postal service or internet service are so important that the government should be allowed to provide them even when/where it would never profitable to do so. They can fill in where private companies who care only about money never would.
We went to the Manu National Park during our honeymoon trip to Peru. It’s hard for those of us who have lived in temperate areas our whole lives to imagine little things like rinsing a shirt in the evening meaning that you will have a damp shirt the next day (or two) and bigger things like not being able to see more than a few dozen meters ahead when not on the water or up on an observation tower.

It was so far outside any place I’d ever experienced before (or since).

And it breaks my heart to see what we’re doing to it.

How much is cattle ranching a driver of the deforestation? Brazilian beef is often the cheapest option in Germany - I don’t buy it, but obviously someone here does.

We heard about the fires that Bolsonaro did nothing (really) to prevent or fight, and that a lot of them were to gain land for cattle ranching. That’s what made me start making sure I wasn’t buying beef from Brazil.
60-70 wpm?
I'd describe the end goal as TCO of achievable FLOP.

So a lot of factors come out of that, and a lot of designs that take interesting stabs at new balances towards that goal.
I had a USB cable with a reversible A plug, but after a few months/years it would stop charging (because the pins either wouldn't make contact with the A socket, or the wires snapped off the pins).
This could have been as well been a prediction 8 years ago, because in the mean time all of this happened.

regarding 1) look at this post from 2019: https://people.kernel.org/bleung/now-how-many-usb-c-to-usb-c... I imagine it only got worse in the mean time.

regarding 2) I have seen various posts in the past of devices that only work if the cables are connected in a specific orientation. Technical background is discussed here: https://acroname.com/blog/why-usb-c-connections-sometimes-do...
I really like this article's structure for showing benchmarks. each benchmark has its own heading and a paragraph explaining the reason for it and analyzing the results.

I was a bit surprised, though, with how it ends right after the search benchmark. This seems like the perfect setup to talk about search/replace (aka find/replace), which seems like the best use case for non-local edits that I can think of, and therefore would be a great opportunity to show how the algorithms compare in something the ropes should be better at.
do you have an archived link?
Does this also cover some kind of facetted search? (Counting the different colored and sized t-shirt) in an efficient way? As that is also a large part that elastic can do but PostgreSQL isn't very good at.
Not my project, but Chicken Scheme is an awesome language that compiles to C:

https://www.call-cc.org/

Source download: https://code.call-cc.org/
Disclaimer: Did not read the whole thing.

The one advice I often do not see is: While there may be enough jobs for PhDs out there, there are very few that you will want to do.

People get a PhD because they are passionate about the field and want to do research. Not just any research but research on a few topics. Most jobs for PhDs will not let you do the research that you would like to do. It will be totally on you to target those few jobs that will. You have to work towards it throughout the program. Actively network at conferences, and get key people to know you. Position yourself for those jobs. Merely doing good research and publishing papers may not be enough.

Anyone who sticks to it can get a PhD. But no one feels sorry for a PhD grad who can't get a job. It's expected that if you're smart enough to get one, you're smart enough to figure out the job situation.
"It turns out that our kill-bots don't shoot at mimes for some reason?"
Yes, the European release had pizza hut badly added in, some scenes they couldn't do it (back then this was hard) like the glass in the restaurant that had taco bell etching.
I've read many of your replies, and while I /think/ I understand your point, I am not sure what you're proposing.

Is this a reasonable summary?

> AI = easy, so it should be regulated. It has passed the "threshold of simplicity" (and realism) where new legislation should be enacted.

> Photoshop = harder, so it should not be legislated.

If so, what happens when Photoshop releases a "copy/paste a face" feature (a desired general photo editing capability) that uses GenAI to merge background, skin tone, lighting, etc.? That could easily be a beginner-level feature (ctrl-c/ctrl-v with auto-segmentation) and be used to create porn.

Are you proposing that the feature be regulated because it's become too easy? That artificial barriers of difficulty be implemented?

Again, what are you proposing be the outcome?
It always seemed like a reasonable, but still big, assumption that antimatter behaved the same way under gravity. Anti-particles have opposite charge, so maybe it could have made sense that they have opposite "gravitational charge"? But also gravity doesn't have "charge".

So yeah, agreed. A good thing to confirm, even if (especially if) they expected the result to be unexciting.
If there's no evidence about a situation, there's no evidence for any theory about the situation. There's no evidence for the proposition A. There's no evidence for the proposition not A. By your reasoning we have to believe that both these propositions are untrue: A and not A. This seems totally insane.
They are regular (fiber optic) USB-C cables.
Not being obese and more healthy brings you much more life quality.
It might be hard to comprehend for some Americans, but not everything in Life revolves around $
>At my workplace, managing terraform state has caused outages. It is so very easy to refactor the terraform code and then find yourself deleting a network load balancer and recreating one.

This is why we read the `plan` output before approving an `apply`. Terraform is not causing this outage, humans are.
Now how many USB-C to USB-C cables are there? (USB4 Upd., September 12, 2019)
Their website(https://www.empshield.com/frequently-asked-questions/) claims 500ps response time, which seems in line with MOVs(although maybe this is just a milspec test threshold so many devices will claim this response time).

I wonder if you could use an MOV or similar surge suppressor in parallel with a lightning gap to achieve useful protection?

As others have said, their device is not full EMP protection. At best, it will protect your electronics from a surge on the grid but not locally present EM fields.

Someone should call ElectroBoom and have him do a teardown.
Reasonable assumption but in this case I was able to be flexible enough. The problem was my child not sleeping more than a couple hours at a time and our stupid adherence to the "baby should sleep in a different rule" in the US.
Thank you so much for this link. Spent the last 2 days or so reading it. Absolutely full of amazing stuff.
> Then you implement auto crossover detection, dwhich had been around for years

Mdi-x/auto crossover for ethernet was introduced in 1999, that is after USB (1996) was designed, not sure of the technique was known at that time
The Post Office isn't great, but the ONS maintains a postcode list[0] that is open.

[0] https://geoportal.statistics.gov.uk/datasets/ons-postcode-di...
Could bootstrap the process by aggregating/summarizing existing comments/sentiment from around the web. This is much more feasible in the era of LLMs.
I think the disconnect is not understanding how the RAM is used. If the average user looks and sees all of their RAM in use, they're going to think that there's no more room for the applications that they want to launch. They don't understand that what's cached will just get out of the way when the memory is actually needed. So they want to see free RAM, because that means it's free for their game or millions of tabs.
OK, thanks.

I'm not claiming its impossible for an LLM to learn this, just that it appears to be much harder (perhaps by requiring more data) when the task involves fighting against tokenization. For example, it can base64 encode your phrase "What was once dormant may soon angrily awake" correctly, and it can reverse the letters correctly. But it fails to do the same on the example text from the OpenAI tokenizer.
again — in those times women did not fight to get advantage in the first place
why not use this to be more precise in the language?
Why USB-C Connections Sometimes Don't Work (2018)
Ive used xilinx a fair bit for encoding. once you get past the pain of compiling your tooling for it it does speed up VOD encode significantly.
No way! I didn't know that was part of the standard! Very useful "trick" indeed, unless of course, the USB port is placed vertically...
3-min tech, science, A.I. rundown newsletter
Been using Intercom for most of my project as well, but it's expensive. If there was a good alternative, I would probably switch
You can also use Orion on iOS, it has built in ad-blocking or you can install Ublock Origin extension.
Let me give an example[0]

> Before LLMs, we had a very crisp test for having, or not having a world model: The former could answer certain questions that the latter could not, as shown in #Bookofwhy. LLMs made it harder to test, for the latter could fake having a model by simply citing texts from authors who had world models, see https://ucla.in/3L91Yvt
The question before us is: Should we care? Or, can LLMs fake having a world model so well that it wouldn't show up in performance? If not, we need a new mini-Turing test to distinguish having vs. not-having a world model.

The thing here is that LLMs are trained on most of the internet. Some people are surprised by some results but don't seem to know what kind of content is on the internet or in the training set (to be fair, we don't know what all the training sets are). There's lots of people that believe LLMs have world models (there have even been papers written about this!) but it's actually pretty likely that the LLMs were trained on similar examples, and this also helps explain why it is easy to break the world model (it isn't a world model if it is very brittle). We can see similar things with our tests like LSAT and GRE subject tests. Well guess what, there are whole subreddits and stack exchanges dedicated to these. Reddit is is most of these datasets and if you're testing on training data you're spoiled (there's a lot of spoiling that happens these days, but like Judea said, does it matter?)

The problem with hyping up LLMs/ML/AI up too much is that we can no longer discuss how to improve the system. If you are convinced that they have everything solved then there's nothing to do. But no system is perfectly solved. Never confuse someone criticizing a tool with someone saying a tool is useless. I'm pretty critical of LLMs and am happy to talk about their limitations. That doesn't mean I'm also not wildly impressed and use them frequently. There's too much reaction to criticism as if people are throwing the thing in the dumpster rather than just discussing limitations.

FWIW, I wouldn't change my mind if DM's test showed the opposite result. You can check my comment history. I'd probably dig in and rather comment why DM's tests were bullshit. I've even made comments about how chain of thought is frequently a type of spoiling. The reason being not because I don't think we can't create AGI (I very much do), but because I have a deep experience with these models and ML in general and nothing in my experience and understanding leads me to even believe half the things people claim. You'll see me make many comments ranting about the difficulties of metrics and how there's this absurd evaluation that people do (not just in ML) of using a proxy test set and using some proxy metric and saying performance on it is enough to claim a model is better. It is a ridiculous notion.

[0] https://twitter.com/yudapearl/status/1710038543912104050
What I wanted to say is, the :-separated blocks are not fractions, they are two-component vectors up to a multiple (aka coordinates on [a part of] the projective real line, for those who like that sort of thing), and the “two” here is completely incidental.

For example, suppose that, in the Monty Hall paradox, you chose door one and observed Monty open door three. Then the posterior odds for the car being behind each door are calculated as

prior = 1 : 1 : 1
× likelihoods = 1/2 : 1 : 0
= posterior = 1/2 : 1 : 0
= 1 : 2 : 0

(Exercise: prove this formulation of the Bayes theorem for >2 hypotheses.)
They can start banning pre installed social media apps, including TikTok. My mom bought a new Samsung phone and the onboarding process automatically installed facebook and tiktok spyware plus candy crush as "recommended apps". What's next, pre installed gambling apps?
I agree it should be possible.
In the N3096 working draft it is written: "The sign representation defined in this document is called two’s complement. Previous revisions of this document
additionally allowed other sign representations."

Non-two's complement machines are museum relics, and are no longer going to be supported by ISO C.

> why clutter things with extra masking.

Because even if the circular buffer is a power of two, its size doesn't necessarily line up with the range of a given unsigned type.

If the buffer doesn't have a width of 256, 65536, or 4294967296, then you're out of luck; you can't just uint8_t, uint16_t or uint32_t as the circular buffer index without masking to the actual power-of-two size.

(Note that uint16_t and uint8_t promote to int (on the overwhelming majority of platforms where their range fits into that type), so you don't get away from reasoning about signed arithmetic for those.)
That may have something to do with Iran's public vow to want to wipe Israel off the face of the earth. One practical way of doing this would be to drop a nuke or two and I wouldn't put it past Iran to do just that.

One of the more realistic scenarios on how you could jump start a massive war would be for Pakistan to 'donate' a couple of nukes to Iran who would then use them on Israel.
oh really, how much evidence do you have about women storming the castles all the way through inside?
The public is more worried about AI than you are
Often the room itself gives you reason to prefer one direction or another. If the door is in a corner you want the open door to be against the wall (unless you don't - I can't think of why, but...). If there are other doors on the same wall you need to consider them - sometimes hinges all the same for symmetry; sometimes opposite so the the doors don't bang into each other (when they are right next to each other.
They are vehicles that can navigate terrain a wheeled vehicle cannot. So they could do anything from operate as pack "animals" for infiltration teams to be armed drones that creep along the ground, harder to detect than a flying one.
Yes, I have seen some products still using micro-B. I've generally just avoided them because I don't want to have to carry another type of cable, so maybe that's colored my perception a bit of how widespread USB-C usage is.

For the products you've purchased that came with an A-to-C cable, have you tried using them with a plain C-to-C cable? In my experience usually that will "just work". (Maybe there are some power banks out there that don't support outputting power through their USB-C port. If those exist I've managed to avoid them so far.)
Fascinating writeup. That said, I'm sure lacking the D guarantee in ACID might caution a lot of possible customers because nobody has time to figure out the nitty-gritty tradeoffs of a database nobody else used. Even if you're right, it's a bit of a hard sell. I'd say work on refining your explanation about that so it's even easier to digest: possibly with some pretty graphics or video.

Perhaps figuring out which industry/company has a specific performance bottleneck and pitching your database to them might be the right move.
Not, apparently, to be confused with the identically named Unison language. (I was wondering what unison-lang had to do with the OP until I clicked through.)
Perhaps a wrong link? Your link shows a case where the compiler's implementation is better than a custom one.
You know, I had the same issue this weekend. Err... in reverse.
But, I just remembered your reply and you might find this website useful : http://www.subdude-site.com/WebPages_Local/RefInfo/Computer/...
Russia banned tiktok and instagram etc. in early 2022. Curious to hear about just how that improved everyone's lives.

Maybe the "real national security risks" of funny dance or cat clips and pictures of your last meal were slightly exaggerated after all?
Why AutoGPT engineers ditched vector databases