skysight-inc/HackerNews huggingface dataset:
In Russia they(watchdogs) also are monitoring activity with connection to western IT, even open-source. While you contributing: "you help to our enemy".
At the moment my trust of AI is low, so I'd only consider it for low stakes tasks or things where I could validate the work without a net productivity loss.
Arxiv is a blessing, I would not be where I am without Arxiv and all the folks openly sharing their research.

I don’t like that deepmind gates their research behind nature and other publications. I acknowledge it puts them in the cool kids club but it feels unauthentic. Putting research out in the open moves humanity forward.

Arxiv can say it made a little dent in the universe and I’m glad it’s getting the funding it needs to be sustainable.

I just hope they don’t burn it out trying to scale needlessly.
I'm somewhat experienced in mountaineering and have done several dangerous trips that have been incredible and memorable experiences. I would say, firstly, yes they have had a positive impact on my mental health, I have less fear, and the memory of those expeditions make me happy. But, as someone who tripped a lot in their 20s, I would say that trip experiences are just an entirely different "level" of experience to conventional experiences. There's something inherently transcendent in the way psychedelics alter your perception and inner world that you can't experience by mountaineering or extreme sports or what have you. You could argue that it's down to the chemistry, which would be partially true, but I don't think it's entirely mechanical, it's the quality of the experience that's different. I have never been pulled into inner space to meet fantastic beings of light who told me everything was going to be fine during a scrambling experience, nor have I dissolved my experience like a mist into complete, transcendent emptiness and calm at the peak of a mountain. Mostly, I've just been cold, hungry and tired up there :)
I took the phones of my parents and siblings to install Telegram on them myself ;) My brother and sister use it sporadically, but I still can send them messages knowing they will read them sooner or later. My parents are more proficient with it than me, now :).
Elements of an Effective Software Organization (book, pdf)
> nobody of my audience went off from X to mastodon

Including Slack. Who are moving off X. In most cases, another protocol—be it a status page or even an email—may be better.
Is ABB~aC4 true or false? LLM will happily process trillions of such sequences and learn to produce similar sequences even if they all were random. 'Truth' is an interpretation of symbols. With a proper interpretation, the ABB sequence may as well be a proof of the ABC theorem.
Ahhh, I see - yeah that was quite confusing. Great to see them on there!
There is a simple and scientific question: does this "leaked" DNA in COVID vaccines have adverse effects? Enough to revise vaccination policies, vaccine purification, or the vaccines themselves?

No people and no methods are relevant, the only enemy to be concerned with is a virus.
He still has the record for the most carrier landings (over 2000):

https://en.wikipedia.org/wiki/Eric_Brown_(pilot)

There was a story that the US assigned someone to beat his record, but the poor guy had a nervous breakdown. Not sure if that's true.
All names are taken, you just have to become more popular to win it.
Workplace Loneliness Is Real. In-Person Work Alone Will Not Cure It
I doubt if it is possible to have a practical small kernel. Take mesh processing in https://github.com/elalish/manifold for example, we encountered a lot of problems when trying to deal with inexact floating point arithmetic. Using exact arithmetic can probably result in much simpler code (doesn't make sense in our case because the point of the library is about dealing with inexact arithmetic), but exact means slow. Also, a lot of code is about fast-paths that occurs frequently, data structures and algorithms that cut down complexity but are difficult to implement. Can we remove those fast-paths and complex algorithms? Probably yes, but this will slow things down a lot.
Arthur C. Clarke and Roger Ebert Chat About Artificial Intelligence [video]
Our solver implements "state-of-the-art" CDCL (conflict driven clause learning). So there is a chance that the performance is improved over "resolvelib" which is used by pip.

Once we are feature complete enough we will work on some more benchmarking.
There’s error wrapping for adding context. Where one adds a human readable context to errors. Stack traces as I know them from the JVM world, with their line numbers and method names, seem a lot more coupled to the source code, so I’d say it’s the other way around really.
> I keep yearning for a modern take, but it feels like we are stuck in a local optimum from which there is no escape. New platform has to fight with the decades of accumulated inertia and packages which exist in Tex.

I believe the issue is that the better-than-LaTeX language needs to be not just better, but so much better that all the tooling and extensions for LaTeX are ported to it. Before this, it won’t be better than LaTeX. So it’s a kind of a chicken-and-egg issue.
Yes but of course you must go through every comment the user made and check for personally identifying information and remove it.
It really depends. Jobs that refer to you as a worker and your peers as the workforce will pay peanuts. They pay peanuts in the west, they pay peanuts in the south.

But if you slap an identity on your profile then where you are may not matter that much. There will still be a pay gap but pay will be worth while.

Guess what i am trying to say is that it is worth giving a shot but that shot needs to be given your all you have. I dont have specific examples but it is doable.
Yeah, I think it would be awesome to work on top of the same foundations (rip & resolvo being two of those, and konstin's, who works with Charlie at astral, pep440_rs and pep508_rs being two others).

We'll have some more conversations around this in the upcoming weeks I hope.
I recorded a macro for that.
Element is already better than most other Messenger Frontends. Matrix is becomming incredibly sexy. Also Element is working on element-x android and ios that is using the Matrix Rust SDK.

Also matrix spaces is more elegant than telegram folders.
In Israel? https://www.refworld.org/docid/5108ed0e2.html Furore in Israel over birth control drugs for Ethiopian Jews from UNHCR, the UN Refugee Agency
No, I didn’t call it a genocide, I said that what you call re-education camps look to me like internment camps, which can also look like concentration camps (since they’re fundamentally the same thing) and which, absent fully independent verification, might actually be extermination camps. History is the only thing that will show if those camps represent a genocide or not, but it does look suspiciously like what one would do in a genocide.

Avoiding actual genocide, by the way, is why I don’t believe China’s numbers any more than I believed Bush’s or would have believed Roosevelt’s or Hitler’s or Hirohito’s.
> The only barrier I see is that each charger network might want their own app, etc.

It is noteworthy in this regard that part of the EU mandate for a charger network is "without requiring an app or subscription"... "They must also accept contactless payment and provide full pricing and live charge point availability information through ‘electronic means’ such as an app or sat nav system."

https://www.autoexpress.co.uk/news/88920/electric-car-chargi...

https://www.theverge.com/23806690/eu-ev-fast-charger-60km-la...

https://www.weforum.org/agenda/2023/07/eus-law-mandates-fast...
Allah can no longer be pluralized now, but it could be pluralized in older Arabic, before the conversion to the Muslim religion.

Remnants of that time can still be seen in the Christian/Judaic Bible, where the plural of the cognate Hebrew word, i.e. "Elohim", can be encountered, though even there it has acquired in many places a singular meaning.
This has only been said by the IDF, the same ones who lied about the children, and lied about poisoning wells in 1948.
So yes it was a bomb from Israel, and Hamas never had such a powerful bomb.
I don't listen to novels, and my experience isn't the same as yours. I have listened to hundreds of human narrated books and only had poor experiences once or twice due to the narration.
A private company having apparently access to all my messages (it's not true, there is encryption) is still somewhat better than meta AND the whole US government having access to my data
A Programming System
Your experience mirrors mine. On a recent trip to the UK we rented a Tesla Model 3 and the Supercharging experience was a breeze; no trouble at all. However, there was not a Supercharger near the hotel so I had to use another vendor and the experience was terrible. Not only did I have to download yet another app, I had to pre-load the account with money. That was even before having to find the charger, activate it, make sure it worked, change to the other one when it didn't work, etc.

The whole experience was horrible and helped me understand why some people don't think electric cars will ever take off. In fact, I think that the non-Supercharging experience is so bad that it is actively harming EV adoption. So, the sooner that Supercharging can be adopted the better.

NOTE: NACS is a charging standard and not limited to Tesla Superchargers. My hope is that when other companies (ChargePoint, EVAmerica, etc.) adopt the standard and start providing NACS charging locations they won't screw it up as badly as they have with CCS.
A guide about designing, debugging, and optimizing Streamlit apps with GPT4.
If one entity controls: the server, the protocol and all possible clients; then you are still trusting the intermediary.

Its not like its a significant difference honestly. I know people beat the E2EE drum and they definitely should: but that only makes sense if the clients are disconnected from the transport. IE: ensuring that collusion between them is less possible.

Though storing things on the server is something telegram then has to secure on your behalf, it does provide a tangible UX improvement.
https://googlethatforyou.com/?q=successful%20business%20buil...

You get the picture.

Also, types are a spectrum. C++ has types, Objective-C has types. Those alone have enough success stories to fill tomes! But of course you’re talking about strong static type systems like Haskell, Ocaml, Scala or ML, so you should read up on Jane Street. Or Mercury. Blockchains like Cardano.

Personally I think the onus is on you to prove that types are _not_ useful. Many of us enjoy types.
That's also part of the issue here: we _are_ getting new [useless] features for the sake of new features lately: stickers, stories, crypto currency support are the main ones that come to mind atm.

And a formatting feature with (seemingly? would love to be wrong there) no syntax to use it without clicking/taping everywhere which makes it useless for me (and frustrating because with a syntax (say, markdown like?) I would love it).
Or using a VPN they (for some reason) trust not to MITM the content along some other agenda’s lines.
Thanks for the clarification. I get what you're saying, but I wouldn't write it like this - I'd write more code with more checks ;)

In terms of errors, though, it's generally "the result is either a value and no error, or no value and one of these errors". I get how sum types would help with this, and I'm not arguing against that; they would be useful. But the pattern matching basically still has to deal with that outcome, and have a pattern for each error type. It doesn't strike me as being inherently safer, more readable, etc.
Elon Musk confirms X is soon launching two new premium tiers
I used to think that but I changed my mind after being in the army myself.

What you're saying is lets send our soldiers (human beings) into a dangerous situation where they can get killed.

If warfare still exists I would rather have robots fighting robots and remove humans from the equation altogether. Second best is to minimize casualties from "our side". Yes, that's terrible but it's also more humane.

In war soldiers get killed, this typically escalates violence which increases to both sides. It makes the war more bloody and more personal. Drones are terrible but they significantly reduced US casualties in the war against ISIS. There's collateral damage, but that happens for human attacks as well.

In fact, with robots we don't need lethal weapons at all. A recent US drone strike killed a terrorist with flying knives to avoid hurting his family. If a soldier was physically there they would have to start shooting and blowing up the region so no one will shoot back at them. A robot/drone wouldn't have that problem.

Don't get me wrong, I'm scared of many aspects related to robots in these scenarios. Specifically the ability of a minority elite controlling the masses. But I also think that robots can help remove a lot of the value/incentive of wars. If countries only sacrifice robots during wars, why fight at all? Use economics policies instead. Maybe we can call it Pax Robota...
Goodbye widescreen, hello tallscreen – soon we'll watch everything in portrait
They get a notification like with any other app and can answer. It's not like they need any extra hoops to talk to you.

I just removed WhatsApp long ago and honestly it's very rare that I meet anyone who doesn't have signal or telegram as alternative
Looking at the script, a double round with aes-256-cbc [0] is done, moreover the file is hidden among thousands of files.
Like others ciphers it is vulnerable at implementation level, that is a enough long key must be chosen. Maybe the script could be improved adding a passphrase check.

[0]https://github.com/nola-a/jump/blob/f907cffcb08fd96ea91cd7f3...
Probably it produces a bear spray effect pairing chili/chipotle with blinding quantities of pepper (black pepper, not the chili ones)
Show HN - Groodles – World's first art therapy app making mindfulness fun
Groodles is an art-based therapeutic app promoting mindfulness and self-discovery. It offers guided exercises on a user-friendly canvas, with voice instructions and hundreds of illustrations. Get into a state of calm and unlock a better you.
Again,

> With most other vehicles, you can usually cross check with other mechanics

This is simply harder to do with Teslas given the specialized knowledge needed
I download everything I buy on BC immediately.
Sorry kids, Infosys and Wipro have cancelled graduate recruitment
I buy my domains from Squarespace, I'm likely paying a premium but I've found their service to be good l.
Yeah, this is something I think feels like a bigger problem than it actually is. If I change the way I'm handling something, it is a lot of typing. But it's just typing. No big deal.
Well I think the drama around it might have helped, but as someone who has done art history, I can’t remember the stolen part being mentioned.

Leonardo seems to be very famous in his time and after, and he died under the patronage of the king of France. I highly recommend reading his notebooks, it gives a glimps of the mind of this genius. His observational skills were impressive. In a way he was a hacker if you take the expanded meaning of the word: always thinking up new things and inventions.
Did the billion people get out of poverty because of the party or despite it?

The great leap forward killed up to 55 million people.
Thank you for posting that article and quote. Edifying read, and it's going in my bookmarks folder to be re-read repeatedly.
The "Variance of slice types" paragraph is confusing as hell. The type Tree implements interface Barker, after all. To me it looks like this is more about what I call "accidental implementation" (which is one of the many reasons why I don't like Go).
Can somebody please explain what I'm missing?
I'm a bit confused by the fact that the article doesn't seem to mention what the company was even trying to do. Like they had 1500 people at their peek... what were they doing? What was the business model here? Just farm investment and pull out before they notice you dont actually have any idea what to do?
That is the same article, yes.
Low IO count, and limited clock speed.

It's also unsuitable if you want to keep your design private. Basically, the way this works is that all the different designs are placed on a single chip, with address pins to connect your design to the io pins. This means that everyone participating will have access to all functionality. You essentially buy a single tile in a shared chip.

This is also why it can be done so cheaply. Making 500 copies of 1 chip is way easier than 1 copy each of 500 different chips.
Hear, hear. Transcendent experience has always been closely guarded and guided, for better or worse - there are good reasons not to throw someone into transcendence without preparing them carefully first. Just that our current situation appears to be so desperate, and the very idea of transcendence has disappeared off the cultural radar, that these drugs become necessary.
How long list do you want?

Pretty much all successful indie games use typed languages. Of course, there is a mix with untyped scripts in there too. But many only depends on typed languages.
So now we start complaining about competition and not care about monopolies at all? You seriously want all the power given to Netflix?
The operator are, which happens to look similar to an english word, has a meaning that depends on context. Another example is 5/2 means a simple fraction in one context, or a class of polytopes in another.
If cross-platform is your thing 'fraid Objective-C isn't a great sell either.
> Assuming that every language

Oof.

Take for example, both 糉 and 糭 are valid characters in Chinese. One is a variant of the other. Which one is "canonical" depends on who (i.e. which authority, of which there are many) you ask. And FWIW the language and regional settings don't necessarily give an answer to the canonical representation.

Those characters mean the same thing with or without the specks of dust.

So, what's your solution here?

To be fair, Unicode domains are inherently a huge mess. The thing is that we don't need more armchair experts dreaming up Euro-centric solutions.
> Similarily when WhatsApp changed its Terms of Use to be incompatible with german privacy laws (using whatsapp content for facebook profiling), I had to give up whatsapp as primary communication medium in the local club I'm leading.

Did they do that in Germany? The ToS didn't change in France precisely because it was incompatible with GDPR and previous EU rulings[1], and I thought their new ToS didn't apply to the EU at all.

1 - such as https://ec.europa.eu/commission/presscorner/detail/pl/IP_17_...
Plus battery technology is getting better and better. If the battery fails in my MX after 10 years I'm pretty sure that the replacement battery will be either cheaper or more performant, or possibly even both!
Current discussion: https://news.ycombinator.com/item?id=37946080
It's not wrong, https://go.dev/ref/spec#Assignability:

> A value x of type V is assignable to a variable of type T ("x is assignable to T") if
> ...
> T is an interface type, but not a type parameter, and x implements[1] T

[1]: https://go.dev/ref/spec#Implementing_an_interface:

> A type T implements an interface I if:
> ...
> T is an interface and the type set of T is a subset of the type set of I
In your first example you don’t need the else clause and wouldn’t you clear up a lot of the invariants by checking leaf value (with ‘not a leaf’ appropriately represented) rather than whether there is a left child. Or even representing them with a function call isLeaf.

I agree that sum types are lovely and that pattern matching makes them nice to work with but I don’t think you really make the case well here that it’d be superior rather than just personal preference.
> The "old internet" was much better where you just followed whoever you wanted to believe.

That’s still an option. Twitter and facebook arent the only social networks you know.
It's kind of unfortunate that we have hands suited for holding portrait screens, but our sight/vision is in landscape.
Why not to stream a round-shaped video which would let the viewer to choose either he wants widescreen or tallscrean?
This is very cool! I want to host this on a server and deliver it using BrowserBox so you can build automations on mobile.

This was what I originally created BrowserBox for--a delivery platform for web scraping authoring tools so you're not limited by extensions--but got into building the remote browser as a product, and haven't got around to the automation authoring tool yet, haha!

Thank you for creating this, and making it MIT. AI-augmented human guided web scraping authoring is definitely the future in this space I think!

Great name, too!

autotab

Very cool!

I was already calling my up-and-coming BrowserBox SaaS Cloudtabs so there's .... "synergies" hahaha! :)

https://github.com/BrowserBox/BrowserBox
C# is my language of choice and the strong typing allows me to refactor and change names of (“internal”) things at a whim on even extremely large solutions with no possibility of runtime failures due to the refactoring tooling doing all the work for me and the compiler complaining if something doesn’t line up.

My view is that people who don’t like strongly typed languages have either just never worked on very large codebases, or they avoid refactors due the general impracticality of it, or they have loads of unit tests to catch runtime “type mismatches” which would have just been caught by the compiler in a strongly typed language.

Choosing an untyped language vs a typed one is a trade off of less upfront work in typing things vs future analysis capabilities of your code. And for me, the upfront cost of typing things is negligible compared to the gains for the future, which in my decade+ of experience pays itself many many times over on any non trivial sized code base.
I speak as a user of programs written in Go. (By junior programmers who love ""simple"" programming languages.)

Thank God I don't have to code anything in Go myself.
Internet Governance in 2023
Insightful and pessimistic, as Huston always tends to be.
This question seems to make a lot of sense, but I think you should reconsider your assumptions ie. hidden ones.

If a lion eats your wife, do you hold it "responsible"? I think the answer is probably no. However you would get angry and shoot it (assuming you're a normal person).

So this doesn't mean very much: "responsible", "not responsible". In fact if it's a lion we use lack of free will as a REASON to use deadly force to kill (without trial). Perhaps we're not holding it "responsible", but then who cares?

Do you really care about "the principle" of being able to BLAME people for their actions, even though the outcome is pretty clearly not tied to it. Lion, blameless, shoot it to be safe. Person, blameless, better give a reduced sentence, or perhaps let off entirely.

So there's stuff going on here that we're closing our eyes and ignoring. How do we hold PEOPLE accountable? We just do. Like the Lion. You know the weird thing? Believe it or not, you would likely actually get angry at the Lion, even though it didn't really "do" anything to you.

In any case, our reasoning for acting in the face of injustices, goes further than someone did something wrong, they get punished because of their bad actions. Some aspects I can explain, but part of human nature is a little mysterious.

P.S. Here's a side theory. This philosophy exposes our privileges and this is why you get uncomfortable. Why do we kill the Lion and why do we get a trial, and maybe even let off (for not having free will, or for free will "malfunction"). Could it be because our culture and society aren't fair? Is that why this makes you feel bad? What if you replaced the Lion with a racial minority?

It's correct that our morals now say that black people count as human, but perhaps there's more going on here than we realize. Perhaps our entire way of thinking is more warped than we realize.