skysight-inc/HackerNews huggingface dataset:
I bet if you combine every single one of those products, they have less users than stadia
> Gödel’s incompleteness theorems, and Goodstein's theorem sometime later, made an indelible imprint on Penrose. He took from these theorems that there’s a unique property of the physical universe giving rise to conscious understanding. This is our human ability to understand truths that cannot be derived from the rules that gave us those truths. In other words, the rules allow us to ascertain truths beyond the rules. The ability to understand Gödel and Goodstein’s theorems means there’s something about our conscious understanding that is not confined to computational boundaries. Since all theories of physics are computational, Penrose believes something must be happening in the reduction of the quantum state that gives rise to non-computational understanding. “All I have are all the theories we know in physics. Computational, computational, computational. I mean, you've got to find room for this thing,” says Penrose. He confirms that this thing that physics has to make room for is understanding.

That's actually meaty stuff. Quite a good article and fascinating topic. Intuition gets scoffed at a lot in scientific discussions, but at the end of the day, most of the best science is in part a product of our powerful intuition. Sure, it can lead even the brilliant astray, and idiots straight off the rails. But it is still one of the most powerful yet mysterious tools at our disposal.
This can be a major mental issue for musicians. I'm a "semi pro" jazz bassist. You don't get to the point of being good enough to play out, without it being more than an idle pursuit. I'm terrified of anything going wrong that could take it away from me. It could be mental or physical. It could be practicing too little or too much, or doing it the wrong way.
So we as customers need to read tea leaves in order to figure out which services Google considers "real" and which are "experiments"?

No thanks.
Having lived in Boston and other areas with roundabouts, I can with confidence assert that this is a Boston traffic design problem, not a roundabout one.
> But Egypt’s refusal to open the borders to Gazans

Egypt's refusal to assist Israel is ethnically cleansing Gaza via forced deportation is a different issue than the one raised upthread about Egypt’s earlier refusal reoccupy Gaza.
Don't forget safety from data races. Rust's borrow checking provides much stronger protection against those than java, go, c# etc. So we shouldn't use them either.
That's what I was getting at. Maybe we disagree about what calibrate means?
That said, I believe VSCode (and some IDEs) don't necessarily support direnv in all cases.. e.g. you'd want direnv to load before other plugins (and update the PATH), but might not get that.
Find My came to the rescue when my wife unknowingly dropped her phone during a pullover to take some pix. The turnout was on New Priest Grade, the best way to Yosemite from our home.

Next morning, after the frenzied "Where's my phone" search petered out, we remembered Find My. No way, I thought. Rural road, many miles away, etc. Which new phone would you like, Dear?

Find My immediately found it 43 miles away. My wife looked at Google Earth, identified the likely turnout and high-tailed it. She found it about five minutes after stopping at that turnout.

There were enough passers-by with iOS devices that Find My worked as hoped. It amazed me that we got a little piece of our property back through operation of planetary-scale infrastructure.
Rather than change the implementation of the DenseMap/DenseSet/StringMap/StringSet containers to mask such codegen defects, the community opted to create a test strategy to find the defects instead.

I would guess that this may also end up favoring the execution performance of the compiler over other design choices, but I could be wrong about that one.
"The change will be perceived as a blow to the U.K. government [...]"

That was my prediction four months ago:

https://news.ycombinator.com/item?id=36140139
Edit: "it would be better if people stopped expecting them to."
I’ve heard Jump Desktop is it’s own league with their protocol. AFAIK you buy the app on Mac side and Windows client/server is no cost
It's electronic. I use an app called Day One.
> Have links gone out of fashion?

Yes.

You wrote far more words than needed to answer the comment, I did it for you instead.
Viagra could slash risk of Alzheimer's disease by 60%
Buy Google local guide Reviews, at 100 Cheap price Enhance your business, and make informed decisions So Buy Google local guide Reviews
There's something more wrong if you need it to do this
Who cares? If he builds the most advanced rocket in the world, nobody will remember he was late. Late is not a meaningful criticism when building things that have never been done before.
Solidigm Lays Off Employees Due to Industry Downturn
We have plenty of them. They're usually pretty miserable because your average American driver is a fucking moron and they're best not deployed unless there's a safety reason to do so.
The very definition of what constitutes open source is being called into question in these kinds of discussions about AI. Without the training details and the weights being made fully open it’s hard to really call something truly open, even if it happens to meet some arbitrary definition of “open source”.

A good definition of “truly open” is whether the exact same results can be reproduced by someone with no extra information from only what has been made available. If that is not possible, because the reproduction methodology is closed (a common reason, like in this case) then what has been made available is not truly open.

We can sit here and technically argue whether or not the subject matter violated some arbitrary “open source” definition but it still doesn’t change the fact that it’s not truly open in spirit
Again, the Gazans I have known complained about being forced to stay; they saw it that way, and not being forced to leave if the border with Egypt opened. Some people want to fight for their ancestral homeland or whatever, but other people want money and opportunities. But yes, as I suggested in my post, Egypt’s behavior re: opening the border or annexing the Strip has always been significantly driven by how its own population and other Arab states would perceive things, and not necessarily what a young educated Gazan might want.
I updated a comment I wrote earlier about what nix is. Always remember to keep your mind and body pure (I kid, but purity is a common theme in nix).

Nix is a programming language plus utilities. It is designed for packaging software in a reproducible way (https://github.com/nixos/nix/).

Each package is called a "derivation", which is a function that takes inputs and makes output. The inputs are everything that is needed to make the output. It is "pure functional" package management - for the same input arguments, the same output will be produced. Nix is really fast because each derivation is hashed and cached and the language is lazy-evaluated.

Builds are "hermetic", meaning only the inputs specified in the derivation are available at build time. Contrast this to some packaging systems, where the build is done against some staging area where packages get installed as they are built and the output can depend on the non-deterministic order that packages are built.

Nixpkgs (https://github.com/nixos/nixpkgs/) is a large collection of recipes for existing software. It contains both rules to build software as well as "modules" to configure it or extend it. NixOS the linux distribution is also part of nixpkgs. There are lots of design patterns here and it can go pretty deep. There are also tons of hacks and patches and workarounds to make software conform to the way nix works. Nixpkgs also has a lot of useful library modules built in.

Nix is the latin word for snow. Nix "flakes" are a way to combine multiple flakes as inputs as well as pin their version. Kind of like pipenv/requirements.txt or "cargo lock" or "yarn lock" but for anything.

The output of derivations go in the "nix store" which is a path like /nix/store/<hash>/, so all sorts of software can co-exist (think multiple incompatible versions of the same library) and can be referenced in a fixed way.

Any kind of software can be packaged as a ".nix" file. It's really common to make a "shell" for software. For example, today I wanted to run GIMP (the image editor). I didn't have to install it in a traditional sense. Instead, I ran 'nix shell nixpkgs#gimp -c gimp'. That makes a shell environment for the "nixpkgs#gimp" derivation, including adding /nix/store/12naig12mnhrzpn88bvvw2vakyd18sjq-gimp-2.10.34/bin to PATH, and runs a shell script command (gimp). Nix makes sure to fetch all the outputs and runtime dependencies of the gimp package for me (which are cached locally and on the internet).
Massive influx of users to OPNsense
That's an awesome/inspiring story, congrats & thanks for sharing. Was it all organic growth in the beginning? What took it from that early phase to the next step?
GCP starter earning a bad reputation for reliability, transparency, and support on day one. Maybe that's changed? I feel like a see a "GCK is hosed, google support is AWOL, our production environment has been down for 48 hours with no ETA" post on HN once a year.

Again, I'm willing to be wrong about recent reality, but GCP does not have a good reputation with its customers.
And saying c++ has more mature tooling seems insane too. Anyone who has had to mess with depedency trees using git submodules and cmake, conan, bazel, vcpkg, and meson would not call the tooling, oh and hunter too!, mature.
> When someone replaced :-) with a smiley picture, there was a debate about whether they should be called emoticons or emojis

[citation needed].

The history of the word emoji isn't some mysterious thing - the wikipedia article linked in your parent post has it all laid out.

Emoji is a Japanese word meaning pictograph, it isn't derived from the word 'emoticon'. They were developed by Japanese phone companies as an idiomatic expressive addition to Japanese writing, not because 'someone replaced :-) with a smiley picture'. There was no time when they might have ended up being called emoticons.
I could see how these have benefits in some cases. There are also drawbacks… the uncertainty of who is yielding (except maybe by AI). What about snow and ice? If you do some searching there are plenty of reasons why you might not want roundabouts.
Usage is dropping. Down about 15% over the last 10 months. Revenue has dropped 11% compared to last year. It’s expected to keep dropping in 2023 with advertising revenue leaving.
A beautiful and poetic response, thanks for sharing and clarifying your thoughts further.
Isn't Starship the cheap option for orbital launch?
> Elon Musk uses his power to censor people who make fun of him

Which is petty and stupid. But AFAIK he has not censored political content he disagrees with, so I much prefer it to the previous regime.
> Would they use their browser if they could in the youtube app? Most definitely yes.

> So no, it is most definitely not in the user’s control.

You're comparing impulse control to hard runtime limitations. It doesn't really track; I understand your apprehension, but if none of your family members notice or care then maybe Google's hypothetical solution here worked? If that's an undesirable outcome for you, I think you should be lobbying for better alternatives instead of using it as a boogeyman to excuse iron-grip ecosystems. Two wrongs aren't going to make a right here.
> Maybe some day, all of these safe Go/Rust/Swift programs will have much more robust hardware and operating systems to run in that are, themselves, "verified" to have certain security assurances. For that to really be all that meaningful, though, the programs themselves have to actually be "safe".

On some older operating systems, the system was safer in some ways.

On the Genera operating system for Lisp machines, almost all code ran in a single address space, which was possible because Lisp is garbage collected and doesn't allow arbitrary reads and writes through arbitrary pointers. You could still write code in unsafe languages like C, but those programs did need their own address space, like in traditional OSes.

On the Burroughs MCP operating system from 1961, it had a similar mechanism. It was written in the language NEWP, which had certain unsafe constructs marked, and if code used unsafe constructs, it had to be approved by the system administrator to be executed.

https://en.wikipedia.org/wiki/Single_address_space_operating...

https://en.wikipedia.org/wiki/NEWP
You literally wrote that my kids and I deserve to burn, so there's that.

I don't feel offended because I don't think that was your intention but it was what you said.
I havent really listened to any of their material after Systematic Chaos... but I'm glad they're still touring and making new tunes. You love to see it.
Thank you for your reply,It's a pleasure to discuss it with you.We are not only discussing the query side of SQL (DML), it is the essence of SQL, relational algebra, and the examples in the post are just for a more intuitive representation of this.
The efficiency of executing a complex SQL statement can usually only be achieved through the automatic optimization function of the database engine. As you said, SQL does not specify ordered vs hash grouping nor merge instance of hash That is an engine implementation detail and only touched upon in DDL (schema declaration). Even if more optimization is done in DML, the selection of the underlying algorithm cannot be changed, at most, it makes writing SPL more convenient for users.
Honestly I’m surprised by how low Nature has fallen. Is it even a useful signal of paper quality anymore? NeurIPS and ICLR aren’t great but in general I’ve found their work to be more rigorous than that of Nature despite of the fact that they are shorter conference papers compared to Nature’s journal papers.

Right now sadly the only useful signal in Deep Learning research is research group. If OpenAI releases a paper I know it’s something good that works at scale, similarly if Kaiming He, Piotr Dollar and team in Meta AI release a paper, it tends to be really good and SOTA. Google Deepmind maintains high quality, Google brain has been more of a mixed bag. If Berkeley releases a paper, it has 50% chance of directly going to trash, Stanford has a much lower percent (I also disambiguate) based on specific groups. Of course I’m going to be heavily biased and this system is not great, but conferences and journals have managed to become such a useless signal that I find this method to be more accurate.
Digital Tech Companies in War: What Is the Law? What Are the Risks?
One of the reasons I write so much stuff is so I can provide links to things I've written to answer relevant questions.
Most web sites will not be affected. Also, a well designed notification dialog, with clear explantion and useful options - allow once, forbid, allow and add the website to trusted domains for N days, etc. - will help users.
No you see Java devs have stockholm-syndromed themselves into believe that a giant stack of XML, or some unhinged mini-language are actually good, and much better than something the humans involved can actually read and parse easily and now to compensate with other ecosystems providing 85% of the functionality, with 5% of the pain, they’ve got to find some reason to complain about them.
Archive link: https://archive.is/QWY6V
Might have been bronze or tin—I read the book a long time ago! That said, burning gasoline or kerosine can be over 2000°C[0].

[0] https://en.wikipedia.org/wiki/Adiabatic_flame_temperature
It's pretty dubious because horses themselves -- the kinds of horses we domesticated and ride -- are descendants from a pretty isolated genetic pocket in the Pontic-Caspian steppe, potentially all descended from a single male even.

The kind of horse that could be domesticated and ridden was not widespread, and in fact were really just hunted for meat until maybe 6500 years ago, and actually riding them came even later...

So, I mean, maybe there were equine species in North America, but their relationship to humans I doubt would be anything like what we think of horses like right now. More like a hunted species like bison or deer...

Now, dromedaries I can see. Camels, alpacas, and llamas etc. Long and ancient history with those, and in both hemispheres independently.
> Or because he constantly stomps on experienced engineers with stupid ideas and puts the whole thing at risk. Literally EVERYONE said the cement base was a stupid idea and yet Elon had to trump his own experts.

Wouldn't that be called working from first principles?
Proving it doesn't work can be quicker in the long run than over-designing something based on what you think won't work.
Toyota has thrown billions at fuel cell cars and it hasn’t gone mainstream - people around 2017.

Not all bets that look crazy pay off. Sometimes they’re just bad.
Most Google customers do not know how to talk to a human Google employee unless you take them to the court.
I don't know if it technically qualifies as a REPL[1], but I really enjoy Elixir's interactive console, IEx. What I like about it:

- Tab completion (obviously). Not only for functions/modules/bindings that are in scope, but also when you're in a string and begin typing a path, it will complete the directory names and stuff.

- You can type "h" before a module or function name to read the docs. Similarly, you can do the same with "t" to see type information.

- History of what you've executed, and also a reverse history search feature.

- Not fully "readline compatible", but some basic, standard key bindings work.

- Plenty of handy helper functions.[2]

[1] https://ferd.ca/repl-a-bit-more-and-less-than-that.html

[2] https://hexdocs.pm/iex/1.13/IEx.Helpers.html
> but the ergonomic is really bad. Every time I write some rust I feel limited.

> But I do not think it is a good general purpose language.

Remember that this is not a sentiment that's shared by everyone. I use Rust for tasks that need anything more complicated than a shell script. Even my window manager is controlled from a Rust program. I say this as someone who has been programming in Python for nearly two decades now. At this point, I'm about as fast in Rust as I am in Python.
Quite a few of the top ranked models on this leaderboard are multilingual: https://huggingface.co/spaces/mteb/leaderboard

https://huggingface.co/BAAI/bge-large-en-v1.5 FlagEmbedding for example describes itself as covering Chinese and English.
Official Swedish dictionary completed after 140 years
No wonder:

It is open source and free, insanely powerful, easy to use and has impressive backwards compatibility.
I can't argue too much on your view of the syntax. I employ the weasel word "fine" because my experience with it is that I have little to no trouble understanding and using async Rust syntax: I can read and write async Rust and conceptually grasp what is likely going on in the runtime. I have to allow that perhaps it isn't sufficient, and maybe even that this is a factor in the runtime problem.

But there are other, non-syntax issues, such as synchronization primitives, IO events, etc. that are clearly underspecified. No maybes about it.
You're also disparaging your employer on HN and disclosing things they would likely consider company confidential material. Not a great look, and some risk of becoming "Ex-Meta" if you keep doing this sort of thing and they identify you.
> it can be very hard to actually know what method you can call on a struct

The rust-analyzer language server can autocomplete the available methods for a value.
Have an indicator for done pages (tick marks in the corner works for me), and then for not-done pages that you need to get back, add those tiny stickies and let it stick out of the page.
Breville. They're OK. Which is praise when the competition sucks. I've got their slow + pressure cooker and a coffee machine. Both more expensive and better than the alternatives in their price range, but still with plenty of problems. It's like they give half a shit when manufacturers like De'Longhi give none.
There are still challenges in the field of real time interpretation of { American | Australian | etc. } Sign Language, eg:

(2022) https://medium.com/trends-in-data-science/interpreting-ausla...

(2005) https://link.springer.com/article/10.1007/s00138-005-0003-1 https://sci-hub.ru/10.1007/s00138-005-0003-1

You can overview the field, look at past techniques, aquire new training data from, say Deaf U and elsewhere, implement and extend.

Might take more than a few months ..
People hate him because he's a d*ck.
Just FYI, `cargo doc` doesn't download the documentation. It re-generates the documentation from source. You only need the source code to generate documentation.
The car from the inner lane swiping into the car in the outer lane is the exact issue I'm talking about. The problem is when drivers enter in the left/inner lane, fully intending to take the first exit. If they proceed to exit directly from the inner lane, without first changing lanes, signalling, or yielding to outer traffic, they would intersect with a car in the outer lane innocently heading to the second exit.

In practice, people are not able to navigate two-lane roundabouts in a compliant and safe manner. Any intersection of roads busy enough to have two lanes in each direction is too busy for a roundabout to be safe.
> the uncertainty of who is yielding

Same we know red light means stop. You make up a rule.

In Australia anyone from the right has right of way.
I don't think I understand the analogy.
yes sorry that was confusing
Anyone with a mobile phone can be one now.
Are you referring to the refusal to open the border crossing that Israel has repeatedly bombed during the present crisis or the on-again-off-again status of the crossing in the years prior?

Because, yes, the closures prior to the crisis, between the openings, have been due to Egyptian security concerns (mostly breakdowns of various agreements between Egypt, Hamas, PIJ, and the Palestinian Authority on border management), COVID-19, and various other issues.
Consider:

#define _FOO
int main() {}

Per the C++ standard ([lex.name]/3), this program is ill-formed:

> In addition, some identifiers appearing as a token or preprocessing-token are reserved for use by C++ implementations and shall not be used otherwise; no diagnostic is required. [...] Each identifier that contains a double underscore __ or begins with an underscore followed by an uppercase letter is reserved to the implementation for any use.

Thus, the compiler theoretically has the liberty to emit whatever it wants for this program.

Neither GCC nor Clang produces a warning under -std=c++20 -Wall -Wextra (Clang only produces a -Wreserved-macro-identifier under -Weverything), and MSVC doesn't produce a warning under /std:c++20 /Wall.

In practice, most examples of ill-formed programs where compilers issue no warnings occur with discrepancies between different source files that are linked together; e.g., declaring a function as inline in one file but non-inline in another, or declaring a function with two different sets of default arguments in different files, or defining the same non-inline variable or function in different files, or defining the same inline function differently in different files.
Dictionaries are bever done.
Yeah I’m down with traffic calming measures. The issue is people treat them as actual roundabouts and instead of turning left say they drive around the circle. And they’re so convinced they’re right they will actually road rage if you properly turn at the circle without going around. Many vehicles are incapable of making the roundabout properly and run up on the curbs etc damaging the cars and the curbs and endanger people waiting at the corner to cross.

The feature itself is fine by me, but the issue is it confuses people because it’s too similar to a roundabout.