skysight-inc/HackerNews huggingface dataset:
In a first course on proofs in university, I received the following advice: start from the givens and try to get as close as you can to the proposition, as well as start from the proposition and work backwards, trying to get as close to where you got earlier, and then hope that the two parts either meet in the middle, or are close enough to fool the examiner.

This seems to work well enough for LLM's too.
Asking the LLM to be more verbose can bring contradictions to the surface and lead to more reliable answers, but it still doesn't fix the underlying problem. Even when you ask it to show its work, it can still contradict itself, blindly imitate patterns in its training data, and contrive plausible-sounding but false answers.

I've got a (rather long) transcript I could post of a simple logic problem which I asked ChatGPT to solve step by step. It started off okay, but then it started completely breaking the rules of the puzzle and the internal consistency of its answer. When I asked it to identify its mistake, it made up a totally different mistake it never made.

The thing is, it's not emulating. It's imitating, and there's a big difference: When you emulate a logical process, you're copying it from the bottom up, and the internal logic is the same. If there are mistakes, they're fairly marginal. When you imitate a process, however, you're trying to reproduce the same output without recreating the internal logic that creates that output, and it's easy to detect and extrapolate patterns in the output in ways that don't make sense (like with the 12L/6L jug puzzle).
Why do I smell another “just adding more capability…” thing turning into an OS? Maybe only for devs? Sure there’s a long way, but I see it coming. This time without DOM.
As soon as elected officials agree, it will happen. 99% of aaod officiala are in one of the 2 major parties.

Unless non elected-officials win a revolution.
>I have no clue what was happening here.

MacOS has a handful of extensions on folders that make the Finder treat them as files instead of folders. The most common is `.app` which is what almost every modern mac app that doesn't use a package installer is. It's how the "drag to install, drag to uninstall" magic works. The app, all it's bundled libraries and resources are all in this folder. Double click the "folder" and you launch the app because the inner folder structure is a convention that MacOS understands and so knows where the actual executable inside is.

There are a handful of others (notably their office suite ones `.pages` `.numbers` and `.keynote`) which do this too
Author here.

Nope, retain on create/etc and release on drop happens automatically.
So please summarize submission hist vs mine where you can find that I am being 'un just' for each submission.
Owner of a 50€ Bluetooth headphones pair, bought 10 years ago. Had to resolder a connector, and the head strap got cracked while in my backpack but works good as new again after wrapping a single piece of tape around the broken spot ~five years ago.

Kinda waiting for something unrepairable to die so I can finally get headphones that can pair with more than one device at a time. New fabric would also be nice, I'd love if that were sold separately. Now that I've got a USB-C smartphone (had to say goodbye to micro two years ago and, with that, being able to use literally every charger in the house), having C on headphones would be nice as well.

Feels like a waste to just throw a working product away, so I haven't so far. It's not at all in a sellable state.
Ask HN: Visualising LLM Execution on a GPU?
Given that these computations are happening on a GPU, can the algorithm be visualized in any meaningful way? I'm not expecting to see a teapot rendered if the word "teapot" is found, but something more abstract - maybe even just white noise.
I don't see any evidence that was actually in supply though. The executive leadership seems to have done nothing to interrupt the rampant overuse of ventilators or remdesivir, both of which were actively harmful to Covid patients. They also all lined up behind the vaccine mandates which had absolutely zero benefit in reducing transmission and aggravated the staffing problems. They're far more deserving of pink slips than bonuses.
I'm sorry that you felt silenced during demonstration. I hope you got other chances to get your voice heared afterwards (and if your voice was heard but just happened to be in a minority... Not much more to say than 'this too, shall pass'.)

As an aside, to be honest, I've always been undecided about demonstrations.

I dread for the day were they will be systematically forbidden or brutally repressed.
And then again, I live in a country that is in a perpetual state of strike and demonstrations, but we're it's cool and fashionable not to vote, because, "it doesn't change anything".

I love the creativity that comes in cardboard slogans. (I want to meet the person who invented "16-64 : it's a beer, to a career" during this pension reform season.)
And yet, I always feel uncomfortable about being in the same crowd as other, much less original and much more simplistic slogans.(sorry, but I _saw_ the posters explaining that every single person wearing a mask or getting a jab was a fascist decrebrated sheep. Or
that COVID was just a trick from the <insert your favorite scapegoat here>. I would not have like walking behind this, sorry.)

Also, at how many people does a demonstration starts to represent "the will of the people" ? It seems like any cause can summon 500.000 people in the streets in May, provided the weather is good. 1 million people is almost a "revolution".

And yet, 1.000.000 people gets you less than 5% of any election with a decent turnout. Should that matter ?

Also, to be clear : I'm frailed or not particularly brave. The idea that "just because you're a big mob, and you can threaten to break stuff, you're right" is frightening.

I supposed I would be even more frightened in an "actual" dictatorship. So, plenty of cognitive dissonance to deal with, hey ?

Maybe I'm just enjoying the privileged position of a country where we get elections that are not entirely tricked (source : my perversion is tallying votes on Sunday nights. Cool kids don't do that, but they don't vote either - They get ready for the next demonstration.)

I hope that, if we ever loose that, I'll get the courage to demonstrate.
There are so many exceptions to this I'll just say that I disagree.
We detached this generic tangent subthread from https://news.ycombinator.com/item?id=35920712.
Author here - it’s a rust crate, run one of the many examples in the project. :)
I did want to put an IBM joke in there ;) though I'm more familiar with PPC's big-endian bit counting than S/360.
Author here.

Never seen Portlandia, so no. Just a Cocoa pun!
>An LLM cannot do that at all. It writes it down or it's lost.

I mean this is likely a solvable architecture issue at some point once we have the computing power to perform 'excess' computation and re-learn quickly. Consciousness, in my mind is a form of 'writing it down' and very rarely the primary thought itself, that is consciousness is reflection.

We see improvements in GPT behavior when allow externalized consciousness via reflection. It's able to 'see' its thoughts written, reflect on if they are correct, and then make corrections to improve the quality of its final answer.

The biggest hold up in LLMs is the amount of effort needed to retrain the LLM and ensure it's not gone off the rails. Currently they take months to train, now if Nvidia somehow makes the hardware a million more times powerful like they want to, will it take the training time down to minutes or hours?

>its own cut-off date - that's quite a non-human justification for not knowing something.)

That sounds very human to me... "I worked in the X industry from date Y to Z" is something people say all the time as to put a qualification date on the information they have about something.
People want to use them during the flight. A storage container wouldn't get used.
The second photo features a dXX.
Know that it is possible to do it, lots of people do, and it doesn't require you to be superhuman!
DoD Increases Efforts to Bring Small Businesses into Defense Industrial Base
Bizarrely, I can't remember the last time duckduckgo (basically bing) gave me a forum as a search result, though it used to regularly give me results from them. Maybe it's the admins blocking crawlers but it feels more like a conscious decision.
Hiding part of the LLMs output from the user doesn't make what it's doing fundamentally different than what it does now.

Also, anecdotally, I can totally reason about things non-verbally in my mind and then verbally express a conclusion. Not everything is an internal dialogue for me. But so far, everything has to be an internal (or external) dialogue for an LLM or it can't reason at all.
Bear in mind, that $273000 could fund 5-6 nurses.
A lot of this was manufactured, it came out recently that NYT has a top down editorial policy that tech cannot be portrayed in a positive light

https://twitter.com/KelseyTuoc/status/1588231892792328192

I'm surprised this wasn't a bigger story at the time. News orgs will obviously have a bias based on who they hire. But historically they always try and appear to be balanced at the editorial level, ie Fox News has a few token left wing people, CNN has/had a few conservative punching bags.
Could you elaborate on this? It sounds interesting to me, because I have also noticed a difference in how I perceive myself, vs the reality of photos and videos.

I have a variable voice, for example, and I've considered training myself to use a single voice type instead. I could project a deeper and louder voice, and probably gain a lot of social status by doing so.
Speeding up Docker Builds With eatmydata
Now that makes a lot of sense.

Though, makes me wonder - what about when constructing domes?
> And looks like Sandvine is very credible as countries relies upon it to censor internet in their countries.

Sandvine's primary business is traffic shaping and bandwidth management for cellular networks, shipboard networks, and other places where you need to do intelligent QoS. They are the reason Google Maps still works well on your cellular connection while you pass a house using cellular broadband to download a torrent.

The fact that some people use it to censor is an abuse of technology, not the intention of it.
Cache works on probability. Superscalar processor works on probability. L1, L2 ....cache works on probability
> we are currently in the most dangerous phase

I did read the article. It’s ironic given her anti-Tesla stance how Tesla exactly follows what she recommends… “No hands-free L2” is pretty much exactly what Tesla urges and enforces its drivers to follow. Is the enforcement perfect? No, of course not; humans are simultaneously stupid and creative.
It’s a chandelier/candle holder or heating device, is it not? Wax was even found on one. The different size holes accommodate different candle sizes.

They were made with a copper alloy and thus conduct heat efficiently. That also aligns with the reasoning used to justify the gloves theory (i.e. they were primarily found in colder climates).
People are already setting up fake personas/OnlyFans accounts using chatbots and SD images.

We have a high-value specialist currently chatting up a few of them at work. His wife doesn't know. He doesn't know we know. The photos are fake but he's too horny to notice.

Time to dust off the "there are no women on the internet" meme...
Thank you for writing. Very clearly explained.

Can you explain how do you derive this?

print 10 * 10000 * (18 / 37 - 19 / 37)
Because that's not what people care about in this context. People are looking at this picture and they see something that looks like leather. You say "Vegan Leather" and the message they get is "No animals were killed for this product."

"I want the look and feel of leather, but not the specific ethical concerns."
I find coffee products to be a frustrating product category. At least for me, I have adverse reactions to certain blends of coffees--particularly nausea, coldness, and headaches--while other ones don't cause trouble at all, so I have to try different coffee blends with a bit of caution. I notice that any amount of coffee past the second cup in the morning doesn't really add anything to my alertness, productivity, or ability to pretend to be a morning person--with the bulk of the benefit being from the first cup--but anything past the second cup makes it harder to fall asleep later at night. I can only imagine how one gets so far as to put down a pot of coffee a day (and then some!) for years on end.
I personally had a miserable experience too. I can focus for about 10-20 minutes in a typical class setting before my brain drifts off, which made most of education feel like a waste of time. That kind of daydreaming also pisses off certain teachers to a point they make it their goal to make one's life hell.
Part of the reason I finished school at all is that making a student fail causes more paperwork than most teachers care to do, which makes it quite easy to get barely passing grades. Of course this backfires in various ways like constantly declining standards for grades. Teachers in their last years before retirement are either so unmotivated they might as well stay at home (one of my teachers literally arrived 30 minutes late every time, another one simply didn't teach, ever, and was just present), others are just miserable people and decide none of their students ever deserves a better grade than a C. Very motivating.

Of course it's not a great system for teachers either and a lot of them work really hard.
The available roof area of a Skoda Octavia Estate - a common car in Europe - measures 2m x 1m which, given common 21% efficiency PV cells provides 420W at 1000 W/m² irradiance. This is considered a "medium sized" car. Add the hood and 600W is easily reached.
The findings are not surprising. In countries rich enough that kids can get a square meal in rural areas, there’s no main benefit to kids growing up in cities, maybe even a slight detriment.
The complaint here is that it's nebulous b.s. marketing speak that only means "leather-looking without involving animal products" ... and probably some kind of plastic.
ChatGPT (3.5-turbo) also provides a similar response:

"As an AI language model, I cannot guarantee the correctness of the code, but I could not find any obvious bugs in the given code snippet. However, here are a few observations:

- The queuePositions array must contain an even number of elements for this code to work correctly.
- pairs is initialized as an empty array of arrays, where each inner array will contain exactly two numbers.
- The for loop iterates through queuePositions array in steps of 2, taking two consecutive elements from the array each time starting from index i.
- The slice method extracts a portion of the original queuePositions array starting at index i and ending at i + 2, but not including i + 2.
- The extracted portion is pushed to the pairs array.
- The resulting pairs array will contain pairs of numbers from queuePositions."
Again, what specific problem do you have with the study other than going against your own personal conventional wisdom?
My 3s do this as well but it's quite intermittent
“My freedom™”
Living Proof – Stories of Resilience Along the Mathematical Journey (2019)
Why are all these scratch forks that enable extensions (like GP and Snap), all stuck on an ancient ugly version of Scratch core?
For thousands of generations we effectively learned through individual, tailored mentorship and trial-and-error. A hundred or two generations ago mass instruction was adopted for scions of certain of the powerful, or for everyone in organizations such as militaries. It's only in the last couple of hundred years that this mass instruction generalized to almost the entire populace of countries.

Mass instruction effectively treats students as the average of their cohort, without really getting to know each particular student. This is the fundamental break. It treats students more as blank states to be filled, than as collaborators in their own development.

As a specific anecdote, when I was in 4th/5th grade I didn't work ahead in math much because the assignments were to do every even problem on a page (one page, the potato page, as it had pictures of potatoes on it, had over 100 problems, I still remember it), which was tedious as heck. Because I didn't work ahead I was mainstreamed in math in 6th grade, and felt absolute horror at repeating yet again what I had already tediously repeated so many times.
I have many lifelong friends who are effectively 'kin' aka almost extended family and I don't drop friends because sometimes they might grind a bit, or as we age we see some things (very) differently. Frankly, some of them are a bit odd and have very few friends of their own - they're not going to be 'ejected' because they are not always in support of my sanity.

I don't keep 'fairweather friends' who suit my current lifestyle, mood and social status.

I enjoy the company of my work colleagues a lot, it's friendly without having to be too intense, and we can talk about 'work stuff' which I enjoy.

So you might also want to contemplate a different definition of 'friendship'.
Opensnitch is a great tool, and fits well particularly as part of a defense in depth strategy to secure your machines from telemetry and ads by including other tools like adblock, no script, and hblock.

I predict in the coming years the sorts of invasive surveillance capitalism we see today will in most cases become too economically unviable to be considered worthwhile outside a handful of closed ecosystems.
If nothing works, and you’re so lazy and powerless that you might as well be a human crash dummy, and you don’t mind it being childish, buy a Nintendo Switch(removable Joy-Cons are required!) and play Ring Fit Adventure for 10 minutes a day. Note, you should cheat the squatting; that part isn’t well designed and will damage your knees.

Feel free to pick workouts that seem to disproportionately rewards your progress. Absolutely ignore that the game might say “very light workout: 50 calories burned”.

In a week or two, you will find yourself no longer having absolute zero core muscle && lower body mobility && sense of balance. Allowing yourself to easy workouts isn’t a self disservice either, it leads to training more diverse muscles, which would not occur by just looking up a single be-all workout solution to train specific muscles then failing to follow through.

Standalone USB controller charger and a cheap USB soundcard might be useful too in conjunction with above.
You’d think if the healthcare system is overrun, the executives have to work harder as well.

This is just the standard ‘executives get bonuses’ whine with some COVID sauce on top of it.
Sure, but that kind of stuff is not generally unique to Ruby.
> the act of you performing a measurement does not have a definition in the form of the wavefunction interacting with itself somehow

Performing a measurement just means you become entangled with the thing you’re measuring.

https://en.m.wikipedia.org/wiki/Quantum_decoherence
So does that mean that you officially allow students to utilize ChatGPT for their work?
I mean, it's funny that you say so, because with the exception of "more environments", I've observed the exact opposite :)

I'm a simple user with simple needs, though apparently that's already pushing the limits of what Xorg can deliver: I have a high-DPI laptop scaled 140%, and a secondary high-res/average-DPI display at 100%. Mixing scaling factors has never worked well under Xorg (rendering glitches with ghost lines, applications like drop down terminals not knowing the dimensions of their viewport when opened on one screen and then or the other). And I'm not even getting into the better handling of discrete GPUs or the much smoother scrolling/animations that give it a better polish.

Xorg totally made sense in the context in which it was invented (in the long forgotten era of server-side rendering), but with applications rendering their own widgets and passing pixmaps to the compositor, Wayland is mostly about cutting the middleman and breaking-off with the obsolete/unmaintained/insecure bits. If you grab a distro with the latest gnome/kde, you should be at a point where Wayland really is only upsides.
You can't charge nearly as much for "plastic" as for "vegan leather" though.
These are single line users trying to exploit giant Corp. Yes that is exploitation too. They are not business users. They are exploiters trying to get the same benefit that someone with general use cases is offered.

If restaurant offers a person an all you can eat buffet, and that person sits for 4 hours in an online eating competition, that person definitely has abused the offer made. Doesn't matter the contract's fine print.
> Guess what? The increase in the number of fires correlates with growth in the number of electronic devices sold.

That would be odd. Surely a huge number of the devices sold replace prior devices. More interesting would be the number of phones on planes and I would assume that this is mostly flat at this point.
Wow, this really brings back memories. Small Basic was the first actual programming language I learned back when I was 10 years old. I remember getting my dad to print the language manual so I could read it on the plane ride to my grandparents.

The editor they shipped had some neat features for the time like Intelisense and built-in docs, it even had support for third-party libraries with DLLs.
One really neat feature I also remember was that you could turn a SB project into VB with a click of a button, it would create the VS solution and vbproj for you. I'm not quite sure how it worked with the language itself cause VB looks quite a bit different and it wouldn't change your code (no transpiling or stuff like that, just a wrapper).

Funnily enough, I didn't actually move to VB from that, I went to C# (which I have since forgotten). But it definitely got me quite a bit further in my developer journey (now I work with Go at a small org).
Sure, but saying "it is magic and nobody really knows how" when we have a solid scientific basis for how messages are carried from the brain to the fingers is highly disingenuous.
0. Have a PC with an NVidia GPU, running Ubuntu, with the NVidia drivers and CUDA Toolkit already set up.

1. Download the weights for the model you want to use, e.g. gpt4-x-vicuna-13B.ggml.q5_1.bin

2. Clone the llama.cpp repo, and use 'make LLAMA_CUBLAS=1' to compile it with support for CUBLAS (BLAS on GPU).

3. Run the resulting 'main' executable, with the -ngl option set to 18, so that it tries to load 18 layers of the model into the GPU's VRAM, instead of the system's RAM.
Because it wouldn't be very descriptive of the material texture & feel.

Vegan leather is basically trying to explain to the customer that it is like leather but not made from animal skin.

In the car industry they don't say seats covered in plastic - they say PU leather.

Vegan leather is 100% PU leather.
That's for syntax, not scope.

Scratch doesn't have lexical scope.
You can email the dependabot team and they'll opt your repo into a beta with pnpm support
Create your own code interpreter chatbot with Pyodide
"Corinthian leather" is also meaningless, but it certainly doesn't stop ad copywriters from using the term if it sounds fancy.
My usage probably breaks into use it pretty much daily or at least close, use it/consider using it in spurts, and basically never use it. I suspect my never use it (or at least once in a blue moon) bucket would make me seem like an alien in some demographics.

Uber/Lyft is probably my main thing in the middle bucket. I mostly only use on fairly occasional trips by plane and not frequently even then.
For sure, but I think the point stands. 93 million is a huge number, but it's not even a third of "Americans".

I don't think there's any measurement you could use that would show Uber used by even half of Americans.