skysight-inc/HackerNews huggingface dataset:
I've always kind of assumed the primary purpose of these is building customer lists. Were they at any point actually important in seeking warranty reimbursement or repair? I suspect that at almost 40 I reached adulthood about the time that the internet shifted the way a lot of old customer service systems worked.
You do you champ.
SOFware | Remote (US) | Full-Time | https://sofwarellc.com/

I am the Director of Product Engineering at SOFware. We are a fully remote, small and profitable software company founded by a retired Navy SEAL turned Ruby on Rails dev. We serve the most elite units in Special Operations and Law Enforcement communities. We have a SaaS product for Assessment and Selection and Talent Management, (e.g. software for the selectors who decide who gets to be an operator plus ongoing measurement of individual performance once selected). We also staff and run traditional butts-in-seats DoD contracts for a few government-owned apps that we created, run and maintain.

If you're an experienced Ruby on Rails developer interested in working on hard, important technical problems for special operations and other military units we'd love to talk. If you're not so experienced but have a background in any of these communities please reach out anyway!

We are currently hiring for one position for a senior Ruby on Rails dev, details are here: https://sofwarellc.com/careers.html

If you have any questions I'm sean.fioritto at our domain.
A FARA violation for having Vlad as a chat buddy would both spice up the visa fraud, and yank his security clearance. Without the security clearance, the naturalization has little value.
700????????
You'd assume that their new deal with Apple will involve a certain amount of stock based comp with a cliff. Golden handcuffs.
A serious question: Do Dentists not have to swear by the Hippocratic Oath??

Not that swearing by the Oath implies that all dentists, by association, will indeed be honest... Or the opposite, tbh.

Just curious.

I always found it (still find it) rather curious that the United States, despite being such an advanced nation / economy with pockets of excellence in medicine care, still has such crumbling, disparate and highly unequal medical care.
Comulate | Senior Engineer (3+ YoE) | ONSITE in San Francisco, CA We're building automation software for the insurance industry, accelerated by AI. Our product has caused customers to literally cry tears of joy. Seed stage in terms of headcount (< 20 people) but Series B in terms of business traction (+ cash-flow positive). Experienced, high-caliber, eng team from Airbnb, Asana, Brex, AWS, and LiveRamp. Building a product-focused eng culture in which engineers work directly with customers. Stack is full-stack TypeScript, Postgres, React, GraphQL, and Next.js.
We're intentionally under the radar - we focus instead on delivering for customers and building a category-defining company.

Apply here: https://comulate.com/careers
> Keeping the equivalent of one week of regular purchases in cash at home, as suggested...

> And for a lot of people it’s just not attainable...

I'm thinking that "no or very little money saved for unforeseen expenses" is (median case) far less poor than lacking even 7 days of expense money.
One pager simple AF local OpenAI client
Built a simple Streamlit-based chat interface a few months ago for local testing. It connects directly to OpenAI's API, manages multiple conversations and personas, and has been a great workbench for tinkering with different ideas. Sharing in case others find it useful for their own experiments.
Do the Indonesians have anything to protect? Is there a native smartphone industry?

In discussions of the Apple ban, it was said that they were punishing Apple for not investing as much locally as they promised. Did Google have a similar issue?

And if so, what are Indonesians going to do? (The answer, I suspect, is smuggle iPhones and Androids.)
700$ a month to effectively live in a homeless shelter.

Holy crap, what a horrible horrible idea.
Or, hear me out on this crazy idea that might just work?. What if instead of wishing for hard times so that we can have "hard men", what if instead of all of that which you know must include a lot of suffering and death in order to make the hard men... What if istead of all of that we just stop putting sugar into every freaking thing?.

Crazy idea I know!, but it just might be crazy enough to work!.
Same. I smoke weed regularly but the craving for sugar and then the crash can't compare to anything
Can you get a 500 sq ft apartment for $700 in the USA? My impression was that it’s gotten more expensive than that. Definitely for a 2nd tier city. Maybe not for an n tier city….
and/or other people reflective of a non-heteronormative worldview.
Apple expands iPhone satellite services deal, commits $1.1B to expand capacity
Abnormal Security | REMOTE (US, Canada) with optional offices in SF & NYC, HYBRID (Bangalore India) | https://grnh.se/ad31ff8e3us

I'm looking for exceptional full-stack and backend engineers to join my teams at Abnormal Security to fight cybercrime. We have multiple open positions for each of these roles, working in Python, Golang, Typescript and React among other leading edge technologies. Abnormal Security recently secured our series D round of financing at $250 million and are growing like a rocket in every way. If you're looking for personal as well as company growth, you won't find a better company than Abnormal Security!

I am the Director of Engineering for the Messaging Security Products Division. We build the user-facing products for inbound email security and have many interesting challenges working at massive scale. Please see the following links for more details on the open positions and our general careers page link for all open positions across the company. We are hiring for engineering in other divisions as well!

Senior Full Stack Software Engineer

Remote US: https://grnh.se/92e75a293us

Remote Canada: https://grnh.se/169ba1bf3us

Senior Backend Software Engineer

Remote US: https://grnh.se/355a4a243us

Remote Canada: https://grnh.se/c95729ea3us

Engineering Manager

Hybrid Bangalore India: https://grnh.se/4d841af53us

All Jobs:

https://grnh.se/ad31ff8e3us
It seems like sharing the text itself would be a better API, since it lets API users calculate their own embeddings easily. This is what the crawlers for search engines do. If they use embeddings internally, that’s up to them, and it doesn’t need to be baked into the protocol.
For bzip2, a list of bit offsets in the compressed stream and a corresponding byte offset in the decompressed stream suffices because each bzip2 block is independent.

For gzip, it is as you say. However, when only wanting to seek to DEFLATE block boundaries, the "state" of the decompressor is as simple as the last decompressed 32 KiB in the stream. Compared to the two offsets for bzip2, this is 2048x more data to store though. Rapidgzip does sparsity analysis to find out which of decompressed bytes are actually referenced later on and also recompresses those windows to reduce overhead. Ratarmount still uses the full 32 KiB windows though. This is one of the larger todos, i.e., to use the compressed index format, instead, and define such a format in the first place. This will definitely be necessary for LZ4, for which the window size is 64 KiB instead of 32 KiB.

For zstd and xz, this Ansatz finds its limits because the Lempel-Ziv backreference windows are not limited in size in general. However, I am hoping that the sparsity analysis should make it feasible because, in the worst case, the state cannot be longer than the next decompressed chunk. In this worst case, the decompressed block consists only of non-overlapping back-references.
SWE at Workhelix here, happy to answer any questions!
Shazam is a huge success story!
Or search, Youtube, chrome and android could all see their enshittification ramped up, which might not be the outcome you want.
I believe cannabis can only be legally procured during certain holidays. I’ve had “bhang lassi” during the Holi festival (festival of colors.) That’s a cannabis infused yogurt drink. Cannabis is very strictly illegal usually, carrying a prison sentence up to ten years!
Conditional class names using DOM attributes as state
AirHeadToToe.com
If you try to write Shakespeare with hurdy-gurdy keys, you're going to get slightly abridged versions, like that famous tragedy A ad Ceaa, or the comedy Ced f E.

Lagniappe: https://www.youtube.com/watch?v=CHxfOZH8cew
the economy is great for the 10000 richest people, who own all of the stocks.

for the average joe they're working more and getting less, and getting absolutely clobbered by housing. you can do with out a new computer or a netflix subscription, but you gotta live somewhere
I recently looked at some log files (nothing too crazy, somewhere between 20 - 50 MB of text data) and much to my surprise the recent versions of Visual Studio Code seemed to be smoother than Notepad++.

That said, it's a nice toolbox of common text operations, like sorting lines, removing duplicates, converting case and whitespace symbols and so on. I still use it daily for similar tasks, or just some TODO files, config edits and such.

I did look for something a bit more cross platform to replace it with and CudaText caught my attention (https://cudatext.github.io/) but nothing convincing enough to use something else on my Windows computer, or switch away from Visual Studio Code or Fleet on my Linux/Mac computers.
Kamala has some plans to federally incentive home supply. Some subsidies and goals. Here in Texas, Austin has had great success with pushing supply and now rents actually went down since last year. So based on that I think voters are changing their minds.
Updated the section to refer to the "Retrieval Average" column of the MTEB leaderboard. Is that the right column to refer to? Can someone link me to an explanation of how that benchmark works? Couldn't find a good link on it
'We were just trying to get it to work': The failure that started the internet
The older Japanese variation of this is as a hotel.

https://en.wikipedia.org/wiki/Capsule_hotel
At least many people opposed to abortion ostensibly think that it's murder. Given that framing, trying to collect evidence from hospitals seems reasonable.

(At least they say they they consider it murder. The way they act concerning it makes me think that relatively few really believe it.)
Ubuntu Hoping to Remove Qt 5 Before Ubuntu 26.04 LTS
Smarkets | Full Time | Hybrid - Onsite (London, UK)

Smarkets is a betting exchange for sports and political trading that has handled over £29 billion in volume since 2010. Our company mission is to fix the betting industry with the best products and best prices.

We are currently looking for:

Principal Engineer, Full Stack - https://smarkets.com/job/6040356/

Senior Software Engineer, Backend Lead C++ / Rust - https://smarkets.com/job/5997705/

Senior Software Engineer, Data Lead - https://smarkets.com/job/5872898/

Senior Software Engineer, Backend - https://smarkets.com/job/6333615/

Cloud Infrastructure Engineer - https://smarkets.com/job/5798683/

Senior DevOps Engineer - https://smarkets.com/job/5397742/
Really looking forward to 3rd party benchmark results.

Hoping to replace my i9-9900K this generation, but the Intel Core 9 Ultra 285K was incredibly disappointing, and the Ryzen 9 9950 wasn't that great, either.

Only 8 cores seems a bit of a let down, when the 9950 has 16, but apparently it parks half the cores during high load which seems to defeat the purpose of having so many cores, so maybe it's not a big deal.
It is obvious to someone that knows that there are 2 types of diabetes that the article talks about type 2 while people that doesn't know it thinks of diabetes as type 2.
> # This cop checks for `next` (and sometimes `break`) in loops.

> ...

> # - For small loops, you can just use normal conditions instead of `next`.

This rule will just end up with devs writing this:

array.each do |elem|
if condition
if another_condition
if yet_another_condition
do_something
end
end
end
end

Rather than the much easier to parse:

array.each do |elem|
next if !condition
next if !another_condition
next if !yet_another_condition

do_something
end
> Maybe because porting as opposed to emulating requires action on developer side.

The Steam Deck is also just emulating native Windows APIs, but on Linux.

https://www.wikipedia.org/wiki/Proton_(software)

Game compatibility isn't 100% with either, and both have community maintained lists with compatibility information.
IMO ray tracing remains a gimmick and the die space would be better spent on more normal compute hardware. Basically every game that doesn't have a day/night cycle can prebake their lightning and have it look nicer than any possible real-time ray tracing. Ray/Path tracing does look nice in Cyberpunk, though.
It isn’t clear to me why the encoding of the natural numbers would come up. I would have thought that some statement about the natural numbers would involve some type, considered as the type of natural numbers, which I suppose if you construct it from other simpler primitives would have some kind of encoding,
But, if the proof uses only uses the terms of that type through the use of the constructors etc. associated with that type, you wouldn’t have multiple proofs which differ only by the encoding, and belonging to the same type (proposition), as the encoding would just be whatever encoding is used for the type of integers used.

It seems likely that I’ve misunderstood what you meant.

Still, if you have two different natural numbers objects, there’s an isomorphism between them… I guess one could use this to translate between proofs for one and proofs for the other, but I don’t know if translating and then translating back would yield the original proof.

I wouldn’t be surprised if by default it doesn’t.

It wouldn’t surprise me if there is a way to “make it the same” while still keeping other proofs distinct, though.

I suppose one could make some sort of quotient type?

Also, for (intuitionistic) existential statements, the proof can almost be seen as just the thing claimed to exist along with a witness that it is that thing.

So, if you say, “for all x:X, there exists y:Y, such that P(x,y)” , then two proofs might differ by giving two different functions x:X->(y:Y,p:P(x,y)) which, could be regarded as different if the X->Y part is different without considering whether the p part is different.

Maybe if one e.g. required equality types to be sub-singletons (i.e. if p,q : Eq(Nat,x,y) then p is q ) but allowed other propositions to have multiple distinct elements, that could be, something?

You might know more about this than me.
Mastodon's Account Recommendations Explained
That used to be the case for where I live, but no longer. And I live in a pretty damn cheap area (semi-rural Wisconsin). Cheapest apartments here now go for $950 plus.
I think we're turning Japanese. Capsule Hotels have been around forever. I stayed in one in the '90s. If you take their nightly rate $24 X 30 days it magically works out to $720 per month. Call it a hotel, sleeping pod whatever you want we are behind the curve on sleeping pod technology. We need to catch up.
Hello, I’m Dani, I own a Service-Disabled Veteran-Owned Small Business (SDVOSB) and Women-Owned Small Business (WOSB) looking to expand our experience in government contracting by partnering with established businesses. Our capabilities include project management, logistics support, IT solutions, and consulting services tailored to meet government needs. We are specifically seeking opportunities to be subcontractors and/or partners with prime contractors. Additionally, as we navigate this saturated market, we are also looking for mentors who can provide guidance and insights. If you’re interested in collaborating or mentoring, please connect with us on LinkedIn. We look forward to exploring potential partnerships!
In what way, specifically for android users?
I’ve only stood in front of more than a dozen people twice outside of college, and it’s definitely a vibe. At a conference or even just a presentation you get up that morning and you focus differently. You travel to the event and you psych yourself up for it. You mull over your talking points and lock them down more. Less extemporaneous speaking. I have never put that sort of energy and focus into a video call.
> the corpus of research papers and citation links is this knowledge database

yes, I think so too. In the typical fashion of "pre-digital" information management systems it is extremely economical in the way it encodes things, with statements like "X is true as shown \cite{Y}" etc. But...

> but it seems to be working quite well for the professionals in this field

what prompted my comment is exactly the fact that didn't seem to work that well in this case :-) (nb: I am not remotely an archeology boffin, just triggered by the adversarial language of the paper).

In more quantitative fields people talk about reproducible research, here its more a question of whether similar fields would benefit from "reproducible chains of reasoning".
I don't find "performance parity with Mathematica" to be very compelling. Mathematica is a CAS system, not something I would use to write fast code.
The point of this whole thing is that practically speaking, it matters to the person deciding to buy a computer as to whether they can feasibly install their OS of choice on it. It stands to reason then, that a downside of buying a Mac computer is that you can not practically run Windows natively on a modern Mac. In practice, it does not matter who's fault this is.

Aside: Really, it's a combination of factors. First, Apple uses a bespoke boot chain, interrupt controller, etc. instead of UEFI and following ARM SystemReady standards like virtually all of the other desktop and server-class ARM machines, and didn't bother with any interoperability. The boot process is absolutely designed just to be able to boot XNU, with tiny escape hatches making it slightly easier to jam another payload into it. On the other hand, just out of pure coincidence, Windows apparently statically links the HAL since Windows 10 version 2004, making it impossible for a straight port to be done anymore. In any case, the Apple Silicon computers are designed to boot macOS, and "went out of their way to make it possible" is an absurd overstatement of what they did. What they did was "do the absolute minimum to make it possible without doing anything to make it strictly impossible." Going out of their way implies they actually made an effort to make it possible, but officially as far as I know Apple has only ever actually acknowledged virtual machines.

I think it would be fair to argue that the reverse is true, too: If you choose to buy a PC, you will be stuck with Windows, or an alternative PC operating system. (Of course, usually a Linux distribution, but sometimes a *BSD, or maybe Illumos. Or hell, perhaps Haiku.) That said, objectively speaking Windows has more marketshare and a larger ecosystem, for better or worse, so the number of people who strictly need and strictly want Windows is going to naturally be higher than the comparative numbers for macOS. This doesn't imply one is better than the other, but it still matters if you're talking about what laptop to buy.

> the platform is reasonably compatible with PC.

Not sure what you mean here. The Apple Silicon platform has basically nothing in common with the x64 PC. I guess it has a PCI express bus, but even that is not attached the same way as any typical x64 PC.

The Apple Silicon platform is actually substantially similar to the iOS platform.

> compared to devices with Qualcomm chips, for example

Also not sure what this is meant to mean, but with the Snapdragon X Elite platform, Qualcomm engineers have been working on upstream Linux support for a while now. In contrast I don't think Apple has contributed or even publicly acknowledged Asahi Linux or any of the Linux porting efforts to Apple Silicon.
Maybe this acquisition keep Adobe up late at night for the coming years.

I can never forgive them for making creative cloud such a stupid expensive subscription.
How many high rise apartments are going up in San Fransisco? There are like five being built/renovated in my east coast, fairly small, hyper liberal city.
Interestingly Moscow Mayor Sobyanin signed a decree banning apartments under 28 sqm, aiming to limit small-sized housing construction.

“The area of apartments (excluding the areas of balconies, loggias, terraces, cold storage rooms and apartment vestibules) should be at least 28 square meters for one-room apartments, including apartments in which the living room is not separated from the kitchen by intra-apartment partitions, and at least 44 square meters for two-room apartments,” provides the document published on the ConsultantPlus portal.

The decree came into force on August 1.

The fact that Moscow decided to abandon the construction of studios and apartments with an area of less than 28 square meters became known in May, when Moskomexpertiza sent out an information letter indicating that it would issue negative opinions on construction projects involving the construction of apartments with an area of less than 28 square meters

I wonder why they did this. I thought things were cheap over there and they had a huge amount of land?
Location: Germany
Remote: preferred.

Willing to relocate: not at the moment, depending on the opportunity.

Technologies: systems / backend engineer generalist. Currently working with Go, React/Typescript, Kubernetes, Linux, psql. Interested in Rust, Zig, Python. Open to work in any programming language. Ideally a small / medium sized company.

LinkedIn/CV: https://www.linkedin.com/in/daniel-haus/ & https://cv.dhaus.io/

Email: haus.daniel [at] gmail [dot] net
Unironically, this.

America fails its lower-income citizens by pretending they don't (or shouldn't) exist when making zoning and building codes and such.

Mandate that housing needs to have individual bathrooms and kitchens for each unit, mandate that each unit needs a parking space or two, mandate a thousand other useless minutiae under the guise of safety or accessibility that don't actually matter but drive up costs, and then act surprised that only "luxury" housing gets built.

College students can happily and healthily live in dorms on campus, and yet we treat it as unthinkable that someone working at McDonalds lives in similar conditions. And so we don't build the infrastructure and the McDonalds worker ends up with a far worse outcome, but at least it's out of sight and out of mind that they're sleeping on a couch or staying in an overcrowded illegally-sublet apartment.
I think the same about regular neutral networks
How are you grandfathered? Fake student ID?
I don't know about you but I enjoy the demonstration of accelerationism as a motivating philosophy. It's really dry satire, but it's hard to read it as anything else. Also, who are you to judge those that want their men to get hard?
Why privacy curtain and not a door?
Did you have to pay for grad school on top of undergrad?
Thanks, two peoples separated by a common language and all that. My intention was for the error to be humerus, but maybe it was a stretch.
Notepad++ was my first editor of my own choice. In the end, not something I wanted to keep around, but It's certainly something I would recommend to people who are just getting started in IT.
Law and policy is a reflection and product of culture, or at least the dominant culture. There is influence and feedback that goes both ways.

You can ask why Singapore and Japan have harsh fines, and India does not. You can also look at how people behave when there isn't a cop watching them.

At a high level, law is just a tool for enforcing cultural norms, and is only sufficient to police small amounts of deviation on the margin. If the majority, or even a significant minority, of people woke up tomorrow and decided to break the law, there would be little that could be done in any country.