skysight-inc/HackerNews huggingface dataset:
>>It will cost taxpayers billions of dollars.

Why on earth would, or should it cost that much? Unless they go full on "not invented here" and write it running on a IBM Mainframe running COBOL that they then pay an over priced consultant to somehow make web compatible
This is amazing! A hacker friendly Cybiko/TwitterPeek with the power of Matrix. Feels like the ultimate chat device.
> A full regenerative process and outcome, along with reformed canopies, will likely take 200 years according to the Sempervirens Fund, an organization that helped create the park and is exclusively dedicated to protecting to redwood forests of the Santa Cruz Mountains.

Ecological and geological time is always a reminder of how brief the human lifespan truly is. 200 years is the blink of an eye for an ecosystem, but lifetimes for us. It's inspiring to see people work on restorations that they will never be able to appreciate in their own lives.
I think it's a natural consequence of miniaturization and other technology advancements. With today's technology you can hide a hardware backdoor inside a counterfeit version of a chip and the only way it could be detected would be to de-cap the chip and examine it under an electron microscope.
Fine as in trying the warm waters of the tropical beach Amundsen–Scott South Pole Station? Or fine as in the memorial of the country once known as the Netherlands?
The majority of high school graduates can probably easily file their taxes, since their income is likely entirely W-2.
I switched to iOS recently. It is worse in every conceivable way. It's much buggier, harder to use (lots of hidden UI and surprising inconsistencies), and less flexible. I can't change defaults, and Siri is unfathomably bad.

I'm not going to switch back for only one reason: iMessage. I'm using a phone/OS that I absolutely loathe every day and causes me rage aneurysms, but the iMessage network effect is too strong for me to switch back.

This is why regulators need to do something about the wireless market (operating systems, carriers, and app stores). These companies don't have to compete the way they should.
> If you have a first pass where you try to detect manipulative input and reject the prompt entirely, then you don’t need to make the response model as resilient to manipulation.

At some point, distinguishing between subtle gaslighting and legitimate queries may be too expensive or yield too many false positives to be of practical use.

> Further, if you sufficiently discourage manipulative prompts (either by suspending/banning manipulative users, or simply prosecuting them under CFAA) then most people will mostly stop trying. This is pretty close to how humans already process input so it seems like a natural next step for the AI.

Right, but it's important to note this is not a solution in the sense we're used to with technology. Making something illegal is useful to significantly reduce the amount of incidents, but it doesn't do anything against an attacker that is content with breaking the relevant law.

EDIT:

I suppose there is one way that could be a solution, at least asymptotically so - train another AI model, which would monitor neuron activations of the LLM, looking for patterns indicating deviation from the rules as initially understood, and if such pattern is detected, have the model correct it (hard) or terminate the LLM and start a new instance (easy).

If this gets implemented in practice, let's pray none of the AIs subject to such treatment ever become sentient.
I assume you mean that your editor is able to autocomplete that something is a context.Context.

I assume what the GP means is to infer a strong type for a struct that has all the data a context has in it. This is much harder, for many reasons. A context that comes in from one path may have a RequestSource in it, but another may not; the resulting type of the function is rather complicated to infer. We prefer not to have two different functions as a result. There's also the problem that such inferences end up strongly tying types across many functions together, such that up in some middleware for your web site you add a new value into the context, and if there was a strong type for that context, that strong type would cascade throughout everything that could someday possibly touch that context. The result is much like checked exceptions in Java.

This is perhaps the hardest practical type problem I know. It seems to me to be very related to a similar problem, which is that of trying to strongly type errors. The sort of cross-scope type inference we envision in our heads is extremely unwieldy in practice, if you take the time to try to scope out what that would convert to in a real program with many nested scopes and arbitrarily complicated paths in to those scopes, plus arbitrarily complicated closures being passed around that further impact the types.
The screenshot looks like swaybar, a programmable status bar for Sway.
If you can ever compensate for them at all. It’s basically impossible to make lifelong friends after 35-ish. Maybe that’s why all the seniors I know are inflexible about relocation, among the many other reasons. Too much damage for a job you might not even like (who knows, it can go either way despite best attempts).
My social life improved with remote work. Suddenly, I wasn’t mentally exhausted at the end of the day and could go out and hang out with people instead of passing out at 7pm.
https://archive.ph/F4sbN
Reply within a hour, thnx hn ;)

Intrigue. Looks like it was removed from the SIPI db?

https://sipi.usc.edu/database/database.php?volume=misc

World needs a new 600 DPI reference scan. To the Playboy Archives!
Planned. The US debt is currently $31 trillion. The monthly servicing costs for this debt (as of 2022) is approximately $35 billion dollars. The US has roughly $270 billion dollars per month in income tax receipts. When the US hits the debt ceiling the Treasury will no longer be able to get new loans, but as far as servicing the existing debt, no problem. The US has no need to default on the debt if there is no deal on the debt ceiling, it will just have to cut future spending.
Roblox is a scam. The biggest games in the world like csgo still allow and cekebrate modding, itself originally being a halflife mod.
I don't quite understand how this would work physically.

You'll want to be simultaneously using your phone for directions/music/etc., which means that instead of mounting your phone against an air vent or similar just below the windshield...

...you'd need to be mounting this much higher, yet still within arm's reach, so it could see out the windshield but where it would be significantly obstructing your view of the road.

I don't see how that would be safe at all.
Ketamine is definitely addictive for a lot of people.

Rapamycin isn't one I've heard of before, but it looks like a does-lots-of-things drug: Wikipedia says it's an immunosuppressant. I'd recommend against DIYing that for a different reason.
see also: https://stackoverflow.com/a/1732454
In Hungary the tax authority just calculates what you owe automatically and you can make amendments online if you want. It's pretty embarrassing that the world's richest country can't solve this problem.
How is justice getting served in this case ?

>During her time leading the company, Holmes was able to raise millions of dollars from high-profile investors, including media mogul Rupert Murdoch, former Secretary of State Henry Kissinger and Oracle founder Larry Ellison.

Lesson - Should always invest where the rich and influential are investing.
Taking them for a ride, hurts their ego, and they ensure the rest.
See Bernie Madoff.
Some amount of standardization is good and appropriate. I strongly believe that a dev’s tools are their personal choice, though. Barring ludicrous choices, like writing code in Word or TextEdit, let people use what works best for them.

This particular manager insisted I drop Emacs and learn his IDE du jour, even though I’d been using and tweaking my setup for well over a decade at that point. We ended up having a conversation about the appropriate amount of managing of a professional staff.
No, that is what I find exciting! The AI model runs entirely on your device, and your data is never sent anywhere. You can inspect the Developer tools of the extension if you are interested: it works offline!
Russian CPUs Double the Price Due to Deficit and Logistics: Report
That too is fine. Congressman is listening to lot of constituents. Nothing wrong in taking your message at higher precedence than CEOs.
And, like all software, it is not a one-time cost. Maintaining a system like this is an ongoing cost for decades to come. Well-spent money.
Sort of. Most common relocation packages vest over two years and cover some costs. Only the very best packages compensate you for the loss of money on your house in the market and I’ve yet to see any packages that compensate for inflation-adjusted loss. Most of the time if you get fired 6 months after relocating you owe the company 75-100% of your relocation package depending on the vesting terms.
Not on my machine. After Win 3.1, Win XP Sp1 was the first system that was stable, otherwise I needed to reinstall them constantly.
It all depends. I am remote for the last 20+ years. I have my own company but still I have to find new clients and I did not really have problems in that department.
Knock notifications now supports schedules/cron
Or why airlines are refusing to take deliveries of Boeing planes from a certain factory but not the others. If it's difficult to maintain consistent quality inside a single company, it's no surprise that differences like this can show up in "identical" CPUs fabricated by different companies.
that's being very generous, but i doubt that's what was truly meant. phrasing it that way would be a marketing statement on why to continue using their software over the free version from the gov't who would have a vested interest in you not using all of the deductions possible. those statements will absolutely be made soon. right now, they are only trying to get people to think it is a boondoggle that should be canceled like the superconducting super collider
Belgium, obviously.
If I sold my house right now, I’d have to realize $150k loss.

If I were to buy a new comparable house, I would pay double the mortgage rate.

The highest relo package post tax I’ve received is $32k ($50k pretax, but in California)
You don’t start from scratch. You sell your existing house, which has benefited from inflation, then buy somewhere with the same mortgage payment over the same remaining duration you had if you choose not to trade up.

Yes there are significant transaction costs but it isn’t as though you are starting again with your housing equity.
This is incredible. This could have saved me perhaps hundreds of grams of filament. Your userbase must be exploding!
Consider the following frame/time from the video:

https://youtu.be/lnA9DMvHtfI?t=311

At this point in time in the video, we see the following 3 things:

1) Fourier Series

2) Taylor Series

3) Neural Network

The remainder of the video goes on to show how Neural Networks can approximate functions -- much like the Fourier Series and Taylor Series can...

Now, I don't hold an advanced Ph.D. degree in Math, and prior to watching this video, I had never made the connection between Fourier Series, Taylor Series, and Neural Networks...

I knew about each of those independently -- but prior to watching the video, I never made the connection that they can be used to approximate one another.

And that's the one of the key words -- approximate.

The other key word is Identity -- as in Mathematical Identity...

That's because IF two Mathematical Objects (functions, algorithms, call them what-you-will) are approximately equal -- then there should be a set of conditions (i.e., "If and only if...", etc.), a set of rigorously defined mathematical constraints which, if those conditions/constraints are met, then the two Mathematical Objects are exactly precisely equivalent -- under those rigorously defined conditions/constraints....

In other words, under those rigorously defined conditions/constraints -- one Mathematical Object could be substituted for another -- with no loss of precision or result.

In other words, under those rigorously defined conditions/constraints -- those two completely apparently different Mathematical Objects -- function as an Identity.

In other words, under those rigorously defined conditions/constraints -- you can use one to understand the other...

You see, I really want to understand what ChatGPT and other AI models and their "hidden layers" -- are doing behind the scenes -- in terms of the most granular, most exacting, mathematical precision possible...

Mathematical Identities -- for example, if we could swap out a Neural Network and replace it with a Taylor Series -- under specific conditions which guarantee exact, not approximate equality, would probably help a lot of people understand Neural Networks (and AI in general) better...

I know that would be the case for me...
If I can jump in here: it's something like "be very careful when making extreme claims, because they probably won't be believed. If your claims turn out to be false, then they really won't be believed next time."

So it's about trust and reputation. If the village elder, whom everyone trusts, cried "wolf!" the villagers would be inclined to believe him.
Productivity is an end for some organizations/people. Personal stability is an end for some people.

My main goals at work are being engaged, working with smart people, tackling problems with impacts I care about, and developing deep expertise. I think the markets are fairly well established for skilled labor to dictate what they want from work and choose career paths and companies that suit them. I know SWEs that have worked at the same company for 20+ years. I know SWEs that only accept 6 month work contracts or shorter. I know SWEs that have switched continents several times in their career, and SWEs that have never lived outside of their birthtown (expect for University).
biohacking feasibility?
The complexity of the tax code is a result of the starting assumption that all income belongs to the government and anytime they exempt some kind or level of income that is a "cost" to the government that then has to be offset by other rules in the tax code
I think you may have just stumbled onto the new Turing test: when confronted with the confusing world of Javascript frameworks, does it make a choice or collapse into a state of complaining about javascript frameworks.

I’m not sure which would be the most human response though…
A few things I do:

- have a separate email to sign up to various websites with so I can separate my inboxes.
- religiously use email filters to archive or categorize emails based on sender or keyword.
- I have a custom script that uses GPT-4 to read new emails, categorize them as important, and summarize the long ones - then it sends me a message. Trying to find ways to further improve this as well.
Good. They will hire remote or go the way of the dinosaurs they are.
Don't lie so people can trust you.
Sure, it might. But that doesn't mean things like schedulers or I/O handling haven't improved and got better in terms of latency or at handling various workloads.

Other things that may not be noticeable to most people but matter to others may also have improved, such as audio latency; I don't know how e.g. Pipewire or PulseAudio compares to plain ALSA in terms of that, but at least plain ALSA apparently wasn't enough for audio work back then because there was Jack, and I'm also under the impression that latency and responsivity in general have improved a lot on the kernel level as well, and not just in terms of audio.

Open source graphics drivers have also improved a lot over the years. Perhaps the entire graphics stack has, or perhaps overhauls of the stack have facilitated some of the improvements in the drivers themselves, but I don't have enough expertise to judge that.

Improvements (or degradation) in performance are rarely something that happens evenly across the board.
The average Linux desktop has never been fully standardized. The average Windows desktop today (let's say, W10/11) is descended from W7 which was arguably really consistent. Even if they took W7 and bastardized it by introducing 10 different design languages (Metro, Modern, Fluent, new Fluent, ...) there was something to build on top of. On Linux, there are some GNOME guidelines, there are some KDE guidelines, nothing really universal. As much as I dislike the general macOS experience, Apple got it right early on by simply forcing you to adhere to the general vibe of the OS
The list you named is a bit strange, I wouldn't put something like docker anywhere near the others, their innovation isn't really on the technical side.

If I had to take a guess, a lot of these places are close to hardware.

Working with hardware has the additional bonus of often mandating high performance. Any task becomes a lot more exciting when you have microsecond deadlines for controlling an industrial laser.
Huh. I didn't realize the Pinkerton's were still a thing. Its interesting to see an example of how they operate nowadays when they aren't able to roll in armed and ready like the good ol' days.

That being said, I suppose them threatening to call in the police does that for them.
IIRC Gnome is one of those projects where it can be VERY difficult to get a PR submitted because the developers have Opinions.
I've been to System Source and I can highly reccomend it. The curator, @inversephase is awesome and super knowledgeable. Tons of fun to talk to.
Remote for 20+ years. I am in Canada
>for a variety of reasons I have a major aversion to Microsoft Internet Explorer 4.0 and higher: I do not want to use it and I do not want it present in any form on any computer I own.

I'm always at awe when I see these kinds of Stallman-y statements. This unrelenting, uncompromising, passionate defense of something that I personally just don't give a shit about is fascinating.
I'd take a paycut just to work from home. My parents aren't getting any younger and I want them to spend time with my children and I want them to experience small city life.
Spoilers! But I vividly recommend this game to everyone. Do go in blind, though.
The manufacturer of the heat pump system is rarely the maker of the refrigerant but they maintain a close relationship with them. That relationship would be harder to maintain if they suddenly decided to use a very common substance rather than the Dow, Carrier, or Honeywell r410a. It’s likely these companies would be happy to sell r744, but the margins are not going to be as good.
The local feed on Fosstodon has been a breath of fresh air in a world of algorithms and clickbait competing for my attention. Feels like a community from a bygone era (in a good way.)
I mostly saw just some tool kits to disassemble and some mouse glider feet for sale, hopefully they catalog will expand soon or if it is comprehensive be easier to find through their search.
Big ups
I agree but I think we will find that emotional trauma is also a big component of the multifactorial causes.
Thanks, I don't have much knowledge of semiconductor industry. I know there are a few SWE employers not too far from Andover (Vodafone, IBM) that can pay well.

Are salaries quite low in semiconductor industry?
I just hope they break within a year and I get a free new one from amazon. I wonder if it's illegal to knowingly buy products that will break down within a year with the intention of getting a new replacement.
I've already seen other posts and comments on HN where people have talked about putting it into production. What they've found is that the burden of having to proof-read and edit the output with extreme care completely wipes out any time you might save with it. And this requires skilled editors/writers anyway, so it's not like you could use it to replace advanced writers with a bunch of high school kids using AI.
Soooo did you come up with good habits to handle the thoughts causing stress and anxiety? Was the change good or bad?
We could have gone Nuclear and saved ourselves by slowing down this process.

But Greenpeace and other eco activists were outright against Nuclear.

Now we are still depending on Coal and Fossil Fuels.

So much for saving the environment.
We've reached the point just past the elbow on the Moore's Law graph where things are skyrocketing. Any projections we humans make about the future advancement of AI are hopelessly inaccurate.

For example, running a GPT-4 model on your laptop will likely be possible in the next five years*.

*It may even happen within six months. At that time, much of the concern surrounding private conversations with an LLM will evaporate, and attempts to regulate its use will likely be hopelessly ineffective.
Top Research Papers on Diffusion Models for Image Generation
We've distilled the essence of 6 groundbreaking research papers, including Stable Diffusion, DALL-E 2, and ControlNet. Check out the article if you are interested to follow the development path of diffusion models for image generation.
I actually think this is the core cause of a lot of current popular hate of capitalism - shitty managers (I'm thinking the /r/antiwork sort of sentiment). People conflate shitty managers with how the system intrinsically works, which is an over simplification.

Now there is an argument that operating in our 'capitalist' system introduces incentives to be a shitty manager (I think this is approximately Chomsky's perspective).
I’d laugh in their faces as I slammed the door.
A raw dump of companies from all over the world by LinkedIn handle
This should have been started a decade ago. The in person tax preparation companies in particular have a shady pricing model and make their money off of two groups - People with more complex returns (to be expected), and helping themselves to a slice of welfare from Earned Income tax credit filers (not ok).
Enjoy it man. Less stress and no commute is the way to go. Small city life FTW!.
> Freaking NDISWrapper still gives me nightmares

Whoa, the memories to NDISWrapper. And 802.11g
Prop drilling specific telemetry everywhere in the ecosystem seems much more painful in comparison.

C# is pretty neat in having an AsyncLocal[0] that goes beyond what thread locals enable

[0]: https://vainolo.com/2022/02/23/storing-context-data-in-c-usi...
It looks like the site was taken over by a squatter who replaced it with adult content.

This goes to show how important it is to buy domains for multiple years...
To me a missing part of the puzzle/article is simply this. What percent of people have moved in the past 3 years? People aren't pure homoeconomicus on just the CoL and their potential salary. There's a human part of not wanting to move because they have done so recently. It's all the social/emotional toil that others have mentioned.

1. Friends

2. Learning a new city, where is the good pizza, where is the gym, etc for your context

3. Shifting to local cultural norms, like tailgating (both on the highway and at footbal) is just a way of life in Austin, TX.

4. the nature of nesting, converting a building/house into "home", spending weeks or months adjusting to the new surroundings for sleep[1]

5. changing your mailing address on dozens of accounts, drivers license, insurance etc.

6. Finding a new doctor/accountant (and the multistate complexity)

It's actually a wonder we're as mobile as we are when you enumerate the barriers.

What did I miss?

[1]: https://www.ergoflex.co.uk/blog/category/sleep-research/how-... this was the best article i could find quickly, but I seem to recall the effect actually lasts months. Granted this happens when you move locally too.
The 'anonfiles' link you posted tried a bunch of sketchy stuff on mobile. Use a better image host.
That’s a glass has some water in it point of view.

There are 1.5 billion cars in the world, and people keep them for over 10 years on average.

1.5C is inevitable this decade, and we’ve known about the problem for half a century.

I’d say we haven’t done much.