Hacker Newsnew | past | comments | ask | show | jobs | submit | datadeft's commentslogin

Do you think that there is form of communication where you reach a higher understanding? Are we average Joes on HN?


could have / should have => being smart retrospectively


I am sorry, but HN is probably the last place on Earth where you can wander off the mental plantation of single tech praiser people without much pushback. Perpetuating monocultural ideas and discouraging critical opinions is the way to create echo chambers that many online forums are poisoned with.


You're kind of inferring the inverse argument to what I pointed out. I believe in healthy discussion and along with the original creator of Rust I agree that there are plenty of things Rust didn't solve [1]. Nor do I believe that Rust is the perfect tool for all tasks. It's a good tool for a significant chunk of problems. That's where I stand.

That said, equating people arguing in bad faith to any form of disagreement. Sorry here we disagree.

[1] https://graydon2.dreamwidth.org/253769.html


> plenty of things Rust didn't solve

I agree on that too.

> Nor do I believe that Rust is the perfect tool for all tasks.

No disagrement here either.

I was just not really getting why you are attacking OP with assuming bad faith content from him immediatelly. Maybe I misread your comment.


True. I would love to have less features in MacOS actually. We are approaching Windows start menu level of crap being installed by default.


The fact Apple Music has notifications advertising it on my lock screen, or splash screens advertising it once a month when I open Music.app would have been unthinkable pre-Tim Cook.


As a user it feels disrespectful to be so overtly treated as an untapped revenue stream for a premium-price product. It's Samsung-esque.


None of my Samsung phones have ever advertised anything to me. Unlike iOS,there are any number of music player apps on Android that stay out of the way and don't try to be a "platform".


> None of my Samsung phones have ever advertised anything to me.

I had a Galaxy S8. It definitely did.

> Unlike iOS,there are any number of music player apps on Android that stay out of the way and don't try to be a "platform".

iOS has other music players too. It was a choice that e.g. doubleTwist stopped supporting iOS when pivoting to CloudPlayer.


Galaxy S8 came out in 2017, almost a decade ago. I understand some budget and mid-range phones have ads, but I (in Canada) have used everything from S7, S8, S12, A51, Z Fold 3, and have never gotten one. There was a "Samsung Hub" app on the midrange A51 (similar to Google Discover), but that can be disabled.


You have never been encouraged to use Bixby or any other Samsung app?

Let’s define “ad”.


Please for the love of everything, go in Settings and turn it off.

https://www.howtoisolve.com/how-to-turn-off-or-disable-apple...


Yeah people repeat advice like this but have no idea it makes no difference and even in search it defaults to "Apple Music" but shows no results even when that slider is turned off.

It used to work in the first few versions of Music.app but broke about 2 years ago and has never fully disabled it ever since.


You’re wrong. It displays Apple Music, then when you search it only pulls data from what it has access to, which are the free radio stations inside Apple Music.


My problem is that I do not want to replace one centralilzed service with another. I do not see any difference between the US and the EU (or Australia) in handling privacy. Most politicians are super keen on destroying privacy for people, for the "good cause". There are so many examples of this I lost count. We need strong encryption and true peer-to-peer networks where the connection is going through random routes (impossible to predict) and there is no government controll of any of the nodes it touches.


Perfect is the enemy of good. The EU has it's flaws, but if you can't see the difference between the US privacy climate and the EU privacy climate then you need a reality check.


Yup, in the USA you can still have VPN server that is not storing logs, something that is simply illegal in European Union countries.

In the USA you can purchase prepaid SIM card in Wallmart with cash, put it in your phone and you have anonymous phone number, again, this is illegal in Europe in a typical stupid European way, as any criminal who needs an anonymous card would pull in to the retailer some drunk or homeless person and get that SIM anyway. But "normals" can forget about privacy, unless they want to play with something like silent.link.


> In the USA you can purchase prepaid SIM card in Wallmart with cash, put it in your phone and you have anonymous phone number, again, this is illegal in Europe in a typical stupid European way

This is illegal in some European countries but not all. I more than bought one phone and one SIM card with cash in the past.


There is always a degree of incoherence in people's beliefs and actions.

A good one along the lines of your comment, IMHO, is how most Europeans are very happy to promote ID cards and to be asked for theirs all the time while always complaining about "privacy" and against "surveillance".

For instance in France you must show your ID to buy even a prepaid SIM card, but then again the police can ask to see your ID with little justification. Or how they ask for ID when checking your ticket in the TGV high-speed train...


Are you insinuating that if you're in the US, you could refuse to show your ID to a police officer when they ask for it?

Go ahead and try that, tell us how it goes...

(No, there is no requirement to be carrying your ID card in any EU countries that I'm aware of. However, most jurisdictions require you to state your identity if questioned by police as a suspect. At least here in Sweden, if you're a suspect they are allowed to detain you "for identification" if you refuse.)


Why the aggressive tone?

I am not expert in the US, and it has actually nothing to do with my comment, but I believe that police in the US might ask you to identify yourself in some circumstances (which is quite different from having to show an ID).

What I mentioned regarding France is that you must show an ID (passport, ID card or driving license) or face being detained at the police station when asked by police. You do not need to be a suspect of anything to be required to show an ID.


I was certainly not going for an agressive tone. I'm trying to say that police all over the world will want to know whom they are talking to, especially if you're a suspect. I don't think it's a world of difference between the US and an "average EU country" there.


Mullvad is based in Sweden which is part of the EU: https://mullvad.net/en/help/no-logging-data-policy

Obviously, it goes without saying you should never trust something you can't verify, regardless of which country the VPN operator is based in.


I have a few traveler esims from Europe. I didn't need to show any ID and I paid cash.


In all of Eu countries I visited, only FI and DE asked for id when buying a prepaid sim card. And prepaid sim card days are almost over, as there is Airalo etc.


Strange as I have never heard that you would have to show your ID when buying a prepaid sim card in Finland. And I have also bought them several times and I think that I have sometimes bought them with cash.


You remember Lavabit?

We also have Mullvad.


True regarding logs.

False regarding SIM cards.

European.


Not true regarding logs given mullvad is the only half-trustworthy vpn provider out there.


You might be interested in Peergos (lead here). It is E2EE, built on a P2P protocol (libp2p) and thus self hostable. We don't have onion routing yet though.

https://peergos.org


For me it's not even about privacy, it's pretty clear that no matter where I host things, if I don't have control of the hardware and the TLS termination then there's no privacy I can guarantee.

However there's still a case to be made for some form of digital sovereignty.

It's no longer considered a complete paranoid delusion that the US could snap its fingers and put tariffs/sanctions on digital goods served from US companies or consider the EU to be proscribed and cut access entirely.

I used to allow myself to think of the consequences of such a situation, after all the US very famously stated that they have no such thing as allies, only temporary allegiances, and as a brit: that is a sobering thought, because we cosy up to them a lot - even going so far as to join them in an illegal war.

However, if you consider the economic harm that would be caused by microsoft just cutting access to Office365, disabling the licenses used or even cutting access to EntraID and managed sharepoints and/or Teams. Most of the EU would not lose billions in lost productivity, they would lose trillions.

What a crazy economic risk, and that's just one product. Nearly all digital services in the EU depend nearly entirely on Azure/AWS & GCP.

Even the ones that don't depend on hosting, still depend on Google Workspace or Office365; both of which depend heavily upon online services which may not always be online during heavy tensions.

I know this is difficult to reason about, but we really have our heads in the alligators mouth when it comes to our digital capability- it will be hard to remove it, and many people are enjoying the echo and will actively fight against attempts for change.


A lot. Problem is that sometimes the hardware is lost due to renovation to the building.

https://www.theregister.com/2001/04/12/missing_novell_server...


Is it possible to have Hindley–Milner type system for a LISP?


I don't know what Hindley-Milner means, but maybe Coalton matches what you mean? <https://github.com/coalton-lang/coalton>


It's static typing with inference. Essentially what you have in Haskell/OCaml/F# where you declare a variable `x` through a let-binding witout specifying its type (`let x = something`), and the compiler analyses `something` and infers the type of `x`.



Typed Racket doesn't use H-M.


Hackett. But the language is now abandoned.


See also https://github.com/mflatt/shplait, which is a language with (1) the HM type system and (2) the same syntax that Rhombus uses. The language itself is implemented in Rhombus.


Absolutely: you can make that with some macros and using type annotations. I do not know how difficult can it be, but surely there are thing already done.


    uv build
    Building source distribution...
    running egg_info
    writing venv.egg-info/PKG-INFO
    Successfully built dist/venv-0.1.0.tar.gz
    Successfully built dist/venv-0.1.0-py3-none-any.whl


I guess it depends on what you mean by a build system. From my understanding uv build basically just bundles up all the source code it finds, and packages it into a .whl with the correct metadata. It cannot actually do any build steps like running commands to compile or transform code or data in any way. For that you need something like setuptools or scikit-build or similar. All of which integrate seamlessly with uv.


It actually does exactly what pip does depending on your configured build backend, so if you have your pyproject.toml/setup.py configured to build external modules, `uv build` will run that and build a binary wheel


Yes, that's my point. You need to bring your own 'real' build system to make uv doing anything non-trivial. And the fact that this work transparently with uv is a very good thing.


I see what you mean. You can use it with mise that has build support.


I have moved to uv few months back and never looked back. I use it with venv and it works very well. There is a new environment handling way with uv:

- uv init new-py-env

- cd new-py-env

- uv add jupyter

- uv build

These are executed super fast. Not sure if this could help your situation but it is worth to be aware of these.


I thought that the point of Rust is to have safe {} blocks (implicit) as a default and unsafe {} when you need the absolute maximum performance available. You can audit those few lines of unsafe code very easily. With C everything is unsafe and you can just forget to call free() or call it twice and you are done.


> unsafe {} when you need the absolute maximum performance available.

Unsafe code is not inherently faster than safe code, though sometimes, it is. Unsafe is for when you want to do something that is legal, but the compiler cannot understand that it is legal.


True, however I only saw this happens to achieve max perf. I have very limited experience so this is confirmation bias from my end.


An example of unsafe not for performance is when interacting with hardware directly.


or the operating system!

opening stdout with file handle 0 is not guaranteed safe by the compiler. there's an "unsafe" somewhere in there.


It’s not about performance, it’s about undefined behavior.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: