skysight-inc/HackerNews huggingface dataset:
WebAssembly ditched alignment restrictions and we don't regret it. There is an alignment hint, but I am not aware of any engine that uses it.
I uninstalled the Reddit app recently after they have banned some subs I used to browse. It seems just a freaking arrogant attitude to me that you want to control what I browse.

How power-tripped could you become by being able to control an Internet forum?
Its a bit leaky, but I wouldn't call it crappy. What's crappy about it? Be specific.
The same advantage as putting your app on Google Play instead of just an APK download link on your website.
unfortunately, the sad truth about dslreports, who for years has remained an unbiased provider of a truly accurate speedtest, is that their test no longer functions appropriately in modern browsers.

however, due to this, https://www.waveform.com/tools/bufferbloat was born. they mention this along with their specific reasons in the FAQ on the linked page.

so, update your bookmarks and plan to continue spreading the good word with this new provider in place.
>I'm always impressed by the labyrinthine towers of JS and frameworks people create to ship out relatively simple sites and web apps. By impressed, I mean that I look upon them both in awe and in horror.

Well, then... brace yourself for the one[1] I intend to release in a month or so. I've been working on/off it for the last three years.[2]

I'm hoping next month to actually build an application with it :-/

[1] A component library for client-side elements.

[2] Spent about 8 hours in total on it, over three years[3]. Sometimes I need a deadline to finish stuff. Don't judge me, no one's perfect :-)

[3] Still think it took fewer hours than learning React.
And a lot of applications can be easily sharded (e.g. between customers). So you can have a read-heavy highly replicated database that says which customer is in which shard, and then most of your writes are easily sharded across RDBMS primaries.

NewSQL technology promises to make this more automated, which is definitely a good thing, but unless you are Google or have a use case that needs it, it probably isn't worth adopting it yet until they are more mature.
I understood math much better after following the Software Foundations tutorials:

https://softwarefoundations.cis.upenn.edu/

Another good starting point (for mathematicians) would be the Lean community group and the Math lib project:

https://arxiv.org/pdf/1910.09336.pdf

https://github.com/leanprover-community/mathlib
There is nothing humiliating in it, so I'm going to politely ignore your suggestion. In practice, though, the "gentle suggestion" is a thinly veiled threat to report heresy to inquisition.
> The problem the GP is trying to address is how much the rich have, not how much they spend.

I agree. Perhaps we differ on this: How rich someone else is has no bearing on me. In fact, I love it when people get rich.

I'm sure you'll agree that you are wealthy beyond measure to hundreds of millions, maybe billions, of people in the world. They could well be stunned and angry at the way you spend money.

> The rich spend less of what they have - that's how they stay rich.

Not sure I agree. Many people appear to be rich but are actually in over their heads. Look at many, many pro athletes five years out of their careers.
People in developed country have a great deal of fear, mostly unjustified, that immigrants are going to bleed resources from the welfare state.

The opposite is true, if only because most countries (not Israel) are highly selective of who they let in.

Far right parties thrive because people in countries like the US struggle to comprehend what the "value" of their citizenship is (e.g. paying taxes, military service and such are real costs of citizenship) Mostly we've had the welfare state shrunk on the argument that we can't afford it, which leaves people asking questions like "Why should I be proud to be an American?" and one way people can sell it to themselves is believe that the nation is threatened by all the people who want to come in from the Mexican border.

People in developed countries have numerous reasons to be resentful. For instance students in the US often take on terrible debt to get educated, if people could come in from India without restriction it would unfair to Americans that we can import people who don't suffer from our cost disease.

(I picture some world where the top 5% of US citizens can afford to educate their kids in the US, the bottom 95% take only blue collar jobs, and most of the jobs that require an education are filled by immigrants. Maybe I oughta shut up before Jordan Peterson tries test marketing this kind of thinking to his followers...)

Look at how Silicon Valley has an unbalanced economy in which few people could afford to raise kids. It doesn't have to raise kids because it can import them and it's probably not so bad for a region of a country to not be raising kids but if a country as a whole is not raising kids it won't be reproducing it's culture.
Makes sense to me! In fact, if you were feeling super motivated, it probably wouldn't be hard to do a JSON export of your ProjectionLab data to see what that format looks like and start putting together a script to transform from one representation to the other.
This is probably the cryptography bug of the year. It's easy to exploit and bypasses signature verification on anything using ECDSA in Java, including SAML and JWT (if you're using ECDSA in either).

The bug is simple: like a lot of number-theoretic asymmetric cryptography, the core of ECDSA is algebra on large numbers modulo some prime. Algebra in this setting works for the most part like the algebra you learned in 9th grade; in particular, zero times any algebraic expression is zero. An ECDSA signature is a pair of large numbers (r, s) (r is the x-coordinate of a randomly selected curve point based on the infamous ECDSA nonce; s is the signature proof that combines x, the hash of the message, and the secret key). The bug is that Java 15+ ECDSA accepts (0, 0).

For the same bug in a simpler setting, just consider finite field Diffie Hellman, where we agree on a generator G and a prime P, Alice's secret key is `a mod P` and her public key is `G^a mod P`; I do the same with B. Our shared secret is `A^b mod P` or `B^a mod P`. If Alice (or a MITM) sends 0 (or 0 mod P) in place of A, then they know what the result is regardless of anything else: it's zero. The same bug recurs in SRP (which is sort of a flavor of DH) and protocols like it (but much worse, because Alice is proving that she knows a key and has an incentive to send zero).

The math in ECDSA is more convoluted but not much more; the kernel of ECDSA signature verification is extracting the `r` embedded into `s` and comparing it to the presented `r`; if `r` and `s` are both zero, that comparison will always pass.

It is much easier to mess up asymmetric cryptography than it is to mess up most conventional symmetric cryptography, which is a reason to avoid asymmetric cryptography when you don't absolutely need it. This is a devastating bug that probably affects a lot of different stuff. Thoughts and prayers to the Java ecosystem!
Yeah I was planning on changing the title, and then woke up on HN. Oh well.
I would advise against 'empty house' taxes. They just create lots and lots of grey areas.

Also don't tax transactions: you don't mind if people are buying and selling property. What you mind is foreigners (or others) _holding_ property. So tax that.

Transaction taxes are economically inefficient, because they impede the re-shuffling of assets to the best use.

Look into 'land value tax' for more detail.
>"But then the "types" analogy comes to the fore, and we end up with a system that's even more complex, a kind of HKT for declarative behaviors."

I agree with all of your points. What is HKT here though?
The data in the spreadsheet is really the most valuable part! I like the idea of using a small DSL to manage this, we actually already have some (very simple) DSL-like things in the spreadsheet to make it easier on editors of the spreadsheet.

Of course, with systems like JAMA, that automatically ingest Word docs and extract requirements, even to the point of generating verification tests, in turn kicking off dependency updates, the development loop becomes quite tight.

We definitely have to improve on the process that exists right now, as it's quite cumbersome to get all set up, and won't really generalize to new devices, but it's been a great learning experience, and I think it's really improved our development process overall!

Definitely a very complex problem to automate in the general case, makes sense why the JAMAs and Greenlight Gurus of the world can charge ungodly sums per seat.
Bingo. I use it all the time for my kids in Disney+.
Only way to get rid of JS as an intermediary for DOM access, yes. GC and the DOM are intimately related.
Discovery of bacteria linked to prostate cancer hailed as potential breakthrough
This reflects my experience as well. Some frameworks like pytorch have a reproducibility function that can execute everything deterministically, at the expense of performance.

I've done lots of ensembling work where we train multiple copies of the model, and generally we would start with different seed each time. If we start with the same seed but don't force the training to be deterministic, the results are typically different on each training run, though I have not actually explored if they are "less different" than if you start with different random seeds for initializing everything. There is that loss landscape paper that looks at how the weights vary for different kinds of perturbations, it would be interesting to try the same thing with gpu thread noise as the only source of randomness and see what happens
https://arxiv.org/pdf/1910.09336.pdf
The only version of the "American dream" I've ever heard was getting a small house on a ~1 acre lot and starting a family. I don't know what all this about becoming a millionaire is from.

-- a idk probably 10th generation American living on the East Coast.
Sure. True. However you do need to get good at thinking about these things.

For instance, practicing by knowing the type of problem (e.g. two pointer) then thinking, “alright, how do I apply a two pointer algorithm to this?” Not just looking at the answer and copy+pasting. You’re gonna end up having a bad time doing that. It won’t get committed to memory.

AFAICT you need to go through the physical exercise of typing things out and not typing them out as a computer but typing them out with mental thoughts involved.
If code is written - but it's not in Rust - does it really even exist?
> The founders guessed - correctly - that if they made a high-quality product and got people excited about it, the high price wouldn’t be an obstacle.

tldr: It’s made more durable and with better cold retention than cheaper options.
to be fair, .net had stuff like that for ages. i've never used any of it though.
I think “allowlist” is oppressive and humiliating so can you please stop using it altogether?

It’s all about demonstrating that you have the social power to control other people’s words, even when (perhaps especially when) your justification for doing so is completely and obviously nonsensical to everyone involved.

I think it qualifies as an oppressive form of social violence.

If you at all cared about the lived experienced of the folks you’re oppressing, you’d stop using it.
Reduce > Reuse > Recycle

Recycling is the worst of the three by far.
What is meant by "server-side rendering"? Is it the same as server-side on-demand html generation?

If so then I think the term "server-side rendering" is somewhat confusing. Your server is "generating HTML", not 'rendering" it.

Rendering in my view means turning code (like HTML) into visual output.. So whether the server serves always the same HTML, or regenerates it for every request, or something in between, the client/browser still has to "render" that HTML into visual output.

True server-side rendering I would think should mean the server renders HTML into a gif or jpg which then gets shown in the browser.
Since the only way to watch most streaming services is through their dedicated player that can already overlay text and graphics, why not just take advantage of that? It would need to be something that can survive video transcoding. Something like very slight dimming and brightening of specific segments of the video could encode an ID. The video would already have a list of random segments identified for encoding and each bit in the ID would tell the player to dim or brighten that segment. If you based the segments off of keyframes, the dimming or brightening might be imperceptible.
I'm guessing that's a placeholder for later. But I did find some sort of demo in the parent directory of the API docs site: https://maxammann.org/mapr/webgl/
It's a nice architecture when the API devs get to throw stuff over the fence to the frontend devs. It's less nice when you are the guy throwing stuff over the fence and then running around the fence to catch the stuff you just threw over it. It makes you start to wonder if there's anything you can do about the fence.

The answer is "yes."
You may be aware of this in same space, they have delayed for quite a while but apparently just started production: https://mybirdbuddy.com
Are We Sixel Yet?
Thanks for checking it out and taking the time to comment!

We are considering expanding the reference column to have more options, including population and CBSA (core-based statistical area). The idea of limiting it to "population employed/seeking employment" is certainly a way to mitigate some of the challenges of providing a general population comparison.
It’s because of the extreme amount of contracting, outsourcing, and in general “I don’t care how our developers or admins feel, we can always hire more”. This stuff is all incredibly for profit and the software getting worse isn’t going to change that much. (I think “so bad” is a level we haven’t reached yet, right now we are at “janky”)

I think there is also no willingness to change this. People cash out, aren’t concerned about anyone else needing to use something or any major impacts changes will have beyond profit generating or profit saving.

Maybe convince the companies that having good software is more profitable than mediocre software and industry dominance.
Yes, there seems to be a need to blame the lawyers and not the company engaging those lawyers.
disagree this "scary lawyer letter" scam has nothing to do with the law,
it has to do with a neighbor who is a cry baby who has no case and a lawyer who makes a lot of money off a little old lady who has him on speed dial.

It's a legal lawyer scam. He get's probably $1K for sending a stupid letter, little old lady gets to pay her lawyer to do her bidding instead of walking over and simply saying hey, you tree limb is over my property or whatever.
I think that in the future, unless a piece of content is signed with a key, it will be assumed to be fake.
Tiddlywiki seems (from a technical perspective) a little bit closer to what you're imagining:

https://tiddlywiki.com/

Sadly it doesn't let you edit WYSIWYG, ie when you click "Edit" it still transforms the section back into monospaced markup script in a textarea.

Theoretically it should be possible to change that, but I have not looked at the codebase.

If you were to do this from the ground up you would probably:

* Enable .contentEditable on the whole page (or at least sections like <main>)

* Add a floating toolbar for formatting controls (and a save button)

* Do the submit in javascript, so the page doesn't have to fully reload.

* Possibly add a toggle edit button? Or would people be comfy being able to accidentally edit pages whilst reading (as long as they realise they have to hit "save" to make a change). This might ruin some people's navigation key shortcuts in their browser (eg users of Vimium).

For personal or small-team use I could see this being good. For larger teams it would be a nightmare, as accidental edits would be common. The formal 3/4 step editing process has its problems, but it's a useful barrier against the tides.

Alternatively you could stick to using MS Office/Libreoffice, set the view mode to "web" and hyperlink to subheadings as your navigation (instead of "pages"). If we wash our minds of the historical uses of word processors versus web browsers: this could be a very successful implementation for 1 user or a few users (on a network share).
Yes, but the latter can do the same thing without the complexity of the former.
A lot of commenters have gotten hung up on the three hours, which I think is pretty funny. As explained elsewhere, it was really just one hour and most candidates did the work in half that. I think that this question fits nicely into a standard interview process, where a candidate spends half a day on site (or in video conference) meeting the team and doing interviews with several people.
PDFs here: https://github.com/jacobmischka/uwm-masters-thesis/releases/...
Bad/Confusing/Complex notation can absolutely ruin a learner's attempt to grok a piece of math, it's not a trivial issue at all, and it comes up in all levels of math. But good notation doesn't necessarily mean easy understanding. It's just like language. If I speak a different language, forget about communication in any deep way. But even if I'm speaking the same language, it's still not guaranteed we can communicate well or at all. Absence of shared language guarantees the impossibility of communication, but it's presence guarantees nothing.

The author is correct about one thing : Notation is incredibly under-appreciated and under-discussed by mathematicians, although it has immense power to shape thinking. Some visionaries like Charles Babbage, Kenneth Iverson or Stephan Wolfram might talk about it every 50 year or so, but that's it. It's mind boggling how the primary tool of communication is just developed ad-hoc on a whim with only minimal explanation and formalization.

>But is there some book or dictionary that lays this out in a novel way

What do you mean by "this"? is it specifically the overbars-and-underbars notation used in the article? as far as I know, that's the first time I encountered it. But the idea that exponentials, logarithms and roots all basically say the same thing and that notations should reflect that is discussed a lot, 3blue1brown has a very well known video that explains it in a visual way.

https://youtu.be/sULa9Lc4pck
>The thing as well. Even in countries where immigration isn't open. If you talk to an embassy and make the case for how you might contribute to their country. They will just let you in.

This information is very interesting, I have research in computer theory, mathematics, philosophy and other sciences... Would a country like the US open its doors to me if I can show that I can contribute to their country?
AMP is just the 2022 version of iFrames.
Make Apache fast(er) than Nginx
If a person is so self-centered and willing to turn his back on his fellow countrymen I wonder if he'll do the same for us when we fail to give him 100% of what he wants 100%, when he sees that citizenship here has some responsibilities as well as right.

(e.g. what if an American thought he didn't share in the economic structure because he doesn't want to live in a country that burns fossil fuels, thought the space program was a big waste of money, doesn't want to fund pensions because they don't benefit him now, thinks his vote won't make a difference.)
Simplify the interpretation. One has the right to leave their own abode, house, etc. at any time, for any reason. One does not have the right to enter another’s house without an explicit invite. The other’s house is maintained and paid for by that individual. Immigration is no different. One may leave their own country. Whether any other country will allow their entry is another question. The US and Western Europe are violating the rights of their own citizens by allowing mass immigration. It ends as it always has with the destruction of the host country. And sadly for many, that is exactly the goal.
> As per your edit, I would recommend you leave your house, drive north and ask. I can assure you that people want to use the names of their people and not an arbitrary word that has been pushed on them by strangers.

I'm not applying this social pressure to self censor, maybe the people doing so could drive north and ask. Have you?

> Sure, most people don't mind it. You chuckle, roll you eyes and continue with your day. But if from now on all official texts no longer had "Americans" in it but "Burgers", you can be sure there would be anger.

Your hypothetical is nonsensical. A group decides what to call themselves. Americans themselves would need to decide that in your scenario.

What outside communities call you (yankees, etc.) is separate and cannot be controlled.

In general, I'd suggest not getting offended on other people's behalf or looking for things to be offended about. Words don't hurt you unless you let them.
Why is it trivial? Did you follow the link from GitHub to the main https//frame.work website? There are close to zero other offerings of a modular mobile computing platform that function as a laptop and single board computer.
The correct answer to this is that state lives in the url, which is shared between client/server. This is a simplistic solution for many applications, but still achievable on some level.
I don't understand.
You asked about the rationale behind immigration, and I explained that it's an extension of property rights. I'm not making the decisions, or justifying them. I'm just saying that a "country" is really a political structure that represents the views of its inhabitants, and that most of the citizens of these countries have collectively decided that they want a say in who they share their property with.
Not comparable to engineering at faang. Coca Cola sells itself. Still Coca Cola is way racist. America is 13% black.
AirPods looted by Russians giving away their location via Find My
Host your own mail server, it takes less than a day of work per year to keep things running smoothly and you always know where your data is hosted. Use a smart server for outgoing mail - your IAP most likely mandates this by blocking port 25 outgoing - and configure your MTA correctly to make sure your mail does not get bounced by Google or Microsoft (the most likely culprits to do so in my experience). Use Dovecot as MDA and access your mail from whatever IMAP client you happen to like - Claws mail, Thunderbird, K9, etc. Use Sieve [1] to filter your mail into separate folders, including a spam folder for messages marked as such by SpamAssassin which is used by the MTA to check for such.

What I use:

- MTA: Exim, greylistd + SpamAssassin for spam filtering

- MDA: Dovecot with dovecot-sieve for filtering

- MUA on Linux: mutt, claws-mail

- MUA on Android: K9

- MUA on web: Rainloop as a Nextcloud app, Roundcube standalone

I've been doing this for more than 25 years and never had any significant problems. I get far less spam in my inbox than I see in the Gmail account I registered back when that was a new thing and which I only use for testing purposes. If I am to believe the naysayers on this forum and elsewhere it is impossible to host your own mail but my experience shows they are simply wrong.

Just get a SBC, install a mail stack (MTA + MDA, Sieve, SpamAssassin, some form of greylisting if you want to use that) on it, hook it up to your residential connection, get a domain name and start experimenting.

[1] https://en.wikipedia.org/wiki/Sieve_(mail_filtering_language...
I’m sure Amazon worked their way into the community and shut it down. If they can prove this it’s illegal right?