skysight-inc/HackerNews huggingface dataset:
Does any of the LSP-powered editors come any close to the smartness of IntelliJ? This is a genuine question, the last time I checked (over a decade ago) nothing could really compete to IntelliJ, everything else felt dumb.
A little off-topic but I recently removed Dark Reader from my Firefox provisioning as it always opened custom webpage to "greet" me. Also, some hacky-wacky disables "Remove Extension" menu position for this plugin.
for example, how would you write a piece of code? using images in your head? are those images of code? if so, then that for me is dialogue.

i dont think people have some kind of mental sign language to represent every possible concept they have ever experienced. thats what language is for.
I feel like we’re going to look back in a couple years and mark this as the beginning of the collapse of Tesla. Musk is already spread thin, now he’s so unfocused and undisciplined that he’s unable to stop himself from buying an irrelevant social media company as an expensive hobby. It’s the height of hubris.
E-ticket ride
And I don't YOLO money into smart contracts that haven't been battle tested. It's easy to avoid getting rekt with common sense.
My MBP works fine with my four monitors but I needed to have good cables/adapters.
> I can assure all readers this is another reddit hoax.

They name the facility in the thread.
PPL have to keep in mind that GPUs are all about extreme 3D performance, namely pushing the silicon really hard, then ASIC is probably the only reasonable way.
People in cities still need rural towns for farming and related agriculture production. Maybe in 20 or 50 years most farming will be automated, but until then lets not lose sight that big cities are dependent on those rural towns with "strange tradition life of worse health, poorer people, less equality and more pollution"
as you appear to be some alien from beyond the solar system

on Earth: previously political boundaries were set on the outcome of armed conflicts

Great Britain won the last one against Spain, and gained Gibraltar as a result over 300 years ago

these days we are slightly more enlightened and tend to mainly believe in self-determination

the people living in Gibraltar wish to remain British

giving them up to Spain against their wishes would be an act of imperialism (commonly frowned on in the 21st century)
If anyone who can get in a boat in France can migrate to the UK, that is, by definition, uncontrolled. What you call "a well known trick" is, in fact, a perfectly reasonable argument, whatever the Guardian wants to say about it. It is fact that we have a massive shortfall in social housing. What caused that shortfall is largely irrelevant.
It’s just ridiculous to call someone a bad programmer over memory bugs.

By your own words you are definitely a bad programmer if you have ever written more than 1000 lines of code in low level programming language, because there is simply no way you haven’t made an error. You just don’t necessarily know about it, which in my opinion makes you a worse developer, especially with this ancient and destructive mindset.
Good idea, my project is on Go right now. Will try teaching it and come back...

Nitpicks:

> compiles fast

That is totally irrelevant for beginners, as their programs <100 lines long.
The best would be not having to compile at all.

> as opposed to say Java

Not really a big problem, actually. I watched how people learn Java in college (I was a pro at the time so helped them) -- they usually get main() definition from professor, and then just copy that file around. They write everything right in main() or in other static methods, so not a biggie it's all wrapped in some mystic "class Main {...}". But I think it's much better that:

1. They have to write types for all variables and no implicit conversions made.

2. If it's not in autocomplete -- it doesn't exist. Compare that to Pythons "len()", or Go's "append()" (and explain why result of append() needs to be assigned if it works without it).
The arguments of that paper are for wild animals; it is open to question how true they would be for humans. Non-human animals get most of their adaptability from their genetics, and relatively little from culture; humans get a huge amount of their adaptability from culture. Humans may need less genetic variability to survive than other species do. It would also depend on how much of human knowledge and technology the sole surviving breeding pair would be able to retain. I don't doubt the odds would be against human survival in such a scenario, but I think we have to question how applicable research on other species is for humans – humans are capable of things no other species can do.
again, i think people are just being naive or faux-confused about what images in your head should look like. they think it should maybe clear and lucid as opposed to something much more ephemeral and difficult to grasp.
I only very briefly looked into rqlite. It's very interesting, but if I understand it correctly it's also not geared toward a write heavy workflow. (all writes are routed to the same node)

I.e. it's leaning more toward the moderate, but reliable writes, and heavy read use cases?

Please let me know ~if I'm missing anything~ what use cases I'm missing.
Total remakes from basically scratch.
I've settled on rolling with c++ with no(minimal) external dependancies as the best solution...still using Unity for some projects, its just so fast to get stuff done!
It is exceptionally great if you don't need parallel writes or have many terabytes of data - ie: for most services out there.

When embedding natively, like in a Rust app, the performance is better than any other RDBMs because no network/serialization overhead and being able to use pointers in-process if needed.

The DevOps story also is a dream: typically it is just a single file (optionally + some more for journaling) and setup is automated away (most language libs bundle it already), plus it is widely known since smartphone SDKs and all webbrowsers include/expose it.

A subtile advantage: the supported SQL subset is so small, that "if it works in sqlite, it will also work with $RDBMS" in most cases, but not the other way around. I always use it when getting started when in need of relational data, and only had to swap it out for postgres once, but not due to technical/scaling reasons (IT policy change & stuff).

Having said that, it is mind-boggling what kind of load you can handle with a small VPS that runs a Rust microservice that embeds it's own SQLite natively... that would be an expensive cluster of your typical rails/django servers and still have worse performance.
Amiga: Alive and Kicking
With 4 Gb you might as well just load the data into RAM.
He is not 'the owner of a car company'. He is the majority shareholder at about 17%. Means 83% is not owned by him.
Ill add that sanctions always hurt the poor the most. They are not a smart way to bully diplomacy.
Yeah sure thing, this is Kanso on iOS (its also on Steam)

https://apps.apple.com/app/id1384257762
Find a search engine, type something in, click next about 3 times, and click the 3rd or 4th link you see.
Natural gas isn't as smelly as the sulfur smell of coal gas, so they add smelly gas to it so leaks can be identified without equipment.

https://en.wikipedia.org/wiki/Methanethiol
> not be able to find and convince a consortium of investors to put money towards the buy out?

The pitch would seem to be "sure, you could buy into twitter a lot cheaper two weeks ago, but now I'm involved! How great is that?" You're right that it depends a lot on his reputation.
It depends on the application you are developing. If you are doing microservices, separate the database from the application is a must.
Something that has always bugged me about sites like these. What's the point of "TechCrunch, Entrpreneur, New York Post, Mashable, AppSumo, NBC News" splattered on the top. It doesn't give any context at all why they're mentioned. Is the platform owned by them? Did they (at one point) mention the product? Were they favorable?

Note, none of these icons / logos actually link to anything either. I can't pinpoint it, but it absolutely feels like a dark-web pattern. You're not claiming anything, but allowing your readers to infer potentially dishonest information.
The stone or ceramic tablets are fragile, so they can break.

Bronze tablets will not break. Unlike stone or ceramic, they are slowly corroded, but we have well preserved bronze tablets which have survived at least 2200 years.

A bronze tablet, or better a stainless steel sheet, can be engraved with text using a computer-controlled mill.
Twitter ready to accept Elon Musk’s bid
Show HN: Voxel Lunar Lander in the Browser
Thank you for the appreciation :)

It’s a linode. Shared cpu Plan.

1 CPU Core
50 GB Storage
2 GB RAM

It’s just $10 per month.

With linode even shared cpus are powerful and I’m yet to hit any overload. I’m sure it will at some point, I might upgrade then.
Barbie=barbecue right?
That's correct. rqlite replicates SQLite for fault-tolerance and high-availability, not for performance. It fact performance takes a hit, for the reasons you state. But it's no worse (nor better) than something like, say, etcd or Consul.

https://github.com/rqlite/rqlite/blob/master/DOC/FAQ.md#what...
Sometimes I get stuck in loops of thought about "what I need to do", such as "I need to buy X, pick up Y, return Z". Writing this list down breaks the loop. I think that counts as mind chatter :-).
It used to be possible to invert OSX colors with a keyboard shortcut like cmd-ctrl-8 but it's not on by default anymore (still possible to enable it from the keyboard shortcut settings).
A computer for the most part.

Xcode, I use Xcode for the most part and visual studio for the Steam version.
He'd be staking it on revitalization of Twitter, surely you're not going to glance over that plan?
Woah, the reaction you are getting is a bit insane. Some people cannot take any criticism of europe, even if your comment wasn't even actually critical at all. It's ironically starting to remind me of the super defensive americanism that was common a decade ago.
This isn’t “the” BLM site. This is a site that is purportedly onboard the BLM movement. That’s an important distinction.
"And then some bureaucrat realized that this created a market: you, as a city government, can bid for taxpayers to select you as a hometown."

This is the most Neal Stephenson thing I have read all morning.
Did you miss this part?

To the extent that taxpayers donate to their hometowns, Tokyo no longer freerides on the substantial public expenditures required to raise and educate internal migrants.

The cost to raise a child to adulthood in Japan is around $300,000. That's quite significant.
Iirc that was discovered to be a laundry in the mid 00s?
Imagine Tim Cook were to take a loan on his Apple stock to take over Whole Foods because he doesn't like their avocados.
Several things:

_First_, a general clean architecture considerations -- protocol is "view", it
shouldn't infect the model.

_Second_, LSP is a way to consume semantic info, but there might be others. A
different protocol might come along, or you might want to embed the server as a
library somewhere.

_Third_, LSP is language agnostic, so, to implement LSP, you'd have to dumb-down
internal rich language specific representation to a language agnostic one. The
system will be more evolvable if such dumbing down happens near the edge of the
system.

_Fourth_, LSP really just stretches the surface of whats possible. Language
servers should push the boundaries of whats possible to both deliver a better UX
for a specific language as well as to pressure the protocol itself to implement
more advanced features.

The design guideline we use in rust-analyzer is that we are building not for
LSP/VS Code, but for a hypothetical, rust-specific perfect IDE whose frontend is
capable of doing anything we want.
Sure it is, you just need a good ad blocker. Oh, and a way to bypass all the paywalls that everyone thinks you can afford, all of a sudden.
Everyone needs everyone else for the goods and services they provide. We pay farmers for the food they grown when they buy it. We pay them again with farm subsidies. Do we really need to pay a third time with town subsidies?
I think "not using twitter" is a very easy and casual thing anyone can, and probably should do, if they want to. It's not that deep. Just don't use the website everyone calls "the hell site"
I like that. When I was a freshman in art school on my first day of painting class my professor said to us something like, "All of you are already artists, now you have to practice art." Changing it from "I must do my studio time so that when i graduate i can become an artist" to "I am already an artist and I am practicing right now" was a big deal for my young and insecure mentality.

Also reminded me of this passage from War of Art...

"What's hard is sitting down to write. Have you experienced a vision of the person you might become, the work you could accomplish, the realized being you were meant to be? Are you a writer who doesn't write, a painter who doesn't paint, an entrepreneur who never starts a venture? Then you know what “Resistance” is."
I think it worked for EthHash, given the number of GPUs using it.

Monero's RandomX also seems succesful, but that has a higher bar (wanting to be CPU only) and a smaller footprint so ASICs might be easier to hide.

As a bonus for KDFs, there is much less economic pressure to 'break' them. So trying to develop ASICs / FPGAs / GPU implementation is pure cost, rather than an investment.
> > discovery of other forms of security regression, like timing or energy side channels.

> so the exact same safety guarantees apply.

I see this a lot with Rust, and with encryption. There are no magic bullets. There is no "you are safe because you used this" tool.

In this case, Rust's safety gaurantees apply only to memory safety.

GP wasn't talking about memory safety above.
It's fascinating that you specify "the English". As if the Scottish, French, Spanish, Turkish, and many others don't have a history of colonialism. Plus, your argument seems to imply that English people today must pay for the actions of their ancestors, which is quite a strong claim.
I don't think GC is an issue, pauses would usually not even be noticed by the user.

In terms of speed, as long as you don't choose Python I think you'll be fine.

I do think in terms of productivity, something like F#, that has GC, ML style syntax with piping and partial application, and a strict enough type system with Hindley-Milner type inference, would be the most productive.

My hold up was mostly with the sentence I quoted which seems to contradict itself.
I am really looking for resources and books that could provide me problems with incremental difficulty with hints and solutions. I really miss high school math textbooks and reference books. For example, After watching a video from 3blues1brown, I’m very pumped to understand the concept but finding basic problems takes my motivation away.

Can someone share sources from where I can practice math problems?
I don't know what will happen if Musk takes over but I've seen enough platforms disappear to know that their long term longevity is not something I'd bet real money on. Every collapsed empire at one time looked immortal.
What are you talking about? Marriage is by far the dominant form of cohabitation in Sweden. https://www.statistikdatabasen.scb.se/sq/124634

What is true is that the average age at first marriage is high in Sweden at around 34 years, which means if you only look at what twenty-somethings are doing you will get very confused about how people are living together, but in fact a lot of couples are older than 30.
I can just turn off 'algorithmic timeline' and get a chronological timeline of tweets from people you follow. I would love to pay for no ads on twitter dot com.
On windows 10 I turned on the invert colors shortcut key (in the 'color filters' setting page) which is ctrl+Win+c, for a quick fix for anything blowing out the my eyes. That it's instantaneously, one-handedly on or off makes the short term inversion of the tab bar etc feel ok. Most fonts surprisingly look just as good flipped but... the hn one is not a good example
Because it's hard to notice, but "Uranus" sounds like "your anus". It's funny to point this out, each and every time "Uranus" comes up in any context whatsoever.
> SQLite has essentially no support for live migrations, so you need to instead make a new table, copy the data from the old table into the new one, and switch over.

That seems like a pretty big flaw as your data grows. Zero downtime migrations are really nice. Anyone here got a war story / experience with this one?
Lately, Rails has been complaining about connection timeouts, stating that all connections in the pool were in use (this usually happens when Sidekiq, a background jobs framework, processes multiple long-running jobs).

By default, the connection pool in Rails contains 5 connections, and they time out within 5 seconds.
Even in the hard sciences, truly reproducible results take a long time to arrive at. In the social sciences, it’s a serious and multi layered problem.

So yes, facts don’t care about feelings. But everyone should likewise check their own feelings of desiring certainty in a world of sociology that is filled with vague suggestions and likelihood at best.

Not every idea is true, not every idea should be accepted. But the idea that we know with certainty which are which when it comes to social sciences should be held with skepticism.
This is just trash honestly. Getting offended by what you perceived to be criticism by "the american boogeyman out to put down glorious europe" is not a reason for this mildly racist reply
To me this doesn't sounds like a battle between the EU parliament and big tech at all. More or less like an alliance between large companies and politics (not unheard off). The aim is to spread the good kind of information and not the bad kind of information. But any qualifier is highly subjective and not at all determined by the judicial system in the end and instead by political whims of the day.

Deleting illegal information with 24h? How long do you think a real judgement from any of our western judicial system would take to determine something illegal? 1 year, perhaps 2? So who is anyone kidding that content will be evaluated by judges?

Also just shorty before voting on it an emergency clause was added (seriously, no new legislation can live without emergencies. It would just not be the cool type of legislation I guess). This emergency clause references the war in Ukraine. It is up to you to deduce what that could mean...
Not (at all) an expert, but I think what you are referring to is a harder problem: given an SHA1-hash, to find something that maps to it. Getting a collision is quite simpler: just create two inputs that map to the same thing, or (more realistically in attacks) you know the original content (and therefore its SHA1 hash) and you want to create another content that has the same SHA1. If, on top, you can also decide (to some margin) what to put in, you can add some "invisible" malevolent pieces. As far as I understand, this is much easier than reversing an arbitrary SHA1-key (with or without "chosen" additional content) without knowing one decrypted key, because the collisions that were found so far were always of rather big files sharing a vast majority of their contents. An ideal hashing would give totally different results changing just any byte in the contents, but apparently this is not the case for SHA1 (but again, I'm just a casual reader about these things!).
I see your point and agree with you. You cannot put a price on a valuable idea.

In this particular case though, I feel reading that book was mostly a waste of time primarily, and of money secondarily. But then, me being me I would probably have wasted that time doing other mundane tasks anyway.

Also, some books are worth far more than their actual cost. For instance, I've been reading the classic Jane Eyre by Charlotte Bronte. My regret is that I choose a paperback instead of the hardcover, because this is one book I want to keep for a very long time. (My paperback copy is absolutely fine at the moment, but hardcovers tend to outlast them).
You could accomplish this yourself with a browser add-on.
I hope it doesn’t, political reform in China is dangerous and may cause chaos - call me selfish but let my younger sister out first
> darkreader

Too slow. Moved to https://github.com/m-khvoinitsky/dark-background-light-text-...
A slightly more generous interpretation — GitHub was pretty much stagnant (for better or worse) until Microsoft took over and started adding new features and making improvements are a pretty considerable rate. This has led to more complexity and bugs.

I at least have found the recent improvements and additions pretty great — GitHub’s newish PR review UX is way ahead of BitBucket (where my employer currently hosts our codebases) for example.
>I am not at all convinced that towns have a claim to the tax revenue of people who don't use it's services.

The article mentions such a service tho. Education. On the other hand I don't think the support for those early years amount to 40% of ones paycheck but not everyone participates so...

>worse health

How so? I would think it is the opposite based on studies about allergy prevalence, etc

>less equality

I don't think this is a constant either. I'm curious to see a broad study but if there's ever places i've seen stark wealth divides to slap one in the face it's been big cities.

That said as towns person I still agree that the move to cities is not a bad thing especially if we wish to preserve more nature and so is the push for it. I also think this continuous urbanisation will help their or our birthrates but the world population can't and shouldn't grow endlessly.
I recently experienced this in a surprising way. There is an app i use for dieting called MacroFactor, incredible app by the way, that really streamlines the process of checking in and making adjustments. The issue is it is actually SO good at streamlining everything that my previous rituals on checking on my trending weight and what my average calories and such served as an anchor to keep me "in" the goal. Without this, I will get a few weeks in and just go sort of "autopilot" as you say and become detached from the process and even the outcome.
HN has terrifically simply markup, your user agent should be able to display it however you would like with relatively little configuration. What user agent are you using? All the popular ones that I'm familiar with (Firefox, Chrome derivatives) have addons or plugins for changing the appearance of websites. In Firefox you can even add rules to userContent.css without an addon.

Just for an example, here is my userContent.css for highlighting the five languages that I use most frequently in Google Translate.

@-moz-document domain(translate.google.com) {
[data-language-code="ar"],[data-language-code="en"],[data-language-code="el"],[data-language-code="iw"],[data-language-code="ru"] {
background-color:#ddffdd !important;
}
}
This discussion shows how far Musk's anti-SEC propaganda had taken effect. As far as I know (I could be mistaken, and too lazy to investigate that further), but the SEC doesn't have the power to block bank accounts of companies over illegal things shareholders or officers of the company did.

That's how this discussion started: The SEC blackmailed Musk into signing a settlement or otherwise the SEC would block Tesla's accounts. Well, it's either that or Musk, in fact, did lie about the funding to take Tesla private. reasonable people believe the latter, other prefer option one. And then people still wonder were Tesla's evaluation comes from.
It will go into RHEL, in a decade