skysight-inc/HackerNews huggingface dataset:
The recruiter reaches out, we have a chat, and if things align well enough, they put me in the pipeline for a phone screen.

If the recruiter has you filling out the formal application, then that’s probably them soft-rejecting you and your application will join the majority of the hundreds or thousands of other cold-appliers in the ether of digital oblivion.

Having said that, every job I’ve gotten in my career has been through a recruiter reaching out first. Any attempt to cold apply via online application has been met with automated rejection or ghosting. Any attempt to reach out to a recruiter first has them directing me to the online application form that leads straight to oblivion.

There are people out there that can leverage their networks to easily land jobs. However the catch here seems to be that you can’t be picky about where you end up. Unless you’re lucky enough that most of your friends and ex-colleagues are in influential positions at highly desirable organizations.

Heck, I could probably leverage my network to land a job pretty quickly. It’s just highly unlikely it will be at a company I’d want to work for unless I’m desperate.
Huh? The rendering is part of the browser itself. It's not like JS has to run every frame to put the pixels onto the screen.

Making ajax requests and doing things to the DOM tree isn't a "computational workload" because there's hardly any computation happening in that JS code.
A lot of times, C is the only option, for example in embedded scenarios where the vendor's C compiler is the only way of compiling for that platform.
From HAL to Siri: How Computers Learned to Speak
What features in Office are essential for those users that you don't get from Google?

If you're talking about Excel I can imagine there are such features but not so much in other apps.
Huh, this got buried? That's interesting...
Any sufficiently advanced LLM is indistinguishable from Prolog.

I half-jest but I envision the direction of LLM research to head towards a parser-oriented setup where LLMs merely extract the entities and relations and the actual logic is done by a logical engine such as Prolog.
Tech companies: best we can do is an AI that reads your kids bedtime stories. You know, the moments we actually cherish. The manual labor is all we'll humans have left to do.
> This is to be a 8 GWh, 1 GW facility

That is big for time-shifting daily energy usage, but way too small for seasonal energy storage
I was especially struck by Shevek noting that Atro was unique for A-Io in that his behaviour was reminiscent of an Anarresti: the same way all the time, whether public or private.
https://en.wikipedia.org/wiki/CAS_latency is how long it takes to read a word out of the active row. Async DRAM had "row access strobe" and "column access strobe" signals.
Guess they realized the Microsoft and Google "Research" centers to build up german software- are nothing more then thinly veiled recruitment pools for competent software developers who then get shipped of to redmond or mountainview.

Still amazing that eastern-europe could build up vibrant software companies- and germany just cant. They get wirecard if they try. I really would love to read more about the cultural causes for this. France seems to suffer from the same problem. Italy too.
Bullying in Open Source Software Is a Security Vulnerability
If a robot is adept at washing dishes and folding laundry, it suggests our technology is good enough that they should have a decent shot at remaining upright indefinitely, or falling gracefully and righting themselves afterwards.
This. I used to jump at a DZ in the Midwest that has been in operation for like thirty years and had, I think, only one fatality. But we had great safety people in charge and were really careful with students.

My first jump there was a static line solo and they gave an hour long classroom session followed by time in a hanging harness practicing emergency procedures and malfunction recognition.
I don’t understand why someone who would use an API.. to call another API? It’s not like OpenAI API is cryptic and hard to understand..
> Very hard for me to understand why, in a world of Google docs, anyone would want to deal with the bloated mess that is ms office.

I see you have never opened a large spreadsheet in competing software or you wouldn't call MS Office bloated. Sheets and Calc are extremely slow, inefficient software. Excel alone, if you have a use for it, makes it well worth the price of admission. It simply has no competition and neither Google nor Libreoffice can serve as drop in replacements for that.

Most of the features in the Office suite get out of the way and are only there if you need it. It's no bloat to the people who need the features. Office is where Microsoft still shows love for desktop software and it shows, they open very quickly and feel responsive in a way most other software they produce don't (opening the widget board on Windows 11 is a more stuttery experience at times than opening something in Word or Excel)

> It did save it. In their fucking cloud and made it so opaque that the user couldn’t possibly understand wtf was happening

You can't save it in the cloud "by accident". When creating a new document and clicking to save you explicitly have to pick "onedrive" or "this computer" as locations.

> It took me, a tech professional a good 5 minutes to snap out of the dark pattern and realise what was going on.

It took you 5 minutes because you had no idea what the user did. It's not the fault of the software if the user clicked to save to onedrive.

You can also still create new blank documents directly in the explorer.exe (right click -> new -> word document) as you always could since Windows 95 in which case you would have set a local location for the document you're working on before writing the first line of text.

I also find it interesting you're suggesting Docs, a piece of software that is cloud driven only, as a replacement for Word because a user mistakenly "saved to the cloud"

And if giving people the option to save to onedrive is a "dark pattern" then what is a piece of software that can /only/ save to google drive, exactly?

Microsoft 365 Family subscriptions is the whole desktop suite + the online apps (which are pretty competitive with Docs if you need to access something on another computer in a pinch) + 1 terabytes of storage + up to 6 users (each with their own 1tb of storage) on the same subscription for 99 bucks a year. Google can't even begin to compete on that level of offering. Some of the apps have no real google alternatives either, OneNote is an incredible tool for personal organization of ideas and clipping online content you want to keep. It's also very snappy and responsive, again, the Office division really cares about quality of desktop software in a way that has become all too rare. The people working on Windows's desktop/UI elements would do all too well to take inspiration from them because 11 is a damn sham.
You see funny little clips, I see more annoying customized ads, which play different lyrics for different people.
Didn't they try this very same thing, many years ago, and ended up coming back to Windows?
They need a guide to compare it frama-c and other systems with annotations. Or at least compare what the objective ultimately will be, since this is still in its infancy.
Dispo doesn't need to go into the details, or Dima doesn't pass the Bechdel test?

I'm afraid you know the point you were making but I'm still completely clueless as to what it may have been?
A viable option.
I think it's less about feature parity and more that the users have spent tens of thousands of hours in MS office and don't want to relearn all the shortcuts and menus and subtle behaviors -- muscle memory stuff.
Have you heard of adblockers?
I love this name, I hope it catches on
JIT compilation isn't free either.
If it's #1, at some point you will come back from the bathroom.

When you do, there will be a moment in between when you can see the screen but haven't hit play yet. This is a prime ad opportunity.

If you are watching with others, they may wait for you while you go to the bathroom. They will also be able to see the screen.

Sorry for not being any fun. I just think Roku is behaving somewhat logically here. (I say "somewhat" because there is one issue: speaking for myself at least, would never buy a TV that does this!)
You can bypass that by just getting them into Warhammer 40k. :-)
Meanwhile, they're laying off hundreds of people working on AWS in Seattle...

https://www.cnbc.com/2024/04/03/amazon-layoffs-hundreds-of-j...
I use Markdown, with no license. (Usually) Works fine for me. Not sure why I need proprietary file formats only usable by on vendor's software.

I'm somewhat joking (obviously MSFT file formats can do a lot more than md if you need that), but I rarely need more complicated documents.
From the link:

> The city reported that due to the project, it had gained freedom in software decisions, increased security and saved €11.7 million (US$16 million).

That's kind of nice. An org that I worked for gave everyone LibreOffice installs by default and if you needed any of MS offerings you could just ask for a license for those. Most people were just fine with LibreOffice. Depends on what you're doing with said office suite, though.
Thank you for being the voice of reason:)

Sure I'd like a personal robot butler to walk the dog and a dozen other annoying tasks, but apple isn't going to figure that out short of AGI or a quantum leap forward in more traditional approaches. What we're going to get is something like the Roomba, which was already useless in my tight house. I can't imagine too many things that would be relatively achievable that I would care about.

I guess I wasn't very clear above lol.
I don't know about all conferences, but in my line of work most conferences cost up to $2000 or even more (for example "late tickets" to a conference I'm attending in June cost $3000). I guess enough people (or rather, employers) consider it valuable enough to pay this price.
On my car the fobs auto unlock the car when approached, you don't need the phone app. There is nothing similar for Teslas? Just the backup card with it's oddities and your phone? Didn't they have that little toy car remote?
Missed a unique opportunity to title the article: It's-a-me, Vilfredo!
I'm trying to onboard onto Flagsmith right now and it seems like the identities feature [0] is exactly what I need but I can't seem to figure out how to enable it for an arbitrary string value. For example - I want to feed the SDK "mintlify" and get a response on whether "mintlify" should have a feature or not.

[0] https://docs.flagsmith.com/basic-features/managing-identitie...
Ask HN: What to do with digital assets of shutdown organization?
I am working with a charitable organization that is unfortunately shutting down. They are wondering what to do with their digital assets (eg websites, social media accounts, images, donor and volunteer lists, etc). My instinct is to archive them but I am wondering where to keep the archives (thumbdrive?) and how to handle any PII (email addresses, etc) to ensure it is safe long term. I'm curious if anyone has had to deal with this issue and what steps they took to handle digital assets of dissolved organizations.
Interoperating? Is the iMessage spec public? Can I use iMessage on an android phone without hacky workarounds like using a mac computer?

Come to think of it, the same lack of interop openness applies to airdrop, use of the on-phone NFC chipset (for uses other than apple-pay), and a bunch of other such things.
> You can do things anonymously, but big companies / projects also don't have an obligation to use your code.

You're not wrong here, but I'm not forcing anyone to use my code bases or contributions.

Also, think about how many systems you blindly trust on a daily basis.

When you drive over a bridge, did you research the maitenance procedures and compliance was up to date?

When you got a house or apartment, did you look into the engineering sign offs and construction companies? And that maitenance has been done up to snuff? Even down to hoping the inspector knows what they're doing?

When you step into an elevator do you check the recent inspection plaque?

When you get on an airplane are you aware of its maitenance history? And to further my point by refering back to the house example, did the company even QA the plane before they shipped it?

And most importantly, did you check into whether the people actually did these things versus just saying they did them?

What kind of trust does having a persons name attached to the project actually provide? I would argue its a psuedo-facade trust basis that gives a false sense of security.

The truth of the matter is that you blindly trust millions of things on a daily basis. Including the very system you type from, which I guaruntee you has more than one anonymous maitainer attached to its underlying software.

I totally get where you're coming from, but the same problems exist in every industry, supply, politics, every facet of your life is based on many blind trust principles.

The one difference here with anonymous open source contributors is that they give you the code to read through yourself (and hope that you help ;) )

Very much unlike the proprietary software you're running beside it.
Just add "site:reddit.com" to the query. Without it, Google results are nothing but junk and spam.
Meh those robots don't do a good job with young children . The amount of debris they have to work around isn't worth it.
Well first of all, both are abstract concepts.

No they aren't. A stack is a specific type of data structure. Recursion isn't even specific to computers.

in computer science stacks are considered to be an abstract data type

I think you meant data structure and they aren't both concepts.

Of course, another way to refer to this kind of a structurally induced data type is to call it recursive.

You are making a linked list. A node in a traditional linked list has data and a pointer to the next node. This is what you are making here. Just because you over complicate a stack by using a linked list, it doesn't mean a 'stack' and 'recursion' are the same thing.

Fundamentally this is functional programming silver bullet syndrome. These things really have nothing to do with recursion, haskell is just putting a square peg in a round hole by using recursion for iteration and linked lists.

It's all fun and games until you get past trivial examples. Then pretending complex iteration and data structures are best done with recursion aren't so fun anymore and you want to control what is actually happening.

One example is this rust quicksort being 40x faster than haskell

https://github.com/LightAndLight/how-fast-does-it-quicksort
You have to understand the code at a level sufficient to make accurate annotations, which isn't that much easier. And you're not getting as much safety bang for your buck for the effort as you would in a rewrite in actually safe language.
When you can store electricity more directly instead of the (inefficient) conversion to and from heat it is just crazy to not do so. With electricity, thanks to heat pumps you can "move" heat instead of producing it, which makes heating a lot less expensive since the "efficiency" can often reach 300-400%. For that reason you want to keep using electricity for as long as possible in most cases.
Of course, if you have a huge source of cheap heat the equation might change. In such cases you might still want to use some of the heat to get higher temperature heat. (https://en.wikipedia.org/wiki/Absorption_heat_pump)

And no, it will not help too much if you use a heat pump before storing the energy in this facility. You still have huge conversion losses, the volume for low-temperature heat storage will be huge. If you want high temperature storage your heat pumps will need more stages and run less efficient.
I don't think that the decision is being driven by bad company A v/s bad company B, and it's implicitly technical.

All of us here probably will know when to jump out of spreadsheets and have some knowledge on how to approach things then, so a simple spreadsheet on Google Docs is fine for us.

The problem outside, is that they are somewhat locked on the spreadsheet and have to stick with it, so more advanced features are welcome even though it comes with the price of the so called evil company according to the other group.

And is Office really better than Google's Spreadsheets? Idk, I don't care about small differences, but they surely annoy hardcore users, plus no one really got fired for buying IBM
From your link:

> PCI Express (Peripheral Component Interconnect Express), officially abbreviated as PCIe or PCI-e

So I'm not sure what you're trying to say?
Google is definitely the devil I know of those two, still I would not like it if one my main tools were provided by Google. Currently they seem to manage to both lack in innovation AND be unreliable.
I wish these LLM companies would just let the LLMs do their jobs and answer the questions as asked. The amount of hamstring these people do to block certain questions and then deciding ways to trick the LLM around them is just annoying.
>Office is much superior to any open source and even paid alternatives, and we must remember that most people using the software don't have a degree in CS.

For a fraction of the money spent on these sorts of enterprise contracts you could hire dozens of full-time developers to improve LibreOffice. Clearly something easily within the capacity of the EU, if they were capable of good strategic decisions.
The original use case was that std::vector's API was specifically designed to make it possible to have a vector of a type with const members, but it turned out to be impossible to implement without hitting UB. std::launder was introduced as a way to make the obvious implementation correct. Since then the object lifetime rules were adjusted to make it unnecessary for that.
> So I'm asking you: where is the line between good tools that enable human creativity by making it easier to express things, and bad tools that make it too easy to express things? Because if you can't answer that, we can't actually have a discussion about this topic.

Well, I do think there's at least a sufficient requirement in crossing that line: it is when the tool starts to give input into your creation based on what you are drawing/doing.

For example, yes, the computer takes away the artistry and writing by hand but if I'm in a text editor, it won't suggest a particular story based on my additional ideas any more than a pen would or a charcoal on rock.

Another example: if I use a film camera versus digital, I basically see the same thing through the viewfinder before I even press the shutter.

Or paiting: whether I'm using my fingers or a brush, I don't see any way to proceed but through my imagination.

AI crosses that line because it is like a sophisticated paint by numbers: it constrains you by guiding you down a path through its preconceived ideas. It is like a "choose your own adventure" book, if you've ever read one. It's not the same as actually going on an adventure.
That'd make the heavy characters completely useless, once you're behind, there's no way to catch up anymore!
This comment is crazy. There's no reasonable way to fund a service without either ads or direct payment.
Oops! For what it's worth, I interpreted GGP in a way that was clearly wrong in hindsight. I thought they meant "our vehicle safety tests are a joke". I edited the GP.
CV tools have been better than most people at reading bad cursive since at least 2016.

Is there a specific benchmark comparison between a GPT and any OCR app/algo? Any cases where you've seen a free OCR app fail spectacularly where a GPT succeeded without question?

Language models are just that - language models. They are good at predicting what word should come next. Because it's language we impart capabilities way above and beyond their reality. Sure, they can incorporate CV data (among other inputs) that feed them the resulting text. Maybe when we develop something with a functional world model, we might be able to tackle the real physical world. Until then, problems like this, self driving, folding clothes, etc will keep failing at the edge cases, rendering them more trouble than they are worth.

And "just walk out" is a fun, interesting problem only in that it might give rise to interesting solutions and approaches for more pressing or relevant problems
Tends to just be yoshi on one of two karts for nearly all tracks on 150cc because miniturbo speed is the same as top speed of the fastest build in the game.
A modern server class machine can push "100Gbps" through the entire Linux stack just fine. TCP or UDP. With standard packet sizes (e.g. 1500 bytes.) We do this where I work. Yes a long time ago 1Gbps was hard, you needed jumbo frames, then 10Gbps was hard, then 100Gbps was hard. Right now where we are seems to be you don't need to do a kernel bypass unless you're running multiple 100Gbps NICs - that's an application where I've seen DPDK used in the wild.

EDIT: Might be some benefits in terms of latency through the stack and resource usage on the machine... But I don't think 10Gbps is where the pain is for these either.
It’s always mainly about Excel, but some people are really set on Outlook, too.
I don't want to use voice control to turn the wipers on or use my turn signals, and their radically different placement takes time getting used to.
If it was Pareto efficient, Koopa would do better too.
Yes, but higher-speed characters have lower acceleration and less mini-turbo, which disadvantages them in many situations.
Is there not a way to start them on a command line that could replace this functionality?
Except you can absolutely obtain 4090s today, while enterprise hardware is (was? haven't looked at the data) recently, which is the exact opposite scenario you mentioned.

I'm actually really surprised that you can still buy 4090s for under $2,000 (cheapest available I saw was $1,800 new and I only took 30 seconds to look), but you can usually sell certain models for quite a bit more. For example, my used 4090 FE is currently worth more than I paid for it.

I've played with AI, and while admittedly I've not done anything super serious, I can tell you that both the 3090 and 4090 are more than capable of performing. Tie them with a power efficient AMD CPU and you have something that can be competitive with enterprise (somewhat).

I've seen the pricing of "cloud" offerings and I've toyed with the idea of creating an "AI Cloud" because I have access to really fast internet and super cheap electricity, but I haven't executed because I'm most certainly not a salesperson. I do, however, know enough about marketing that one should not target price, so there is that...
Does this generate executables like Dafny? Or is it more like TLA+ and focused on checking designs?

What’s it using on the backend for checking predicates?
Note my wording - I said sell it not get rid of it. I think Elon ( or Bezos, or a bunch of other people ) could do something useful with it rather than sinking it into the ocean.

I tend to think of the ISS like a PC - it's infinitely upgradeable, and you replace parts as needed to upgrade them, or add on as needed. (ok, so the ISS is much more complicated, but this is HN, not a PhD dissertation).
> If all of the people put just as much effort into generating AI images they liked as the effort of people who made an effort to draw somethinf nice, it would probably be just as easy to pair the AI generated images with the person who made it, as it is to pair drawings with the person who drew it.

I do understand your point here, it does make sense. I guess that would have to be tested. But it would have to be tested with the 10 people told to draw the SAME subject matter, not different subject matter. I think in this case an actual experiment would need to be done:

Step 1: 10 people "draw" a bird with AI

Step 2: 10 people draw soemthing else with AI

And then get other poeple to pair the drawings...