skysight-inc/HackerNews huggingface dataset:
Well, the problem is that you have to verify the entire voting process and electronics makes it harder for voters to verify the process. Thus, your voting system should be as simple as possible. A symbol on a piece of paper is the simplest verifiable system possible. The only thing that might be simpler is if the ballot card already had your choices printed on it. E.g. a voting machine only prints out a receipt of your vote and the receipt is then counted.
Tokenizing Sustainability
> explain why REST has failed so spectacularly in the JSON API world

Could you elaborate on this?
Wow, I haven't used/seen panorama stitching with Hugin for over a decade. I got the impression that ultra-wide angle cameras/lenses are quite widespread nowadays, especially with smartphones. Furthermore, they do "online" live-stitching while doing panoramas, instead of stitching them manually "offline" in the postprocessing. (Of course the quality of the manual stiches are way better)
https://meldmerge.org/ might be what you are looking for. But if there are tools which can find duplicated files and directories which are named differently, I'd be interested in learning more about these as well.
I'm not sure if I'm missing something here or what.

> HTTPS doesn't hurt anything and actually has some nice side effects (it separates backups onto a separate port than the majority of your web traffic, allows for traffic shaping if you want to do it).

Wouldn't using HTTPS put it on the same port as virtually all web traffic?
To me the most difficult part is learning sql before knowing what can be done with a computer, both on the complexity and the language design part.

Before learning interpreters/compilers/prolog, I'd spend a lot of time trying to figure out about naming/namespaces in queries, while after doing some PLT, it all becomes very very obvious, you can now focus on the operators and since you'd know how far can programming go, you'd see faster how nested queries could make sense, what aggregating functions meants etc
I try to use it often but it works pretty poorly and I always have to scroll through years of photos to look for what I need.

For me the killer feature of Google photos are:
- Free storage of photos (hence why I'll move after I run out of free space)
- Tagging faces
- Sharing albums
Hey thanks for the tip, i knew about SLC's but i meant something that is really proven, but also small so you can putt it into pizza-form-factor servers.

Something like that:

https://www.atpinc.com/de/products/industrial-ssds-usb-drive

But available and more then 2GB ;)

EDIT: Nice i found something

https://www.swissbit.com/de/produkte/produktsuche/produkte/
> anticommunist

Since when is China even a communist country anywhere but on paper ?
Yeah, it is an important detail. But it'd be nice if we had some more details available, like whether or not it was common to have to override the car.

I'd expect that might be common at these crossings, and they may have found a significant issue with something like warning/override fatigue or with the controller interface.

It makes sense to stop them until they can figure out with certainty why the operator may have made this mistake.
A standard way to handle branching in gpu code is with masking, like so (where x is a vector, and broadcasting is implied):
M = x > 0
y = M * f(x) + (1-M) * g(x)

So you end up evaluating both sides of the decision branch and adding the results. But this is fine if you've got a dumb number of cores. And often traditional cpus wind up evaluating both branches anyway.
Unrelated to post, but as you seem well informed in the field, would you agree that if a schema is not likely to change and is controlled as you put it, there is no reason to attempt to store that data as denormalized document?

Or at least as you suggest if required for performance the data would still be stored denormalized and where needed materialized / document-ized?

At my current company, there seems to be a belief that everything should be moved to mongo / cosmo (as document store) for performance reasons and moved away from sql sever. But really I think the issue is the code is using an in house orm that requires code generation for schema changes and probably less than ideal performance query generation.

But then I am also aware of the ease of horizontal scaling with the more nosql orientated products, and trying to be aware of my bias as someone who did not write the original code base.
this sounds reasonable but, in this case stealing a key and using it for a man-in-the-middle attack, is what happened
The Sad, Sad Story of Laika, the Space Dog, and Her One-Way Trip into Orbit
What’s best way to do this on Mac?
You're right, a few hours of work on top of S3 are needed to obviate Google Photos.
I like the look of this, and I’ll keep watch on it.
But, all the negative comments here (even those which are well founded) really is discouraging. Must be absolutely horrifying to post your product on Show HN
Somewhat flippant, but also a serious question - do people like Martin Fowler and uncle bob actually do anything or do they just describe systems that do not (and probably will never) actually exist? Have they built real world software, or do they just describe some ideal state that has never actually occurred in reality - some kind of geek porn?

I’d much rather listen to people who have actually done things than people who have theoretical done things (people who do both are best).

I ask because I thought Rob Pike was one of those people until I found out what he does / has done.
Apple’s values are to make as much money as it can.

Part of Apple’s business was, until recently, marketing itself as a privacy-oriented company. That does not mean it is a privacy-oriented company.

It’s about as real as the old commercials from banks and insurance providers where they market themselves as your best friend or always being there when you need them, thereby easing the consumer from their worries.
> Dictation is the transcription of spoken text: one person who is "dictating" speaks and another who is "taking dictation" writes down the words as they are spoken. Among speakers of several languages, dictation is used as a test of language skill, similar to spelling bees in the English-speaking world.

https://en.wikipedia.org/wiki/Dictation_(exercise)

Here the software is the "person who is dictating".
To be pedantic, Calibre is written mostly in Python, not in Java.
I would use a decent SSD in a USB to SATA enclosure as a boot drive in a server were I can't fit an additional internal drive.
how can you tell if someone is shadow-banned?
In banking, any dislcosure of info hitherto not public is a /potential/ new attack vector for fraudsters. Surprising that they did it this way
I agree the wording in the article isn’t too clear, maybe a bit oversimplified.

One thing to keep in mind. What we see as the black hole is really the “event horizon”. To a local observer there’s nothing special at that location. You wouldn’t notice anything crossing it.

So really as the black holes merge, we see their event horizons merge. It’s not really valid to say one horizon falls into the other, as they are simply space time points like any other.

What happens to the singularities is probably a whole lot more complex and I don’t know if it’s well defined. In addition, there’s a lot more typically going on around most black holes since many have accretion disks of materials accelerated at relativistic speeds and are also rotating causing other gravitational complexities.

Where I think the article hits the nail on the head, is we need complex simulations and ultimately more data on observations to create more accurate models.
Have you looked into Middle Out compression?
I'm actually a frontend dev full time at my day job, and still think this approach is better for 90% of the things we do with react. The big drawback is that it requires using python and knowing more about backend and most frontend devs are too purists to get their hands dirty this way. So, at work still doing CRUD forms with React, rxjs, redux, websockets, graphql and multiple home made validation libraries. Such a waste of energy and time.
> 5. Try to avoid eating out as much as possible.

This is based on the assumption that eating at home is better than going out without knowing what either are. My dining out diet (veggies or sushi) is better than my home prepared (starches).
I guess my point was that if you are trying to achieve results in a language paradigm that isn't the one the language was designed for, the learning curve is _really_ steep, and to use the declarative features of any language still requires you to understand the paradigms' differences. When I was at uni it wasn't until the final year that Programming Paradigms was a course, but even a rough introduction to them in any of the languages I studied earlier would have helped. Something like, "This language is used like this. It is not used like this, for example."
Exactitude in general is impossible, though. We assume that the charge on an electron is a constant, but there are limits to the precision.

An infinite value is theoretically testable. It simply implies that for however long you make your ruler, the value is larger. That is a prediction. You may not reach a conclusion, as you said, in finite time, but that is still a prediction.

The problem with replacing an infinity in a model with an arbitrarily large number is that, given enough time and a long enough ruler, you'll surpass that number, meaning your model is incorrect. In defence of "science", you're adding an arbitrary number into a model that you expect to be incorrect. That's not how it should work.

If the model says there's a singularity, we don't then say "okay but well that clearly doesn't make sense, so put a limit on the formula that clamps the values to uh 10^45". That is unscientific.
https://en.wikipedia.org/wiki/Martin_Fowler_(software_engine...
> Put these two plots together and you get a 99.6% chance that the objects are clustered, rather than uniform. That sounds pretty good to me.

That's not even three-sigma. I'm not sure if this is real evidence of a planet nine. Just a chance alignment of orbits seem like the most plausible explanation.
Yes, I'd like to know too. I reposted this because I could not find my original submission after posting. If I'm doing something wrong I'd like to know.
Ask HN: Is it true that CoreCLR is that much faster than Mono?
I am aware of the various published test results where CoreCLR shows fantastic speed-ups compared to Mono, e.g. when calculating MD5 or SHA hash sums.

But my measurements based on the Are-we-fast-yet benchmark suite (see https://github.com/smarr/are-we-fast-yet and https://github.com/rochus-keller/Oberon/tree/master/testcases/Are-we-fast-yet) show a completely different picture. Here the difference between Mono and CoreCLR (both versions 3 and 5) is within +/- 10%, so nothing earth shattering.

Here are my measurement results:

https://github.com/rochus-keller/Oberon/blob/master/testcases/Are-we-fast-yet/Are-we-fast-yet_results_linux.pdf comparing the same benchmark on the same machine run under LuaJIT, Mono, Node.js and Crystal.

https://github.com/rochus-keller/Oberon/blob/master/testcases/Are-we-fast-yet/Are-we-fast-yet_results_windows.pdf comparing Mono, .Net 4 and CoreCLR 3 and 5 on the same machine.

Here are the assemblies of the Are-we-fast-yet benchmark suite used for the measurements, in case you want to reproduce my results: http://software.rochus-keller.ch/Are-we-fast-yet_CLI_2021-08-28.zip.

I was very surprised by the results. Perhaps it has to do with the fact that I measured on x86, or that the benchmark suite in use includes somewhat larger (i.e. more representative) applications than just micro benchmarks.

What are your opinions? Do others have similar results?
One time.
Personally I feel that it took me a while to get really comfortable with more complex joins. There’s an problem they used in the study that required joining a table with itself, and honestly I would probably take a while to come up with that answer, if at all.
> Iridium phones aren't that bulky these days

I own both an Iridium phone and an Inmarsat phone, both are current gen. If you don’t consider them bulky, then you must be used to using an iPad/tablet as a phone. The antenna alone is longer than my iPhone 12 Max.
Indeed, here is the source from the linked comment
https://gist.github.com/jes/c7b848220bc36d8ae3771cd77f232d0c
Exactly my point. I’m getting close to 200gb, but it’s gonna be a while I reach 1000gb. So essentially i’ll be paying for the space I don’t use for years.
> That's true, in theory. In reality though, when is that information extracted? What do you use to extract it? Where is it saved once extracted? How easy is it to review it? Do you need to use an IDE to do that?

This is part of the GNU Ada toolchain.

I don't write Ada, but I have looked into it. I strongly dislike having to write an entire separate type/interface file that repeats the type definitions from the implementation.

This information exists -- a tool should be able to extract the signatures and spit out the interface file automatically (IE a header for C/C++)!

In Ada, this tool is called "gnatchop"

https://learn.adacore.com/courses/GNAT_Toolchain_Intro/chapt...

Instead of writing an ".ads" and ".adb" file (like ".h" and ".c"), you just write an ".ada" file and feed it to "gnatchop", it creates the two files for you and you're ready to compile.

gnatchop example.ada # (example.adb + example.ads created)
gprbuild p_main # (builds from example.adb)

Another neat thing Ada can do is interop with C++! It has C interop, but can ALSO support C++.

https://gcc.gnu.org/onlinedocs/gnat_ugn/Interfacing-with-C_0...

https://docs.adacore.com/gnat_rm-docs/html/gnat_rm/gnat_rm/i...

It can take C/C++ headers and auto-generate the interop code you need as well

$ g++ -c -fdump-ada-spec -C /usr/include/time.h
$ gcc -c *.ads

https://gcc.gnu.org/onlinedocs/gnat_ugn/Running-the-Binding-...

https://gcc.gnu.org/onlinedocs/gnat_ugn/Generating-Bindings-...
I guess I'm specifically referring more to refined foods, where you often strip away other healthy components of the food. Oil falls under that category, and is always an important component to the highly processed foods you're talking about.
> Background Note : Hinduism puts forth that this universe and our existence is not the outcome of some being / God. As, logically, speaking, if the universe came to be from the actions of some superior being, then it is implied that some higher being made this superior being, and the hierarchy goes on without end. Hinduism posits that this is absurd and that the universe is nothing but god. Every molecule, every atom, every soul is an expression of god.

Your statements are directly refuted by the Gita itself:

BG 10.39: I am the generating seed of all living beings, O Arjun. No creature moving or non-moving can exist without me.

BG 10.42: What need is there for all this detailed knowledge, O Arjun? Simply know that by one fraction of my being, I pervade and support this entire creation.

BG 10.8: I am the origin of all creation. Everything proceeds from me. The wise who know this perfectly worship me with great faith and devotion.

There is no problem of infinite regress when God is defined as the uncaused cause.

Neither is a scripture being both religious in nature and philosophical a mutual exclusivity.
I'm not even sure, I totally understood the difference now, 10 years after I studied CS.
>it will crumble in front of the court

I hope so considering the precedent it sets but what makes you think that'll be the case?
Exactly, Facebook has built a huge garden, and to extend the walled garden metaphor… the garden is now so big it crossed the line beyond which, we as a society, agree that you aren’t allowed to put up certain kinds of walls.

If that sounds like a bad analogy, imagine how the government would treat a single private company that owned more than 70% of the private land in the country. “It’s our gland we should be able to do what we want…” has to break down at a certain point, the alternative is a slow relentless slide into crypto-capitalist (crypto like cryptozoology not cryptocurrency) dystopian oppression.
Tim Cook’s Run as Apple CEO Could End as Early as 2025. Who Will Replace Him?
They can shoot down the satellites if they break the law though. That's why bypassing China's firewall isn't as easy as sneaking in a Starlink base station
Reading these comments trivialising the driving task makes me wonder if such commenters have ever actually driven or if they are just prone to magical thinking.

I would say it's a testament to the human ability to reduce very complex tasks to very simple descriptions that can be kept out of rational awareness. The impressive thing is that even the wrong beliefs of a given person work for them. Remember, the people effectively arguing that driving is "easy" still understand that humans fail at it regularly. So it's mismatch in their understanding of how smart humans are, something that probably doesn't impact their daily lives.
Isn't this built-in in most browsers?
The authoritarianism, tribalism and suspension of human decency and basic liberties that we've seen happen with Covid has been long coming. I've argued before that the world was already primed to move towards the authoritarian corporate technocracy that we're seeing now, and covid was just the push it needed.

I agree with the author, this had been a long time coming, the byproduct of the "self-actualization" step in the needs hierarchy. And like him, unfortunately I have no idea how to stop it.
Can take as long as needed as it only needs to be colored one time. About 10,000 nodes, reasonably dense (about half the nodes will have 1,000+ edges).
So I guess the answer is "no", then? :-)
have you tried not doing that
I'm using the Bar Plus 128GB plugged into my RT-AX58U to host Diversion, a dns-based adblocker and it wasn't until recently that I realized that Dnsmask was writing a log for every domain resolved... Wonder how much of the drive lifetime I burnt through there.
I dunno how much of a minority you're in.

If I could just by an iPhone13 and not have to also have an inreach, that would sell me on it.

That's not a massive market segment for sure, but I know plenty of folks living in vans in southern Utah who likely would do the same; so there is an identifable market even if its small.
I'm sure ST has ways of capturing stack traces in log files, but, casually, nobody talks about it.

With smalltalk the user could send you the image in its current state which would provide a lot more context than just a stack trace and a log. I definitely would prefer to pickup a running environment at the point of failure than a log when solving a bug. I cannot imagine how one would keep up with security on a setup like that though.
I see this listing for Oracle/Sun SLC media.

When you say "really proven," do you mean a lifetime of 100k writes, as is normally expected of SLC devices?

p.s. I've bought SwissBit before, and had no problems.

https://www.ebay.com/itm/165027448860?hash=item266c67081c:g:...
Digital micrometers are expensive, but you can get analog ones on AliExpress [1] or other places for around $10. Of course, the precision may not be as good as name-brand (eg: Mitutoyo) tools.

[1] https://www.aliexpress.com/wholesale?catId=0&initiative_id=S...
I've had Synology for years and I have used their Photos and Momemts app.

It's pretty dang hard to recreate a Google service.It's great for backup and have control over the photos - but dang it's slow....if I need something real quick, I usually go to google photos...even when I'm home. Maybe I need to upgrade to a NAS w/ faster processor, I don't know.

I've turned off the Google Photos facial recognition stuff because of privacy, but dang I miss the convenience. Moments has their own but it's not a good.

Google photos I can easily search for a city or text or an object and it pops up quickly.
Personally I split everything into equally sized tar.gz files, encrypt everything with gpg and upload it using rclone. It should be easily doable and scriptable in any Unix-like machine. It's not the fastest way of doing this, and very inconvenient if you need to access the data often. I only use this for off-site archiving that I will never use unless something catastrophic happens.
> The problem with REPL-driven development is that when taken too far it makes you capable of creating programs that simply cannot be understood by someone without the "lived experience" of the path taken to arrive the solution in the REPL.

Can you provide an example for this? Intuitively I'd say you are right, but, OTOH, even after 20 years of CL-hacking (which probably does more REPL-driven development than any other language), I cannot come up with an example...
That's true, though I have a hard time squaring that with observations of classical objects. Would it make sense to say that I have approximately 2 legs, or can I actually be confident in saying I have exactly two legs? Even with things like MWI, in any particular world I would still have an exact integer amount of legs, as far as I understand.

Perhaps the problem here is one of mixing intuition (the idea of 'an object') with rigorous physics and mathematics, perhaps this is where I am going a bit wrong.
I was actually looking for a way on how to generate such panoramas in Android using the accelerometer and magnetic sensor as support. Essentially what Google does with PhotoSphere.

Does anyone know of any libraries or implementations of such a project?
Yeah, it's a killer feature, but I really wish they had some sort of a documented "search API".

Instead of natural language search, where I have no idea whether it understood me, I wish I could do (modifying your example):

"North Carolina" "Maggie Thomson" "Tom Morgan" -beach 2018

for all photos in NC, with Maggie and Tom, not in a beach from 2018

and even better, if it could tell me the number of results that would show up if we removed each keyword above.

I guess it's a tough problem, even for Google :(
This wasn't remotely true in 2000 when D was being created. AFAIK D was the first after Ada, and certainly popularized it as I made many presentations including it.

C is still holding out :-)
Funny, I've actually had a lot of fun working on this compression software. It's a weird mix of needing it to be fast and hitting a compression threshold of it being useful.
One of the best projects I've embarked on
In that case, there even exist Orafce, a project that provides a lot of compatibility to a lot of Oracle Packages. For example, a lot of date functions, UTL_FILE, DBMS_OUTPUT and a lot more are already [art of this :)

https://github.com/orafce/orafce
Yeah I don't really understand all the chatter about the details of "end-to-end encryption" in this or that product. If you care, if it's important, you absolutely need to take control of that yourself.
I worked on a similar idea last year. What I did was take urls to content, scrape the content, and pipe it through a machine learning a evaluator to apply various labels and warnings to content. Lastly, add some nice embeddable UI to surface the report.

I got it to a decent state, but didn’t know how to propagate it or inject it into social communities. I wanted people to be able to tag it on Facebook, and it would reply with an informational card with the analysis and summary.

https://github.com/dino-dna/informed-citizen
This is a nice idea, to talk about and get thinking about these "soft" questions that people often struggle with.

One feedback about the homepage: show a few examples of how people have answered questions, below the prompt. That's more helpful to get us thinking about our own answers, compared to a blank field. (Also, it's not clear what the percentages are meant to represent there. And I'm guessing the number next to the edit icon shows how many people have answered the question already? May need some UI tweaks on these.)