skysight-inc/HackerNews huggingface dataset:
People have done experiments trying to get GPT-4 to come up with viable conjectures. So far it does such a woefully bad job that it isn't worth even trying.

Unfortunately there are rather a lot of issues which are difficult to describe concisely, so here is probably not the best place.

Primary amongst them is the fact that an LLM would be a horribly inefficient way to do this. There are much, much better ways, which have been tried, with limited success.
I had totally missed CA being bought by Broadcom.

Given that CA already had the reputation of "where software goes to die", this is ... bad news for VMWare. (I'd heard that description from many in the tech field, including from a CEO who's previous venture had been acquired by CA.)

I also hadn't realised that Broadcom itself had originated at HP.
That was the script. Russian word for script is "scenariy", which is why I got confused.
Conscious/consciousness.

I like the thought experiment though!
When you buy a Steam key for a game on a site other than Steam, you have to redeem it through Steam. The download of the game (and any future re-downloads, updates, and potentially multiplayer services) will be hosted by Steam.
Tether, sorry and thank you, I'll edit that.
Calculators don’t solve the problem for you. Hence the fact that we have calculator based exams and people still completely fuck them up.

If your apple watch could just scan your exam paper and instantly tell you what to write then why would you ever learn anything?
One balance I've yet to find is how to handle the split between code-in-database (workflows stored in a database and edited via web IDE) vs code-in-git (workflows checked into the repo and only changed via the normal development+peer-review process).

It looks like Workflow is primarily the former (code-in-database), but provides an API to sync things from a git repo. Is there a mechanism to enforce the rule that certain scripts/functionality/secrets are locked behind workflows sourced from a provided repository?
I'm not familiar with rails, so sorry if your reply above inherently answered this.. So you're enabling the tracing with a call in your controller method, but how is the tool capturing function params and returned values for sub-calls in the respective controller method?

Is it waiting for execution to return to the controller method and polling the stack trace from there?
That's the dangerous middle ground I mentioned.

Google doesn't have nearly the same leverage and volume numbers to use against Qualcomm as Apple does, but even for Apple it's a devil's bargain. The licensing terms are incredibly onerous. If they updated them and you didn't agree, they used to just cut off your entire company's chip supply until that was ruled monopolistic and illegal. The royalties (one of the only royalties Apple actually pays) are substantial percentages of the final device price. Getting into bed with Qualcomm needs to be weighed against the risk to the rest of your business.

As a consumer, I buy Qualcomm modem phones, but as an engineer Qualcomm is only marginally below the plague on my avoidance list.
As non athlete with dubious fitness, the website does not speak to me. Like most sedentary Americans, I want to get fit but I have no fitness goals because I have no idea what to do.

The marketing seems to assume your customer are knowledgeable athletes who want an app to track their performance. I would introduce two more user personas. The first is the type whose New Year resolution is either to lose weight or build stamina. Your app should suggest a program like a personal fitness trainer, show them what to do, and track their progress and give them encouragement when they achieve some milestone. The second user has a specific goal but need help coming up with a realistic training plan For example, they want to pass the new Army fitness standards.

https://armypubs.army.mil/pub/eforms/DR_a/ARN35762-DA_FORM_7...
Transferring 2FA Tokens from Google Authenticator to Dashlane
Holy crap, 25 years of writing shell scripts and I just learned the difference:

With colon, tests variable for unset or empty. Without the colon tests only for unset. It's POSIX too:

https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V...
I've followed the Samsung instructions to try to keep it from killing SleepBot and Tasker, but I gave up and had to find workarounds instead. It should be easier to configure so you can make it not go to sleep for apps that set alarms or watch your other apps.
When looking at amount of jobs in the U.S. towards the bottom of the article, he forgets (or fails) to mention that lots of welding was likely moved overseas until recently. He seems a bit surprised about amounts of welding jobs going up again since 2010’s in the U.S. which is a rather narrow view of the situation in this regard if you ask me.
Sometimes i hate apple for being a walled garden. Sometimes i love them. This is one of those times i like the vertical integration appl has that keeps quality high instead of going the OEM route goog/msft went.

Now of course that can come back to haunt us.
Thanks a lot mate I will have a look and see if anything clicks!
> which you point out LLMs cannot do, would not be an issue in an appropriate RL setup.

Hm? it's pretty trivial to use a sampler for LLMs that has a beam search and will effectively 'backtrack' a 'bad' selection.

It just doesn't normally help-- by construction the LLM sampled normally already approximates the correct overall distribution for the entire output, without any search.

I assume using a beam search does help when your sampler does have some non-trivial constraints (like the output satisfies some grammar or passes an algebraic test, or even just top-n sampling since those adjustments on a token by token basis result in a different approximate distribution than the original distribution filtered by the constraints).
whoa, lot of history in this trick

https://news.ycombinator.com/item?id=26776956
The issue is that we consider passing peer review to be enough for something to be taken as truth when it should really be reproducibility/replicability. That, and the incentives currently driving academia are absolutely ridiculous. Paper mills are merely a symptom of academia's ills, not the cause of them.
https://www.jetbrains.com/lp/devecosystem-2023/development/#...

Flutter: 46%
React Native: 35%
Unity: 10%
Cordova: 10%
Ionic: 9%
Xamarin: 8%

Just one datapoint, of course - a survey of 26,384 developers.
Mostly ML, Data manipulation and Backend web dev. I've accepted a role in my company's tech solutions department and we do a lot for the data teams there as well as a lot with LLMs so I wanted to get a bit more proficient in Python as that seems to be the go to for a lot of this.
Oh there are so many more ways to become a graphics programmer than by starting with DX/VK/OGL. No need to use C++ at all. Look at all the amazing 3d graphics 3Blue1Brown does in Python.

Learn DirectX or Vulkan if you want to write game engines.

Learn WebGL if you want to write browser applications.

Those APIs are heavy though, and don’t even necessarily teach you that much about graphics on their own. If you want to learn graphics concepts, write your own rasterizer and ray tracer - both! - in any language you want.

There are also a bunch of super-easy-to-use graphics libraries & coding environments that are so much more fun than slogging through Vulkan or DX. Processing is wonderful. Or checkout PlotDevice.io (Python), or its predecessors NodeBox, or DrawBot. ShaderToy is another place where you can learn how to write shaders, or lots and lots about rendering, and it’s so easy to get started. JavaScript has lots of options and libraries. These can be way more accessible and motivating to a beginner, but still offer enough power and flexibility to take the curious student as far as they want.
Have you tried Noita[1]? It's a Finnish 2D roguelike game inspired by Liero. Has permadeath and is generally pretty difficult but in a good way.

You play as a witch, there are wands and spells that you can put in them to make unique builds with sophisticated wand mechanics. Every pixel in the world is simulated, like in falling sand games.

Really recommend it!

[1] https://noitagame.com/
While nothing affects me personally (always been an AOSP user via Lineage/Cyanogen), I know that at least some apps struggle with vendor "enhancements" that go counter to what users want. DAVx5 (CalDAV/CardDAV sync) is one I remember having warnings about OnePlus (2nd worst here) during setup and how you need to take extra steps to ensure syncing actually works, which is pretty important for such an app.

On vanilla, simply allowing permanent background or not seems like a great solution, I’ll allow it only where I really need it, and done.
Chiselled Ubuntu
Very nice walkthrough. Thank you for the calendar section.

I never need div, wrapper or container. Remnants of the old world. It’s body display:grid and then come the (subgrids) nav header main aside and footer without any class or id obfuscation. :)
Honestly, OpenAI seem more like a cult that a company to me.

The hyperbole that surrounds them fits the mould nicely.
Eh, there are things that shell is really good at, and there are things that other languages are good at. I will grant that shell is best for glue code; my personal heuristic is that I stick to POSIX sh, and if that hurts then I take that as a sign that I should be considering moving to Python or whatever. But avoiding it completely strikes me as a poor choice, because for the "glue together separate programs and manipulate files" tasks that it's meant for, it's really good and IMO everything else still falls short.
it's zero percent scientific actually
> The reason LLMs fail at solving mathematical problems is because

That's exactly what Go/Baduk/Weiqi players think some years ago. And superalignment is defintely OpenAI's major research objective:

> https://openai.com/blog/our-approach-to-alignment-research

> our AI systems are proposing very creative solutions (like AlphaGo’s move 37)

When will mathematicians face the move 37 moment?
Longer battery life is consistently number 1 on any survey of mobile phone users you'll find, ahead of camera. It's far and away what people care about. It's not surprising that phone manufacturers will do anything they can to improve theirs vs. competitions, including killing apps that are sitting there sucking up battery.

Longer battery life was the clear winner with 73% of people picking it as the most enticing reason to buy a new smartphone.[1]

60% of surveyed mobile phone users stated they would switch phones if the battery life improved (China) [2]

61 per cent cited battery as the key consideration, just behind the smartphone camera (India) [3]

76 per cent of iPhone owners and 77 per cent of Android users listed longer battery life as something that will get them excited about buying a new phone (USA) [4]

1: https://9to5mac.com/2021/03/19/iphone-buyers-want-battery-li...

2: https://www.gizchina.com/2023/05/08/do-you-have-mobile-phone...

3: https://www.businesstoday.in/technology/news/story/long-batt...

4: https://www.scmp.com/magazines/style/tech-design/article/218...
The statement you quoted also holds for humans. Of those who can solve grade school math problems, very, very few can solve mathematical problems at a research level.
The best hack I’ve found for iOS (iOS isn’t even listed in the article) is keeping phone in low power mode.
Unless they were very confident of acceptance, a top research prof would rewrite and resubmit before publishing on arxiv so that others could "build on it" (scoop you at a top conference).
I believe that the ideal end goal would be that a cryptocurrency is a closed system where a person could buy, sell and earn all in one currency. At that point if it grows big enough price will stabilize and more and more day to day commerce will move to the blockchain.

Bitcoin and Monero have always been able to send transactions instantly and for Bitcoin, essentially free for over a decade with zero down time. That beats the pants off Visa and MasterCard.

Why use an inflationary currency that costs 2% to spend and takes 30+ days to settle?
Say I want to launch a vm with 8GB reserved memory. On a 10-12 GB machine I would have 2 to 4GB of memory left to actually allocate to the system. I don't see how unified memory magically fixes this. It's actually worse because even more memory has to be shared with the GPU.

This is like saying a 8GB disk is actually like a 10-12GB disk elsewhere.
One caution: SPAM isn't actually cheaper than ham, it's just shelf stable without refrigeration. You can get a decent spiral ham for well under $3.29/lb (Costco earlier today), but 12oz cans of SPAM work out to around $5/lb.
Went with a Brother, wish me luck ;)
> You can choose to join a hippie farming commune.

It is very difficult to reply to such a sentiment in a productive way

I want to live in my community, I want my community to exist in peace until it changes, by natural evolution, into something unrecognizable, and to keep doing until the end of time

True, I could abandon my community and go live in a monastery. Or I could gather up the greed heads and gun them down like dogs

I choose neither

I choose, chose, to do the work to change the world one Hacker News comment at a time....
Extreme opinion, detached from reality.
This tweet saying that Marissa Mayer will not be on the board has me asking the obvious question: Will Marissa Mayer be in the board?
I don't have much sympathy for this idea. The vast majority of apps don't need to do anything in the background, but almost every app thinks it's the only app on your phone and wants to be running and online 24/7 so it can constantly send you notifications, mine your personal info, and upsell you on crap you don't need.

This is why we can't have nice things. It's a tragedy of the commons where the commons is your battery and your data and your attention.

Phone manufacturers try to restrict this nonsense as they should, but the better solution is to give users complete control over background behavior, with the default being "none."
Do you mean logical?

Types absolutely do prove logical correctness. In fact that’s all they do. However they can only prove the correctness of logic that’s type encoded. If your program is a primitive soup, there’s not much logic for them to prove.
He paid living wage, provided affordable safe housing and had (for the time) racially diverse hiring (as long as you weren't Jewish I guess). He certainly wasn't in favour of organised labour, collective ownership of the means of production, or anything remotely approaching democratic socialism. My language was to outcome not belief. "A fair day's pay for a fair day's work" was a banner slogan he got behind to defeat his competitors. Of course with his obsessional belief in time and motion study (Taylorism) what he thought was fair, was completely inhumane.

He refused to recognise unions & collective bargaining for decades. He was a complete scumbag, personally as far as I'm concerned. But paying high, employing black workers and immigrants, and fixing housing isn't bad.
I would love to see this for Laravel.
Can't you close your apps when you don't want them to stay open?

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 my search would be gone.

So no please, don't kill my app when I don't want you to.
There is finally (since September 2023) support for subgrids in all major browsers. This was a much highly requested feature needed if you cannot put grid cells directly into the container, for example a table where each row is a div that contains the cells. Previously you could not apply widths from the table's grid layout to the individual cells, each row needed its own grid layout. Now grid layout can control grand children of the container.

https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_grid_la...
Of course, those very same users then also want their chat messages and calls to actually work and work immediately. Their health data and step counters to sync. Their GPS trackers and location sharing to be SPOT ON and never lag behind the real world. Their music to keep playing and their chromecast controls to keep working. Their iCloud and Google Photos to sync if their phone gets stolen or dropped into a toilet.

But sure, it's the battery - it's just that the best way to save the battery (turn off the phone) isn't REALLY what's important ;)

And comments like yours are funny on this very site, because what this site complains is OEMs killing competition and choice by selecting apps that are allowed to be used - e.g. apps like Signal are the ones that suffer the most because they're not blessed by exceptions.
Like others said, a well configured and not too locked-down Windows machine would probably be bearable, although I’ve only had Macs, Linux machines and Chromebooks in the last few decades.

But I’d certainly think twice about starting at a company running on MS365, as I’m well spoiled by using Workspace for almost a decade now.
> I'm not sure if it's been updated since then.

There seems to some updates, https://dontkillmyapp.com/samsung shows update from 2021
Google is the next Blackberry, it just hasn't happened yet. Unless they can get a Nadella, and really transform the company asap, they're in a death spiral.
On OpenAI's Board, and why I think they were right to remove Sam
În a pseudo science world LLMs are mirrored language output, if we’re only scientifically true maybe not that successful or be popular
..and now all that's left of Sun is the wood on the back of the Meta sign.
You missed the point. Deep learning models are in the early stages of development.

With recent advancements they can already outperform humans at many tasks that were considered to require AGI level machine intelligence just a few years ago.
Nature: Nutrient in Beef and Dairy Improves Immune Response to Cancer
Scientists at UChicago discover that trans-vaccenic acid (TVA), a fatty acid found in beef, lamb, and dairy products, improves the ability of immune cells to fight tumors.
Another vote for Dell Ultrasharp, and I _am_ a developer.
Now if only it had native tab grouping (and vertical tabs, sigh)... all the extensions supporting this are quirky, with subpar UI. I know it sounds nitpicky, but if I spend a lot of hours staring at a piece of software, I want it to be at least not displeasing.
The "tech bros" were right: The board absolutely were conspirators wrecking the company based on dogmatic ideology. "Tech bros" had clear evidence of Sutskever, Toner and McCauley's deep and well-known ties to the Effective Altruist (EA) movement and doomerist views. Nobody can doubt Sutskever's technical credentials, whatever his strange beliefs, but Toner and McCauley had no such technical background or even business achievements. These members instead were organizers in EA and researchers in the "field" of AI governance and safety. This is no expertise at all. These "disciplines" are built more on Yudkowsky's rants and hypotheticals and the precautionary principle gone mad than any empirical research. These ideas also come from a cult-like social movement (EA) accumulating power across tech and government with few scruples, as shown by SBF's implosion last year and many smaller incidents. How could Toner and McCauley assess briefings if they couldn't assess the technical fundamentals? How could they foresee the consequences of sacking the CEO if they didn't understand business? If they already believed AGI would kill all humans, how could they judge new advances on the merits without jumping to wild conclusions? Instead, us "tech bros" felt people with this background would fall back on uninformed, reactionary, and opaque decision making, leading to wrecking an $80 billion business with no decent explanation.

This now seems to be exactly what happened. The board saw Q* and decided to coup the company, to put all power in their hands and stop development. This by itself is bad enough if you care about open science or progress, but it gets worse. They didn't even want to hint at capabilities increases to avoid "advancing timelines" i.e. Open-ing knowledge about AI, so they made up some canard about Altman's "lying to the board" to hide their real reasons. This is vile libel for unscrupulous ends. When they realized this excuse wouldn't fly, they obfuscated and refused to explain their true concerns, even to their own handpicked CEO Emmett Shear. However, it turns out that destroying $80 billion and lying about why won't fly in the real world. The board had no second-order or even first-order thinking about the consequences of their actions, and were rolled up by bigger actors. These people were unprepared and unable to follow up their coup.

This failure is exactly what you'd expect from a brilliant scientist with little organizational experience (Ilya) and social-science academics and NGO organizers (Toner and McCauley). I don't care what gender they are, these people neither deserved their authority nor could use it effectively. Dismissing valid criticism of the board as "cyber bullying" or "tech bro sexism" merely underscores why most engineers hate DEI rhetoric in the first place.
> You have all the choice in the world

Untrue. Choices are very constrained. We are not isolated individuals, and we need our families and communities

> If you want, you can literally go and do subsistence farming

That would be very selfish. And wanting to place limits, short of infinity, on private wealth is not a vow of poverty

> there are plenty countries in the world with extremely lax visa situation and plenty of empty land.

No there are not!
Would like more info on [1]. I work in the area of cutting costs (also privately - gave up coffee as it was a waste of money, for me): with money being finite, what you can save is often worth more than what you can earn.
I heard recently that BMW have back pedaled from subscriptions due to the massive backlash, so maybe that's a small win? don't know
There's a big difference. If you process stuff locally, uploading the entire unprocessed data to the cloud would spark a lot of criticism. So, you are stuck running analysis locally and uploading things like relevant ad topics.

If you run your processing through the cloud, there is no optics or bandwidth cost of keeping the entire raw data as long as you want, let humans review it, and figure out which metrics to extract from it at a later point. I would say, the latter raises more privacy concerns than the former.
One is reminded of how the percentage of women in symphony orchestras shot way up once they started doing blind auditions
Storage Spaces Direct is a sure plan to have data loss.
Such a piece of %#(
Great idea. Vercel hates this one weird trick :-)
If the knowledge was obtained by genuine reasoning, that implies that it could also derive/develop a novel solution to an unsolved problem that is not achieved by random guesses. For example, the conception of a complex number in the first place, to solve a class of problems that, prior, weren't even thought to be problems. There's no evidence that any LLM can do that.
Maybe; he still needs to finish his damned homework and remember to turn it in. And eat some vegetables.
That’s all we’ll and good, but neither does it contradict TFA.
> Except that there's a fairly large body of evidence that persuasion is of limited use in shifting political opinion.

The Republican Party's base became isolationist and protectionist during 2015 and 2016 because their dear leader persuaded them.
I don't know whether this particular article is bunk. I do know I've read many, many similar comments about how some complex task is beyond an conceivable model or system and then, years later, marveled at exactly that complex task being solved.