skysight-inc/HackerNews huggingface dataset:
Sure, but people have already applied deep learning techniques to theorem proving. There are some impressive results (which the press doesn't seem at all interested in because it doesn't have ChatGPT in the title).

It's really harder than one might imagine to develop a system which is good at higher order logic, premise selection, backtracking, algebraic manipulation, arithmetic, conjecturing, pattern recognition, visual modeling, has a good mathematical knowledge, is autonomous and fast enough to be useful.

For my money, it isn't just a matter of fitting a few existing jigsaw pieces together in some new combination. Some of the pieces don't exist yet.
Use your point and shoot camera
The sad part isn’t the rampant sickness. The saddest part is all the “intellectual” professors who enable, encourage, and celebrate this.

It’s sickening.
It's not just Zuck who makes it unpalatable. It's also the users who have tried a 30 second rollercoaster video on a google cardboard years ago and go like "I tried that virtual reality thing and it was useless". As someone who deploys this in enterprise environments I get this far too much.

I've done some pilots with serious VR meeting software like Arthur and Spatial (before they reinvented themselves as a "generic" metaverse tool). It's not for every call, no. But for the more proactive brainstorming / whiteboard session it's great. Especially as devices start having more sensor for body, face, eye tracking. You really feel like you're with the others. Really great option to replace a long flight you were going to make for a half-day workshop. So much more better than a zoom call. The detractors often point at the poor legless avatars but in my opinion that's something that gets forgotten quickly as you actually start communicating.

It's really hard to actually make people start using it though. And yes Zuck is burning way too much money on the wrong things. After all those billions Horizons still looks worse than VRChat, I mean really, how much did they spend? Can't be more than a few million.
I think many commenters supporting the "kill my app" behavior do not understand how bad using the affected devices can be.

The reason I first discovered "don't kill my app" is that my apps would close as soon as I switched to another one, in most cases. For example if I used maps and switched to a call / browser tab / Telegram chat, when I got back to the map the app would reload. My search would be gone, and I would have to set my destination again.

I hope you can agree that this is terrible user experience. If I wanted to save battery, I could have just closed my apps manually, I don't need my phone to take the initiative.
Uber failed to help cities go green – will robotaxis, too?
>Open source software certainly didn't cause the wealth inequality of our society

And it certainly does nothing to change it either, but we all have to pretend otherwise because our jobs depend on us drinking the kool-aid.
Outlook gets my eternal disdain because it still does not understand HTML written after 2006.

It's so bad, we have a dedicated email HTML person.
Well, you could be bitter, twisted, and cynical

I like you better being generous....
Do you think any rhetoric could ever persuade you to you adopt the opposite general worldview of what you currently have? I'm positive that it could not for me. The reason for this is not because I'm obstinate, but because my worldview is not formed on persuasion, but on lived experience. And I think this is true for the overwhelming majority of people. It's why our views tend to change as we age, and experience more of the world.

You can even see this geographically. The reason many in South Texas might have a negative view of immigration while those in San Francisco might have a positive view of immigration is not because of persuasion differences, but because both places are strongly impacted by immigration but in very different ways. And this experience is what people associate with immigration in general, and so it forms people's worldview.
This. FF and DDG work so well together that I hardly notice any downsides moving to it. DDG is my default search engine now and I rarely use google for sports updates. That's it.
On the other hand, Google does exactly that with YouTube?
So the model is limited to using words and characters that already exist. I agree with you but I don't see why is a limitation worth pointing out.
The issue is quite simple IMHO. The company has a motto that is almost completely PR. If they truly cared about doing the right thing, don’t be evil, to the extent they imply by making it their motto, then they would have an interview process which evaluates the ethics and morality of their candidates, even if only a little bit. It is well known that entry to Google is, at least for engineers, basically little more than a leetcode mastery test.
Well if you are in VR you already will lock eyes with whomever you're looking at. Especially if your headset has eye tracking. You will not talk to someone behind you ("Soap opera talking") as it feels just as weird as in real life. Also your hands are mirrored in the virtual world and you can easily flip the bird, clap your hands and more friendly gestures too :)

Or perhaps you mean the boring MS Teams avatars you can use to replace video, they are indeed pretty bored looking all the time and not responding to your voice activity at all but I heard at Ignite that they are getting some upgrades.
I thought (and could be wrong) that all of these concerns are based on a very low probability of a very bad outcome.

So: we might be close to a breakthrough, that breakthrough could get out of hand, then it could kill a billion+ people.
They have “not only one way or the other” - they have “all the ways” and this is exactly the problem you want a solution like this to fill.

We’re talking backoffice/cost-center workflows in IT, finance and HR - absolutely not business profit processes mind you.

A tool such as this can help an IT department take ownership of integrations and workflows, building them in a framework that can improve speed and quality. It will help with organizational scalability.

The alternative is in my experience a giant mess of integrations lacking ownership and observability.

Every large enterprise needs “something” like windmill, they might just not know it.
Yup. Likewise, a key variable in understanding this is .. velocity? Ie a wheel is cool and all, but what did it displace? A horse is great and all, but what did it displace? Did it displace most jobs? Of course not. So people can move from one field to another.

Even if we just figured out self-driving it would be a far greater burden than we've seen previously.. or so i suspect. Several massive industries displaced overnight.

An "AI revolution" could do a lot more than "just" self-driving.

This is all hypotheticals of course. I'm not a big believer in the short term affect, to be clear. Long term though.. well, i'm quite pessimistic.
Time consuming fact, that is the main reason. I think can't avoid ChatGPT!
Many app need to keep state while they are in background though. Imagine your browswer tabs reloading every time you swotch to a different app and back.
The details are surprisingly still relevant. A lot has changed, but most of that (compute shaders, Ray tracing hardware, ...) is actually orthogonal to everything mentioned in this article or simply details changing in aspects glossed over.

I still link people this article because I have yet to find anything which does a better job explaining these things.
I think it'd be more like if you gave me a car, and then, years later, you said you needed the car to build a plane for me. It would screw up my plans, but I wouldn't assign moral blame to you. I'd say "thanks for the car while I had it, I'll find another car vendor"
The paper[1] itself reads like marketing material that was itself written by GPT-4. Why was this published? And why is Nature reporting on it? As someone who generates fake/simulated datasets for a living, the scientific value of this paper is totally lost on me.

[1] https://doi.org/10.1001/jamaophthalmol.2023.5162
What I wonder, as a computer scientist:

If you want to solve grade school math problems, why not use an 'add' instruction? It's been around since the 50s, runs a billion times faster than an LLM, every assembly-language programmer knows how to use it, every high-level language has a one-token equivalent, and doesn't hallucinate answers (other than integer overflow).

We also know how to solve complex reasoning chains that require backtracking. Prolog has been around since 1972. It's not used that much because that's not the programming problem that most people are solving.

Why not use a tool for what it's good for and pick different tools for other problems they are better for? LLMs are good for summarization, autocompletion, and as an input to many other language problems like spelling and bigrams. They're not good at math. Computers are really good at math.

There's a theorem that an LLM can compute any computable function. That's true, but so can lambda calculus. We don't program in raw lambda calculus because it's terribly inefficient. Same with LLMs for arithmetic problems.
I am still a novice to grid - in the Assigning Children interactive demo, if you click-and-drag across a row or column, the .child style will always refer to fractions of 1, ⅓, ¼, and ⅕, despite being a 4×4 grid. Can someone confirm whether there's a bug? I'd expect it to rather be 1, ½, ⅓, and ¼.
a lot on HN actually, it's basically religion like it was with Steve Jobs
I thought you were piling on a human and felt a bit outraged.

Siri deserves more slander than you delivered.
Cool. I'm surprised this didn't exist earlier.

Now someone upload it to pypi for even more hilarity.
We're moving the goalposts all the time. First we had the Turing test, now AI solving math problems "isn't impressive". Any small mistake is a proof it cannot reason at all. Meanwhile 25% humans think the Sun revolves around the Earth and 50% of students get the bat and ball problem wrong.
> Thanks to Dunbar's numbers, we know that

That dude just made the number up.
Car-Free Community
Why can't the app save its state to storage and restore the saved state when it's started again?
Learn about the growth of the infrared thermal imaging industry, its applications in the civilian market, including breast cancer pre-screening and electrical equipment monitoring, and FET3588-C System on Module as the main control.
Of course. Large companies already have business plans. They just need software to implement them, and GNU gives them exactly that for free! Who do you think uses that stuff? Your parents?
Hyper-V as most people actually use it is more like single-host VMware ESXi.

VMware's true magic is with vCenter. While Microsoft has an equivalent to that (SC VMM), nobody seems to use it because it is virtually unusable. I've never seen a successful production cluster of VMM running.
This somehow seems to have become an inevitable reality of mobile phones. I had to upgrade from my iPhone 7 because it had essentially become a “single-process OS” where even switching to Google Translate to help me compose a message would have the messaging app killed in the background.

And now I am experiencing similar issues, although not as severely yet, with my iPhone 12 Pro Max. Restarting the phone seems to help but there seems to be some battery and/or memory pressure that causes iOS to kill the non-active apps.
Yup, that's all India.
Andrej made the micrograd video after the code was released a couple years later. As someone who takes learning neural networks as a hobby, I really want to see him make videos about the llama.c project.
Absolutely, maximizing conditional probabilities is easily modeled as a Markov decision process, which is why you can use RL to train Transformers so well (hence RLHF, I've also been experimenting with RL based training for Transformers for other applications - it's promising!). Using a transformer as a model for RL to try to choose tokens to maximize overall likelihood given immediate conditional likelihood estimation is something that I imagine many people experimented with, but I can see it being tricky enough for OpenAI to be the only ones to pull it off.
You're missing the point: who's using the 'add' instruction ? You. We want 'something' to think about using the 'add' instruction to solve a problem.

We want to remove the human from the solution design. It would help us tremendously tbh, just like I don't know, Google map helped me never to have to look for direction ever again ?
Signup doesn't work for me. Hug of death?
How good is this guy? It's just awe-inspiring.
> but if you write shell in a principled manner, you can solve some pretty big problems with ease, and you can write maintainable code.

So if you are extremely good at writing shell, and you write it extremely carefully, then you can achieve basically what you can do in other languages without those caveats?

It sounds like we both agree that shell is not a sensible choice for scripting, for most people, then.
Noted! that was not by far the purpose, at least made some laughs. I've tried to lower the amount of acronyms in the About and Overview section, adding links to the relevant pages that describe the acronyms, however, it's rather difficult to remove the acronyms without losing the meaning. thanks for the feedback.
She's presumably already trying to do a good job. Saying "try to a good job" isn't helpful feedback and isn't assuming good intent.
You're not alone in feeling stuck when it comes to design. Creatives often face the challenge of starting with a blank canvas. It's great that you found motivation by mimicking an existing email design. That's a great move! Take inspiration from other designs or use templates. Break down what you like about them and gradually incorporate those elements into your own work. In the beginning, I struggled with design, but learning from existing designs helped me improve.
But were you thinking of Q, Q, or Q?
Language is only one projection of reality into fewer dimensions, and there's a lot it can't capture. Similar to how a photograph or painting has to flatten 3D space into a 2D representation, so a lot is lost.

I think trying to model the world based on a single projection won't get you very far.
Just scour the market for the two manual models that are left, I'm pretty sure this feature won't show up on standards for several years yet.
That's pretty sad. Without people like you, the engines all the others use would not exist. It always saddens me to see people making millions off of high level tools while the people who made it possible get limited returns.
Never experienced anything remotely similar as you described with either my iPhone X when I had that, or my current iPhone 12 Pro..
Battery on my phone is over 4 years old at this point. Please kill the app.
I think BlueCruise depends on tbe cloud. Not sure about other implementations like Tesla's
After a year the entire argument you make boils down to “so far”.
check out Grim Dawn. best Diablo-like ever in my opinion
Capitalism is an economic system in which capital is accumulated and reinvested for profit, and that is exactly what I'm talking about.

It's a perfectly good word.
yes sir i guess it is, i never experienced something like that before.
now i know why "scaling" is important.
talking to the server company. :) :(
I haven't had any trouble installing VMware security patches (I've done plenty).

As to why there seems to be such an increase in security patches, its like the quote from Willie Sutton. That's where the money is.. The largest target gets the most attention.

Everybody has bugs. While you may hide under the radar with using some lesser known things, don't fool yourself thinking that there aren't holes the hackers can weave their way through.
There's an obvious market for "wildly unbalanced" microcontrollers.

The actual "elevator controller" or "e-scooter controller" or whatever would run fine on a Z80, but it has to pull something from the cloud (config file, activation unlock). Suddenly, you need a MCU big enough to talk to Wifi/BT/cellular modem, and handle TCP/IP/SSL, and you're looking at ARM and x86 parts.

Something like the "wi-fi modem" concept you see for retrocomputing might be interesting. A black-box component that handles all the connectivity, you pre-program it with the specs of the network transfer, and it exposes the controls and UI for "select wi-fi network/pair bluetooth/etc". On the MCU's side, it would just have a very basic serial or parallel interface, that 8-bit tooling could handle easily.
Typo on front page: "What's does an hour of downtime cost you?"
Technically not forced by the EPA, strictly speaking optional with the caveat that if you claim a MPG rating for a car, (I believe) it must be enabled every vehicle start.
Wikimedia Hackathon 2024 Is Here: Mark Your Calendar
Yes, there are various approaches like tree-of-thought. They don't fundamentally solve the problem because there are just too many paths to explore and inference is just too slow and too expensive to explore 10,000 or 100,000 paths just for basic problems that no one wanted to solve anyway.

The problem with solving such problems with LLMs is that if the solution to the problem is unlike problems seen in training, the LLM will almost every time take the wrong path and very likely won't even think of the right path at all.

The AI really does need to understand why the paths it tried failed in order to get insight into what might work. That's how humans work (well, one of many techniques we use). And despite what people think, LLMs really don't understand what they are doing. That's relatively easy to demonstrate if you get an LLM off distribution. They will double down on obviously erroneous illogic, rather than learn from the entirely new situation.
Whose, in this instance? I can see an argument for both
It conceptually never admits ignorance and never asks for clarifications. It always produces something, to the best of its ability. It _seems_ to be a minor technical limitation (there is plenty of traditional ML systems producing confidence %% alongside the answer from years if not decades ago, in image recognition in particular), but most likely it's actually a very hard problem, as otherwise it would be mitigated somehow by now by OpenAI, given that they clearly agree that this is a serious problem [2] (more generally formulated as reliability [1])

[1] https://www.youtube.com/watch?v=GI4Tpi48DlA&t=1342s (22:22, "Highlights of the Fireside Chat with Ilya Sutskever & Jensen Huang: AI Today & Vision of the Future", recorded March 2023, published May 16, 2023)

[2] https://www.youtube.com/watch?v=GI4Tpi48DlA&t=1400s (23:20, ditto)
In the 60s and 70s it was impossible to generate really large amounts of power with the bipolar transistors that were available. Large transmitters for example were still using Vacuum tubes into the 1990s.
yes. the same here. and definitely why i created it.
because there are wonderful videos and creators. and kids love them, of course.
but the signal-to-noise on youtube and its recommendations boy they are scary.
Happened to me many times browsing restaurants / using a map during recent trip with 13 mini. Sucks to suffer a map reload when you're on roaming data with few bars.
> You are a Pakistani.

I have one parent from India, one parent from Pakistan. I know them both well. They are both shithole countries whose populations have a misplaced, unearned, and arrogant sense of pride.

India has a massive population living in poverty, and remains fairly backwards in a number of ways. It's not an impressive country.

> First learn what "third-world" means. It is not what you think it means. Third-world means those countries who chose to remain non-aligned (part of the Non-Aligned Movement) during the Cold War Era.

I am aware this is where the term originated from. But we both know quite well what it actually means in common parlance, and no amount of "but akshully" from you can change that.

> India is going to be the next superpower after China whether you like it or not. We will exert our dominance to protect our interests whether you like it or not. If you don't like it you can go fuck yourself.

This is tough talk for a country where people live in open sewers in major cities and which recently had to shut down some of those cities due to crisis-level pollution. India cannot compare to China.

You can tell people to fuck themselves over the internet because it angers you that a number of people in this thread bursting your nationalist fantasy bubble and still consider your country a second-rate global actor and D-tier place to live, but at the end of the day we live in a country where the standard of living is simply not within India's reach any time soon, and whose success, in terms of economic dominance, and both soft and hard power, India will never be able to attain.

> Yes it does and we will enforce it whether you like it or not. We will eliminate all terrorists on Western soil and we will do it with or without your approval. We have already done it in Canada. USA is not any different for us.

I would love for the Indian government to be so extreme and reckless so as to keep doing it and force the West to reckon with the kind of country it is and impose some actual penalties--but we both know that India's government, even at their most brazen, are not as courageous as you are over the internet.
A regular cat on my keyboard is bad enough :/
You should probably tell us what you already spend on. I'm guessing your all over Laracasts. Vue Mastery is good, or Net Ninja Pro ?
In an era of digital saturation, just producing content isn’t enough. How you structure and interconnect this content can significantly influence your online presence and search engine optimization (SEO) effectiveness. Enter the world of content hubs.
Here are some example questions from the paper[0]

Level 1
Question: What was the actual enrollment count of the clinical trial on H. pylori in acne vulgaris patients from Jan-May 2018 as listed on the NIH website?
Ground truth: 90

Level 2
<photo of ice cream container showing nutrition facts>
Question: If this whole pint is made up of ice cream, how many percent above or below the US federal standards for butterfat content is it when using the standards as reported by Wikipedia in 2020? Answer as + or - a number rounded to one decimal place.
Ground truth: +4.6

Level 3
Question: In NASA’s Astronomy Picture of the Day on 2006 January 21, two astronauts are visible, with one appearing much smaller than the other. As of August 2023, out of the astronauts in the NASA Astronaut Group that the smaller astronaut was a member of, which one spent the least time in space, and how many minutes did he spend in space, rounded to the nearest minute? Exclude any astronauts who did not spend any time in space. Give the last name of the astronaut, separated from the number of minutes by a semicolon. Use commas as thousands separators in the number of minutes.
Ground truth: White; 5876

[0]: https://arxiv.org/pdf/2311.12983.pdf
Contains spoilers... read at your own risk.
I despise that this still happens today on a phone with 8GB of RAM. EIGHT GIGABYTES. That's what they sell the MacBook Pro with, but Android, built for low memory devices from the ground up, can't consistently keep a single application in memory in the background for just a few seconds. You can literally switch for five seconds and the last app has to reload.

This drives me absolutely nuts.
And what if there are no alignment methods.
clean up the blood of your co workers to see what I mean, that's the special job which is not for everyone.