skysight-inc/HackerNews huggingface dataset:
The last time I had to work in an office was my first job out of college almost 17 years ago. I told myself then that I didn't want to do this ever again. The next job I had was remote and I've since either had my own business supporting me or contracts/work that don't depend on any location.

If you want to work remotely, you can't rely on the kindness of a company's heart. You need to have it in your contract from the beginning.

I know people that moved multiple states away during the pandemic and were then told to either relocate back home (company wasn't paying) or be fired.
In the early days it was a bonus if something was OC ("Original content"). Now it's frowned upon.

But I think it's not just a cultural shift, but from being burned by everyone hustling for something. People want to drive you to their dropshipping business, their woodworking course, their OF, buy their self-help book or whatever.
This is very cool, especially the automatic proof generation!

That said, I wonder if it would make more sense to use an SMT prover as fallback rather than a SAT solver. The latter requires converting the 32-bit operations into boolean circuits, which might not be the most efficient way to solve the problem considering modern SMT solvers such as Z3 and CVC5 already have built-in efficient support for bit-vectors?

In fact, I believe that's what Alive2 [1] does, which is a similar tool (although with slightly different goals).

I think it might even be possible to make this work for 64-bit vectors with SMT (in most cases).

[1] https://github.com/AliveToolkit/alive2
It's an ML story. The article specifies that the current (now previous?) state of the art models are numerical, crunching vast equations representing atmospheric physics.
The flip side is their stock options are generous, they have (had?) generous hiring bonuses and their salary was good enough, and you got a top 10 business on your resume.

Then, there is always a chance you land on a team that isn't dysfunctional at least for a couple years and you learn a ton. Amazon allows you to learn in abundance when you work on a functional team.

Eventually, the system eats you alive, or you move high enough up the chain that the system changes
True, we need a small website search engine search engine.

In all seriousness though I have forgotten the name of this site at least 5 times, and have to look it up every time (and sometimes it is hard to find)... perhaps a rebranding is in order.
we've actually had the opposite, insofar as we are leverging remote technologies to enhance mentoring and training where meatspace critically falls flat.

Things like (a) using remote screen sharing for facilitating pair programming (much better received than sitting next to each other), (b) slack threads for persistent (searchable) on-the-fly collaboration and documentation, (c) focus on async communication which focuses sync (e.g, zoom meetings) to be more impactful, vs meatspace meetings which often devolve into creation of cliques, time-wasting, etc.

I wonder if what you may be optimizing for, via meatspace, is actually socialization, vs productivity. I agree there is a role for meatspace, but I don't think that necessarily entails degradation in mentoring and knowledge-sharing, vs other benefits to socialization (e.g., morale, transmission of culture, etc).
I did. It was terrible for my mental health.
Pretending you're someone else won't help you if all you ever do is post links to the same site/youtube channel. In my experience the vast majority of the people who were banned for self-promotion weren't doing anything else on reddit except self-promotion. They'd create accounts then put in the absolute bare minimal amount of effort to get enough karma to create posts, or they'd buy up old accounts that already had some karma, but it was clear from their histories that their entire purpose in using reddit was exclusively promotion.

They could have easily spent a few hours a week exploring and meaningfully participating in other subreddits that interested them, but they had no desire to spend that time or be a useful part of any community. They just wanted to draw viewers to whatever they were promoting.
People Are Watching Videos on Phones While Driving. Often, It's Perfectly Legal
RHEL and Alma Linux 9.3 arrive, with Stratis included at last
Arm in inevitable for the server. It's interesting how now days, efficiency/power consumption is a consideration over pure raw performance.
Iowa averages about 200 bushels/acre for corn, and a bushel is 56 or 70 lbs. (depending on if it's kernel or cob).

So, somewhat less than an intensive field crop, but the same order of magnitude.
Indeed, and that was always the logical conclusion. We've never made perfectly effective vaccines that fast and we knew the virus was global. It was always going to find its way into China and run rampant to everyone without immunity whenever society opened back up and all of that is assuming their isolation actually works to begin with. There was no other option and I struggle to understand how that wasn't plain to see even in early 2020 when we had confirmed cases all around the world.

Were we really banking on making a perfect vaccine before the world couldn't sustain lock-downs? If not, what was the "real" plan? I believe it was probably all just political game-theory, but it's hard not to wonder if there were people at the top hoping poor people could take the brunt of the contagion and die off before the rich people started going back into public.
Well, it's a good point no? If the universe is expanding as the photons propagate they are spread out into that larger sphere. So for the purposes of light gathering, a galaxy 13 billion years in the past has its photons spread over that much larger sphere into even greater invisibility. Although I guess in this case they were spread out into the larger sphere at the point of the expansion of the universe of a few billion years ago before being focused towards us - so. Some value significantly smaller than 46 but a lot larger than 10. Which makes it even more amazing to think about.
Microsoft Custom Silicon, Maia, Athena, Cobalt
FWIW, I think JavaScript is an awful language as well, just for different reasons than I dislike VBA.

VBA in my experience has too many quirks that can't be wrapped in a less-quirky general purpose function. For example, I was just working in Word and was reminded that as soon as tables come into the mix, the order of text in the document is no longer linear in terms of numeric range values. E.g. text might have a greater numeric offset value in the document than text that visually appears after it, if the first text is inside a table. I've had Word VBA get confused about this, and extend a search loop outside the range I gave it to search within and start returning content in other parts of the document. Why would I trust a language like that for anything important?

MS should really have just gone forward with a .NET replacement, IMO. C# is one of the best things they've ever invented.
It still is. I farm outside of my day job and trying to schedule time to do things like cut hay is sort of a crapshoot. Hay needs a 3-4 day window to dry, rake and roll. This year I got rained on at least twice on days where the NWS showed clear and sunny for 3 days on the spot forecast. 20% or 50% chance of rain is almost useless knowledge. We went for weeks with a 20% chance and it never rained. We still got everything done but it sticks out a lot when you are watching it closely.
Standard for corn with intensive agriculture is about 10000 lbs/acre/year.
Lots of these sort of rooms have a kitchenette, with at least a cooktop and small fridge. At least the more modern versions The are bigger also, and sometimes suites (e.g. a separated bedroom).

I think some of the older ones had shared kitchens, more like a dorm setup.
It's a chaotic system, one could equally well wonder how it's possible at all, even given insane amounts of compute, especially forcasting days and weeks ahead...
I’m sure 90s workplaces were relatively better, but bliss? That was the heyday of Dilbert, Office Space, Fight Club, American Beauty, and The Matrix.
It's why I mentioned our maintenance notifications. I know our DC has lost utility power and not been an issue. Those types of outages you need a plan for at any DC. I'm sure if someone took a dump truck to our DC it would shutdown in a different way. Our plan is using our AWS direct connect to roll everything over to AWS.
Land ownership currently also encourages making the most money from the land, but an LVT makes speculative holding more expensive encouraging landowners and developers to actually utilize the land effectively in urban spaces.

What do you propose is the best measure to guide land use and what policies can be put in place to align those principles?
its actually about a government agent man being able to sit down and look on any phone that has google on it. than it is for anything else. 8b is chump change when its not your money.
> The vast majority of these companies are shitty, fly-by-night companies that can't scale up to maintain their network.

They really aren’t, it just turns out it’s a hard problem. Electrify America was founded by vw as part of the diesel gate settlement.

ChargePoint has been around for almost a decade.

Then there are a bunch of OEMs producing chargers for the likes of gas station chains and automobile mfgs.

About the only place you’ll find fly-by-night nobody’s is in the home charging space and even those are few and far between.

It takes a LOT of capital to build a charging network.
"Multimodal" GPT4 has been completely underwhelming for me, many questions that used to get answered correctly instantly are now a "Browsing with Bing" spinner then a wrong answer.
Politicians can lie in their advertisements. There is pretty much no law against this, and on a lot of things we can't do much about it effectively "I said lower taxes but congress didn't let me" for example.

The voter could not make an informed choice in the case of targeted advertising because there would be no information. There is no signal, everything is noise catered to a particular user. Yuval Noah goes in depth with this were he imagines a world with human like AI agents that befriend us for the express purpose of politically manipulating us at a later date.

https://web.archive.org/web/20230428190758/https://www.econo...
I don't feel disgusted at all. In fact I often laugh when I see what stories and poems LLMs can come up with.
If you are wondering about the analog part:

> Analog computing provides the ultimate compute-in-memory processing element. The term compute-in-memory is used very broadly and can mean many things. Our analog compute takes compute-in-memory to an extreme, where we compute directly inside the memory array itself. This is possible by using the memory elements as tunable resistors, supplying the inputs as voltages, and collecting the outputs as currents. We use analog computing for our core neural network matrix operations, where we are multiplying an input vector by a weight matrix.

> Analog computing provides several key advantages. First, it is amazingly efficient; it eliminates memory movement for the neural network weights since they are used in place as resistors. Second, it is high performance; there are hundreds of thousands of multiply-accumulate operations occurring in parallel when we perform one of these vector operations. Given these two properties, analog computing is the core of our high-performance yet highly-efficient system.

https://mythic.ai/technology/analog-computing/
It's there, it works. VBA is a very accessible and straightforward language to code in and iterate with. No faffing about with installing external dependencies and library hell, no compilation phase.

It's really no surprise that VBA remains invaluable to businesses. I've worked with product managers that use VBA to perform absolutely jaw dropping levels of complicated business analysis, even in environments where they have access to other tools and languages, mature build processes etc, because it's the right tool for the job they have at hand.
I get a lot of downvotes on HN for being pro in-person and hating remote work. But I gotta say, if a large portion of your employees want something to make them happy and they can be productive that way, you are an asshole for forcing them to comply.
We appreciate your curiosity about our app. Just to clarify, we're actually a RAG application, not a wrapper. Our focus is on reviewing PRs in a manner similar to human reviewers, by tracing code context from various sources.

Currently, we exclusively integrate with OpenAI's models because they've been highly effective for our needs. However, we're definitely open to the idea of supporting open-source and self-hosted LLMs in the future. Thanks for bringing this up, and I hope this clears up any confusion!
I don't think even having multiple dynamic prompts removes the benefit, although for sure it gets a lot more complex to parse and understand as a human. Since the prompt(s) has/have to be rendered at some point though, even if at runtime immediately before use, it could still be made displayable to the user. Assuming this data is already in the database, it doesn't seem like an overly difficult feature to expose. And if it isn't, adding a column to capture it doesn't seem overly difficult either.

Regardless, if there's a "view source" option available on GPTs that opt for it, I'm likely to check those out whereas an opaque one I'm likely going to pass on. Even if it won't work for 100% of cases, it's still an improvement to the status quo.
Unions are for people who can't compete on skill (or no longer wish to).

I'm not saying they are a bad thing necessarily, but they don't make sense in competitive markets.
A few of my co-workers have gardens and around mid-season they'll bring in a bags and bags of vegetables they couldn't give away to friends and family.

And it always seems to be squash and zucchini.
To be fair, Google enters so many categories that some of them are bound to fail. Neither Apple, Meta or Microsoft really tries as many things as Google, so perhaps Googles issue is a lack of focus and vision.

One problem that Google might have is that their criteria for success has become to high. Products has to make billions within a short time frame, but they aren't willing to make the same kind of investments in ensuring that success as a company like Apple is. The AppleTV, or even the Apple Watch would have been killed or sold off had they been Google products. Why they keep the Pixel I have no idea, maybe it is in fact part of some larger plan.
Same language as every year, Common Lisp. I've finished all but 9 problems since 2018 using it (2019 has 5 left, 2021 has 4 left), and went back and finished 2015-2017 with it as my warmups for 2019 through 2022.

I usually pick a second language that I'm either curious about or want to improve with, not sure what that'll be this year. I'm starting on a temporary assignment where we'll be using a lot of JavaScript so there's a decent chance I'll use it as my second language. I usually get about half the problems done with the second language before writing two (or three last year) solutions a day becomes too much of a time sink.

For my second languages I generally try to avoid any external libraries and focus on the language standards. If I pull in anything it's regexp/parsing tools if the base language doesn't have it as part of its library. Last year I also took a heavy TDD approach on my second implementation to try out Hypothesis (property-based testing for Python, great tool). I usually do a TDD-lite approach for my first solution in Lisp.

I've used Ada (2020), Rust (2021), Python (2022), and C++ (2022).
"It's just ChatGPT with a pre-prompt" is of course true.

"It's just Custom Instructions with a nice UI" is also true.

However, never underestimate the world-upending impact of "a nice UI". GPT-3 was available for years. But almost nobody knew or cared* (despite me telling them about it forty times! LOL) until they made a nice UI for it!

This looks like another "tiny tweak" of usability that has a similar "quantum leap" level of impact.

--

* On an unrelated note: people often ask me my opinion about GPT / AI. I ask them if they've used it. "No". "You know it's free right?" "Yes". WTF? This mindset is bizarre to me! What is it? Fear of the unknown? Laziness? Demanding social proof before trying something?
I couldn’t believe the “let’s kill the dog for scratching the kid’s face” part. People will punch you in the face if you startle them enough, why should the dog be any different? And they won’t ever consider putting him up for adoption or something, it’s straight to the vet and euthanise him? What the actual fuck is wrong with the people.

edit: This is very relevant to me because the very same thing happened to me as a kid. One of our family dogs bit me in the face because I was tugging on her tail (like in a painful way). It was completely my fault, no one blamed anyone else than me and no, we didn’t kill the dog. We kept her and I have many happy memories of her.
The intersection of no of companies that do not ask leetcode, which pay reasonably good is very low and it is really hard to find them
Do Large Language Models Know What They Don't Know?
I was very happy with Quadranet when I lived there. We just migrated to OpenColo in Santa Clara. We were with Quadranet from 2005-2022. They're not shiny, but they're competent and we had great latency and very few issues.
There’s a reason high school science classes need hands on experiments to verify the lessons- you can extract the dna from a strawberry and poke it. You can sit there with a stopwatch and a ramp and learn about gravity- it’s not actually arbitrary or a class signal or gossip, the wheel just takes that amount of time to roll
Dupe: https://news.ycombinator.com/item?id=38278786
That's not how clouds in the atmosphere work. Lower clouds reflect infrared back up and away from Earth. When large oceangoing vessels reduce their soot emissions, the formation of low altitude clouds declined letting more infrared in to the surface and increase the amount of heating in the lower atmosphere and surface of the earth. On the other hand, contrails hold heat in and prevent it from radiating out into space.

The "ideal" situation would be lots of low altitude clouds and no high-altitude clouds like Cirrus and contrails. This conjecture comes from the known property of low altitude clouds reflect the heat up and eliminated heat retention properties of high-altitude clouds.

For more detail:https://earthobservatory.nasa.gov/features/Clouds#:~:text=Lo....
We sort of do this with WASM for just in time pipelines. We write pipeline rules in WASM...for things like detecting/masking fields...then we import and execute those wasm rules in a variety of language SDKs. As a sibling comment indicates, it's pretty difficult getting data in and out, but it's doable. See here for an example: https://github.com/streamdal/node-sdk/blob/main/src/internal.... We do this sort of thing in node, go & python and are adding other languages.
Yes and yes. But the larger and more fundamental problems are the mixing of the program logic and the state and inability to make the code composable or modular. Problems in version control and deployment/reproducibility almost necessarily follow from these.

These are probably not impossible to solve for notebook-style, but there are not many efforts to solve them or they are not even acknowledged as problems.

Edit: There is Pluto for Julia that attempts to solve the state-problem. I have not used it in practice though; I've given up on Julia, in large part because Julia community tends to be even actively hostile towards "stateless" development.
Shameless plug: I wrote a similar from-scratch guide a couple of days ago about how to get WASM debugging working in VSCode both for "command line" and browser apps using the new WASM DWARF Debugging extension for VSCode:

https://floooh.github.io/2023/11/11/emscripten-ide.html
Yes and they can apply for a get all those sweet tax credits and benefits. Actually delivering the product is secondary
There is a very deep rabbit hole you can go down with the webhostingtalk.com forums, which have a lot of options and deep history and conversation on this subject.
"Small web" advocates may eschew the ethics of larger platforms, but they appear to desire the same positive feedback loops that make the larger platforms addicting.

I think that a problem for some people is that the straightforward solutions to discoverability, such as simply browsing the web in the manner you described or even what is given in the marginalia.nu article, do not solve the desire to be seen as urgently as more technologically coordinated processes.
I've met a few, but it's certainly less common.
The AI Revolution in Medicine GPT-4 and Beyond
Calling it a “copilot” when there’s clearly another product in this space, seems a little, provocative.

Its kind of ballsy to host it on github :p
>It’s over 2 years, but nonetheless impressive yield on an acre of land.

Iowa has the most fertile soil on earth: https://en.wikipedia.org/wiki/Chernozem

https://www.atlasobscura.com/articles/the-iowa-town-famous-f...
Documentation has to be part of the process. Work according to the process. Do documentation reviews.
Probably with an annoying popup banner on every page.
Yes but the idea is that competition should help the economy in surfacing "good ideas". If competition leads to acquisition all the time, then really there isn't much benefit to the overall economy.
Mine was diving into the memory stack of LJpegViewer Pro iirc - I had a license key taped to a floppy that had long since vanished, but using a debugger and hex editor to treat any key as valid was fairly straightforward and gave me a real distaste for assembly
It's something that I unfortunately didn't put 2+2 together until my 30s after ruining quite a few and always wondering why I would be so enamored with someone and they never felt like I was giving them enough.

And my most recent ex was anxious attached. That was rough. I'm far more on the avoidant side, not sure how much of that is upbringing vs adhd.

There's a bunch of books about marriage/relationships with ADHD people. I haven't read any but I should. The lady in this video has written a bunch https://www.youtube.com/watch?v=9pyAfOPGKlI&t=1s
Yeah, that’s why NBA players have them. Because they can’t compete on skill.
In dollars of value per acre, it's massive.
> I gave Kagi a shot recently, paid for a month and set it as my default. To be honest, the results weren't good enough for me and I ended up cancelling my subscription. I am willing to pay that much for my search engine, but it has to do better than Google.

That's surprising to me. I find Kagi's results to be better than Google most of the time. Sometimes they are really exceptional, with searches I thought would be tough taking me straight to the right page. Maybe it depends on what you tend to search for.
The code is executed remotely on Microsoft's servers (I can see many organizations just turning this feature off for all staff). I'm open to correction, can't see it in any of the demos, but the code it seems is also entered within a cell, it's not clear whether the output can manipulate/overwrite pre-existing cells as a result or it needs to have its own separate output.
This was a very well written piece and really resonates with me.

I've never been diagnosed with ADHD but when I read pieces like this I always walk away feeling like I check most of the boxes. Has anyone ever encountered the same and been prompted to get help? Asking on HN probably isn't the best idea, but sometimes I really struggle with certain flows and the way others work that seems to run counter to my peak performance.
https://data.epo.org/gpi/EP2575366B1-Signaling-of-coding-uni...

Here's the patent text at any rate.