skysight-inc/HackerNews huggingface dataset:
I am happy to see more web resources for mathematics, especially focusing on typesetting math on the web; students who want a quick reference, class summary etc. benefit particularly from not having to load a pdf (usually on their phone), but rather have reflowable text on the browser.

I used to write class diaries for my classes like this [0] and the lack of tex rendering was a serious limitation. Taking inspiration from the Stacks project [1] (whose backend seems to be the same as that of the Clowder project), I started writing latex on the web [2] although my methods are very amateurish compared to those websites.

I still like pdf the best for large or serious mathematical texts, but I think we should be putting more mathematics directly on the web to make it more accessible and convenient for people.

[0] https://sites.google.com/view/ykonstant/Home/math-1260-s17/c...

[1] https://stacks.math.columbia.edu/

[2] https://ykonstant1.github.io/power-draft.html
> My eyes in one location, seeing stuff, my ears in another location hearing stuff, my mouth in another location tasting stuff, then my notion of self switches back to wherever the brain is, but where was that transition?

There's a text adventure game that has exactly that as a game mechanic. I don't remember what it is called, I want to say it's "A Mind Forever Voyaging" but reading about it on Wikipedia makes no mention of this.
Some other languages also perform this optimization, for example Ruby and Crystal.
This highly depends on team and project. The more ambiguous your project is the more likely no decision will be made and you will instead need to commit to a follow-up meeting with more docs and more people.
The other difference is that with a buy back your return is reinvested in the stock. The company could make a mis-step tomorrow and make it go away. With a dividend the return is liquid and risk free. If you are re-investing your dividends in a taxable account you should prefer buy backs instead. If you are hoping to use your returns for cashflow you will prefer companies that issue dividends. If you're investing in a tax-deferred or tax-free account then it shouldn't matter.

In the US in 2024 you can collect up to $94k in qualified dividends and owe no federal taxes.
We deserve more: US workers' share of the pie dwindles
> It's not like we live in PRC or DPRK right?

Right. Western governments are much, much better at mass covert surveillance.

> it is likely far harder for PRC or DPRK to get data from Proton than it is for Spanish police

You balk at the idea of a western government being oppressive while pointing out that our “secure” email services can be easily compromised by government action.
The old school way of fixing that problem is to have a standing change order for routine work so you can point to it and say "my problem is just like that" and get the green tick right away. Though the moment you suggests things like change control people get all weird these days.
After working there for 6 years, I haven't seen a single up to date design doc. At best a high level diagram.

They are outdated as soon as implementation start, by different degrees depending on the project.

Side note but I think this average tenure number hasn't been updated in a very long time. In London for example, a third of employees have been here for more than 5 years.
>What if you're playing a game and someone pulls the chair from under you?

Right, here is Daniel Dennet's answer, from the story: "For as the last radio signal between Tulsa and Houston died away, had I not changed location from Tulsa to Houston at the speed of light? And had I not accomplished this without any increase in mass? What moved from A to B at such speed was surely myself, or at any rate my soul or mind — the massless center of my being and home of my consciousness."
So can you put in a dummy master key after the export and before the upload?
PFAS is able to be removed via reverse osmosis which direct potable reuse facilities utilize, so not really a problem
Chromium: https://www.chromium.org/developers/design-documents/

Kubernetes: https://github.com/kubernetes/enhancements/tree/master/keps
> The moral issue I have is that simply put, if I don't have the money for something, I wasn't meant to have that something.

You're thinking of debt as a consumer. Like, take a personal loan or credit card debt and buy a big screen TV. Yes, that's dumb.

Not all debt is like that. Picture this scenario: Your bank pays 5% interest on deposits. You're offered a loan from somewhere for an interest rate of 4.9%. It is a no-brainer to take that loan, go into debt, for as much as possible! Deposit it into your bank account and profit each month. If the rates change such that the bank pays less, just pay off the loan.

Now, sure, that's a simplistic scenario since nobody will offer you a loan for less than the banks are paying interest right now. But with time being another variable, you can manouver yourself into that situation. Right now my bank pays more interest than the percentage I pay on my mortgage balance. I'm literally making money every month by having debt. It would be very dumb to pay off that mortgage debt even though I have the cash to do so.
So you have enough insider information about the decision making process to know they plan the strategy based on media propaganda rater than military intelligence. But you dont have information about why.
Regarding 1. it's up to the client to parse and highlight links in plain text.
Screenshot 1 looks interesting. A mixture of a text- and graphical mode. Was that possible natively? Is what looks like text mode also graphical?
There’s no way to do freeform chat on device. On-device models can realistically be used for constrained tasks like summarization, RAG, email/instant message replies, that kind of thing. You aren’t going to get anything GPT4 like unless your “device” can fit a model with at least tens, if not hundreds of billions of parameters. Which, to be fair, a number of higher end Apple SKUs can.
I wouldn’t expect most companies using Rust to require significant prior Rust experience. At least, mine does not.
> CSPRNG api always includes an error you need to handle; in case the sys call fails

A user-side CSPRNG — which is the point of adding a ChaCha8 PRNG to math/rand — performs no syscall outside of seeding (unless it supports reseeding).

> you run out of entropy.

Running out of entropy has never been a thing except in the fevered minds of linux kernel developers.
Show HN: I built a web map that focus on realtor
Ankapong.com offers the best webmap for real estate professionals. Measure parcel information, check city land use plans, and discover how high you can build, user-friendly tools for all your real estate needs, making property research and planning a breeze.
Instead of a separate platform, it would be nice to have a Obsidian plugin that does exactly this!
Ok. I read the first part of the Vanity Fair article and of the Times article and I think I get the gists. Asking if I have them right:

Regarding "the Israeli government supported Hamas", from the NYT:

For years, the Qatari government had been sending millions of dollars a month into the Gaza Strip — money that helped prop up the Hamas government there. Prime Minister Benjamin Netanyahu of Israel not only tolerated those payments, he had encouraged them.

... Allowing the payments — billions of dollars over roughly a decade — was a gamble by Mr. Netanyahu that a steady flow of money would maintain peace in Gaza, the eventual launching point of the Oct. 7 attacks, and keep Hamas focused on governing, not fighting.

...Mr. Netanyahu’s critics disparage them as part of a strategy of “buying quiet,” and the policy is in the middle of a ruthless reassessment following the attacks.

Is that a fair excerpt?

Regarding "Israel and the US attempted a coup against Hamas" the gist appears to be that Bush the younger (really, as an aside, the worst President the US has had in my lifetime and I'm old enough to have been alive during the Nixon administration) supported a coup against Hamas in an incompetent attempt to create conditions for a the formation of a Palestinian state during his Presidency.

Is that fair? Probably not, because I don't have much patience for Bush shenanigans and it was hard to read.
An interesting (and portable) alternative to network namespaces is to bypass kernel networking entirely and use a userspace network stack.

I've got an example of doing just that with my project Noisy Sockets, https://github.com/noisysockets/noisysockets/blob/main/examp...
Thank you so much for linking testi.at. I’ve been looking for an affordable alternative to Litmus!
In the end you can never fully trust anyone, including yourself. This has always been true for anything: people get drunk, have psychotic episodes or have other mental health issues, things like that. It happens. Remember that Malaysian pilot flying the passenger plane in the ocean?

Every pilot in the world will agree that we need to think about risk management to prevent that sort of thing. I think a lot of them will have issues if we start saying things like "every pilot is dangerous" and (in a follow-up) "long-term good faith pilots are maybe even more dangerous than new maintainers". Then you've gone from "risk management" to just throwing shade.
The corollary is the Pirx principle (since we're doing sci-fi): Sometimes you just get lucky.

(In original: "give chance a chance". Also can be named Michael Scott principle if you like the particular version of The Office. Or "broken clock" adage but more positive.)

In such a case identifying factors that were the luck, the ones that made it an opportunity possible and ones that made it a success is crucial for continued success.

This is what makes "taking effort at all" superior to not unless you run out of resources or repeatedly bash against a wall.
I have one too, nice little car.

Unfortunately Volkswagen stopped making them, and the new ID line embodies many negatives of new cars.

Any details about the open source replacement for controls?
When I look at the features gmail doesn't support, I see things like "display: none", animation, and other kinds of css which arguably shouldn't be part of an email. The basics are there, so that makes high ranking not necessarily a good target.
It was possible per side loading

https://justgetflux.com/sideload/
Most likely the same reason as for industry espionage by said countries: Conceptually designing a spacecraft and assuming certain physics properties is a long stretch away from actually manufacturing components with materials that stand up to the stress of a launch.

The “secret” to reliable components which can be produced at scale is very much not generally out there.
It is important that such optimization will keep the array's full capacity when naively implemented. For example, calling `Array.shift` 999,000 times to an array with 1,000,000 elements will reduce it to 1,000 elements but its capacity will be at least 1,000 times that. A reasonable implementation would shrink the capacity when some threshold is reached [1].

[1] This threshold should be much lower than the growth threshold in order to prevent an unnecessary copying when the number of elements is around the threshold.
Communities are rarely monolithic; but do tend to have some vague set of shared ideas and values (even if there's ton of internal disagreement).

But yes, that's what I meant, roughly.
Before becoming a software engineer, which I learned through YouTube, I was a real estate broker for five years. While working as a real estate broker, I had to ensure that each house was suitable for listing by checking details such as the front width, length, area, and the size of the road. I also needed to determine if the house was close to the main road and assess the city's land use plan, including how many floors could be built on the land. This information was crucial for evaluating the property's price and ensuring it fit the niche I was focusing on.

Then, I decided to study programming and developed a map using data I gathered from government websites.
Those payments are for a good operation routed through stolen identities and funneled out using the internet (e.g. gift cards, traditionally). It's easy to trace until the money goes out of the country and gets transformed from a gift card back into money in some place the country has a hard time touching.
That's not very surprising either though.

I don't know many artists who would enjoy the prospect of justifying their art to someone who was skeptical of its merit from the start.

Not saying Kubrick did the right thing, just that it seems very on-brand for most people in his position.
Some language paradigms are always going to produce less optimised binaries.

Such as garbage collected languages vs non-garbage collected languages. And Python enables meta programming, which itself massively reduces the performance of the language (from a purely computational perspective).

While C compilers do generally have much better support for optimisations, the language itself was initially designed to sit pretty close to assembly. So even unoptimised C will perform better than the equivalent code written in Go or Python using their respective idioms.
I tried micropython, liked it, and developed and operated a few home automation devices with it. But changing anything after a few months was a pain - what flashing tool did I use, how did that detail work, etc. Now I run around 15 Tasmota devices in my household and would never look back. The initial flash, depending on the device at hand, can be trivial (e.g. using https://github.com/tasmota/tasmotizer on a device with builtin USB connectivity or with a USB-serial cable) or a bit less so (like the somewhat involved OTA reflashing process https://github.com/yaourdt/mgos-to- for the very handy and inexpensive Shelly devices). In any case, after that it all becomes easy, with web-based configuration, OTA updates, "fleet managament" software like https://github.com/danmed/TasmoBackup, and plug&play integratiom with Home Assistant. If somebody integrated micropython into Tasmota for cases where the countless configuration options and libraries integrated into Tasmota don't suffice, it would be perfect. But meanwhile there is a similar scripting language available within Tasmota for ESP32 devices so I can live with that.
I'd be cautious about providing direct solutions, but generating and asking questions using AI, based on the context the user provides, could potentially help them see their issues from different angles and possibly uncover blind spots. This is what I've been doing at https://www.deepwander.com
This is fine for devices that expose a true JTAG interface. But imagine something like Hitachi's User Debug Interface that exposes only boundary scan. The rest of the protocol is undocumented unless you have specific NDA clearance.

In which case a methodology is needed to reverse engineer this protocol, treating the device like a black box.

I really liked how a solution to this was found for x86 processors and hidden instructions

https://github.com/xoreaxeaxeax/sandsifter
https://www.esa.int/ESA_Multimedia/Videos/2024/04/The_Sun_s_...
It is also security theater. 99.9% of the time the other side you are communicating with stores their mails with server-side encryption. If your fancy encrypted e-mails have a "plaintext" mirror, your encryption is useless.

You want to optimize your 99.9% case for convenience (say, use Fastmail), and optimize your 00.1% case for security (manually managed PGP with a secondary anonymous e-mail). It makes no sense to trade away swathes of convenience and security just so you can be lazy with your 00.1% case.
Image byte order, axis directions, coordinate system handedness when in 3D... after enough trying, you eventually figure out the order of looping at any given stage of your program, and then it Just Works, and then you never touch it again.
Mozilla: Entrust Issues – What Is Entrust's and WebPKI's Future?
Maybe in theory, but there are no mechanisms or jurisdiction to enforce the ban in many countries. It's not like we have country wide firewall here. Blocks usually happen at ISP DNS server level, and that means very little these days.
Show HN: Taught myself to code and built a Notion scheduling tool for LinkedIn
Hi!

I taught myself how to code to scratch my own itch: writing LinkedIn posts in Notion, but having to copy/paste them into scheduling tools.

So I decided to create ShareKit to automatically schedule and publish my LinkedIn posts from Notion.

I hope this can be helpful to fellow LinkedIn users on here.

Would love your feedback on my first dev project, pls.
Maybe. I haven't tried it. Someone actually suggested this to me on the #gnupg IRC but I just kinda forgot about it.

The --export-secret-subkeys command does just that: it replaces the master key with some GNU specific stub packet thing. It's conceivable that they could detect this and reject the uploaded key. In order to avoid that, one might edit the secret key packet manually instead. Just zero fill or randomize all the secret key bits or something. I assume it wouldn't match up with the public key though. Aren't the public and private keys mathematically related? Maybe you can detect that the key is bogus if you try to do cryptographic operations with it. Maybe the operation somehow fails or produces nonsense results. I don't really know enough cryptography to say.
When I was about 15 I took a proper sword on a bus. The bus conductor looked a bit uncomfortable. No lives were lost.
> I refuse to go into debt by taking out a loan for a house

But you are renting.

While renting isn't debt, it can be helpful to think of it as debt you have to pay every month (unless you plan to be homeless).

So you have 12N (where N is the number of years you think you might still live) of rent debt payments that you are committed to pay. If you transform that into mortgage payments, at least you're building equity. And it will only be 1230 payments (given a 30 year mortgage) so it is a bounded number unlike 12*N.
Strange that Google still relies so heavily on site authority.

Shouldn't they have a good grasp on where people actually go on the web, which pages they use, share, bookmark etc?

I'm surprised they don't base their rankings on that.
The day of that news was the day I uninstalled all private weather apps I had been using and bought DWD. I figured if they want to play that game, they gotta live with the consequences.

I've since been encouraging everyone I know to do the same, and I never forget to tell this backstory.

Besides, DWD is hands down the single best weather app in the DACH region anyway.
Every police force exists for the state. They are the means by which the state exerts violence on you. The army is the means by which the state exerts violence on all the other countries' citizens.
If you find someone who lends you 10M interest free sure
Nintendo announces an announcement for Switch 2
https://archive.is/b0imQ

This is the steam page from 2 weeks before launch. The page clearly states that a psn account is required. Read my post again if you don't understand why someone would see this and still choose to buy a game they could potentially not be able to play.
I highly recommend the documentary Filmworker to anyone interested in Stanley Kubrick's character.

It's about Leon Vitali, the actor who played Lord Bullingdon (the neurotic brother of Lady Lyndon) in Barry Lyndon. After filming Barry Lyndon, he quit acting and became Kubricks personal assistant / factotum for over 20 years. Although some would say he was Kubrick's personal slave. It is utterly shocking to see how badly Kubrick treated him at times. Vitali did the work of 4-5 assistants, completely neglected his family, destroyed his health, spend the best years of his life re-cutting scenes until 5 in the morning while listening to Kubrick's violent tantrums, and ended his successful acting career for him. But apparently he was paid so little by Kubrick that he ran into financial trouble after the director's death. Yet for some mysterious reason, he remained completely loyal to his master until his own death in 2022.
Security first or revenue first?

One clue of depth of actual priorities will be how they bundle security features beyond just the Office/Exchange365 auditing they got in trouble for that allowed the State Department to detect Microsoft had been compromised (https://arstechnica.com/information-technology/2024/04/micro...)

To pick one long-standing consumer OS security feature that Microsoft charges extra for today… when is Microsoft moving its full disk encryption (bitlocker) into every version of its OS for no extra charge?

Checking Bing Copilot LLM for examples of other such features is left as an exercise for the reader. My prompting skills weren’t as good as my wetware neural network on that score.
We have a bunch of "duralex" glasses that are similarly resistant. We went to buy some more a while ago and I'm sad to say all the new ones have shattered since. The old ones are still going strong though!
In France too, and they have an efficient way of solving the “what if there are terrorists among the visitors” problem: the groups are escorted by armed members of the French special forces (there's an on-site platoon of them on every nuclear site to act as a rapid reaction force).
> Regarding 1. it's up to the client to parse and highlight links in plain text.

If the client is interpreting the content and then displaying its interpretation to the user, then it's not plain text anymore, is it? It's a format; in this case it's a poorly-specified, ad-hoc format and broken format[1] that is worse than simply having a reduced ad-hoc HTML format.

Just like HTML is "plain text" which is interpreted by the client and that interpretation is displayed to the user.

[1] For example, what if the sender types in `You should go to http://ww.example.com, where "example" must be replaced with your company name`? Suddenly `www.example.com` has an unintended DDoS!
With the amount of unexploded munitions they're leaving there, they're supplying the future resistance's rocket and IED systems for the next 75 years. Also creating enough orphans and resentment for another orphan army to replace the current one. Winning?
"80 column monochrome ASCII only"

Mmm... Paradise
Look at a company after about 30 years and basically everybody that was there before, is gone. You keep the same name, the same brand, but all the people are entirely different. And people are, by far, the most important factor in the capabilities of a company. And often times people just aren't really replaceable. But you have to replace them, nonetheless, and so you just end up with something entirely different, even if it has the same name.

An even better example than Boeing is the Apollo program. The degree of competence, efficiency, and speed of that program all under NASA - is completely unlike anything we've ever seen anytime before, or since. JFK gave his 'to the Moon' speech in late 1962, when our grand achievement in space had been nothing beyond on briefly sending a man to orbit just a few months earlier. Less than 7 years later (!!), the first man would set foot on the Moon. The entire Apollo program cost $179 billion over 11 years (inflation adjusted), for a total of $16 billion per year. Their latest annual budget was $25 billion.
It has been standard practice for decades. Sometimes this goes wrong, because everything can go wrong. It happens. Casting doubt on any contributor, any maintainer, and any long-term maintainer with fantastical stories is just throwing shade. Of course no one can be trusted absolutely; that has always been true for anything from software to child care to launching nuclear bombs. Anyone and anything can become suspect if you analyse things with enough of a suspicious mindset.
You can do most of that with sshfs, It isn't much different than a mounted drive.
Is disabling DHCP a mitigation?
Exploring the Underground of NFT Art