skysight-inc/HackerNews huggingface dataset:
According to their IndieGoGo page, the Gemini is still in prototype stage - it hasn't yet entered production. Is it possible they can go to manufacture and ship devices in December?

https://www.indiegogo.com/projects/gemini-pda-android-linux-...

I've been considering ordering one - I loved the Psion, although I am not sure they will deliver on-time as promised.

Has anyone been following the campaign as a backer? What's the general feeling?
Hi Qubex, I appreciate your thinking here.

I’m fascinated by the topics of economics and currency controls here and would would love to discuss some of these issues with you (relevant to a current project).

Can we email? My contact is in my bio.
You can also move from Assets:Checking to Expenses:Cash, and then from Expenses:Cash to Expenses:Haircuts. This allows you to track the larger cash expenses if you like, while letting the small purchases accrue in Expenses:Cash.
I think that's a great price for a custom product which will not sell in volume. Look at the Pandora and Pyra for comparison.
Giant black hole pair photobombs Andromeda Galaxy
It's the logical conclusion, though. If it's a fact that anyone who can "collect a check" without working will do so, and if it's considered bad that someone would do that, then a 100% estate tax would fix one big way people manage that. Since as we all know, anyone who inherits enough money that they don't need to work will never work.
GM has hired a former top Uber engineer as its first CTO
I met my wife at the Barrels camp in the Paw dungeon in EverQuest. We had a good time and added each other to our friends list. As we played together more often we grew closer and became actual friends. We started a guild together (which bombed) and branched out into playing other games as well. We moved to City of Heroes and then World of Warcraft. Eventually I grew the nerve to tell her I'd fallen for her as more than a friend. It took some time but eventually she admitted that she reciprocated.

I knew she was the one when I realized that anything I played would be better with her involved. This was easily extended so that I knew anything (game or not) I did would be better with her involved. I've been proven correct so far :)

Aside: it's fun to tell people I met my wife in a dungeon, with a pause before I say "in a video game".

Edit to expand: We had our 7th anniversary in October and we were together a while before getting hitched. To answer your question, relationships take a combination of effort and initial chemistry. My wife and I had shared interests from the start which helped build a foundation to handle life's trials as we grew up together.
> Is this an area where I seriously risk bricking my CPU

As far as I'm aware, there's no particular state involved for you to brick the CPU, but you can easily write a firmware which will prevent boot, or fail some time after boot (In the case of removing critical ME blobs). You could brick your board temporarily, but you're going to be using an external flasher (with a convenient little SOIC clip :- ) anyway, so fixing it is a matter of writing back the old/working image.

This is, of course, assuming you are able to write anything that works to the flash, which you might not be able to thanks to BootGuard.
Org-ref is one of the most beautiful things that happened to the org-mode ecosystem IMO. It’s truly second to none in ease of use. Couple that with Helm fuzzy searching and any pdf/bibtex reference is a keystroke away. Absolutely worth a try!
Dammit, should've said:

git freebase
You tried to do the right thing. For what it's worth, that's very commendable. It's reasonable that you'd be upset because you're going to be burdened by the efforts required to further legitimize those earnings in the eyes of the IRS/law.

That said, you still did business in an unsanctioned proxy-currency. There's bound to be a cost to that.

Honestly, you should be upset with the broker (coinbase) for not providing you with suitable reporting documentation in the first place.
how do you find time to work on all of this and BDFL RedoxOS?

is Redox partially sponsored by System76 via allotting time for you to work on it?
Have you ever been a power user of Microsoft Excel? And then tried to replicate that functionality in Google Sheets?

Or is your aversion mostly to the M- word?

I find it funny that when it comes to vi vs emacs (or any such similarly geek-approved thing), fans of each will jump up in arms about the precise reason their platform is better, but the same kind of people would not want to take hundreds of thousands of business professionals at their word about why they like using a particular piece of software.
Show HN: Drawboard – The multidimensional workspace and pen
The interesting dynamic I've found when I post to SO lately (which I'll admit has been rare over the last few years) is I so often get a comment about "how can somebody who has X points on SO ask a question like this", as if the accumulation of points, because I've been on the platform for a while and some of my questions or answers have gathered a lot of points does not mean I can't still struggle with what other people consider simple bits of code.

The community itself it seems has become hostile, and therefore I personally don't want to post questions just to be berated for not knowing the answer.

I also think SO is so focused on the simpler questions. This is my code, it isn't working, can you help me fix it. I once asked a question which was more of an architecture problem, no clear answer, but I thought "maybe" it could get some discussion going which would lead to the answer. Nope, SO isn't interested in getting into the larger questions which could help you learn and progress. Keep it to simple errors or maybe help find the right algorithm.

The usefulness decreases over time as we become better developers if SO can't lead us to asking larger questions.
So yeah I would have thought so too but am confused over the first few examples of "blocked" he gives...
If you're in the US, you were actually an employee (not a contractor), and this is about unpaid wages, you might be better off contacting your state "workforce services" or whatever whatever agency handles employee-rights violations. Obviously this is going to depend on the state, but they are typically pretty aggressive about going after employers that try to pull shit.
Read up on smart contracts. You can program the contract such that it dynamically adjusts it self to variables.
If you're putting Excel-sized data in Hadoop, something has gone seriously wrong in your IT department's decision-making process. It does make for a nice parable about the dangers of shiny-new-thing-syndrome though.
System76 employee here. I suppose the "automatic" could be re-worded; the data is automatically pushed to the machine but then the user always opts into the actual install.

But on the other hand, System76 customers are trusting that System76 hasn't been hacked or coerced to ship malicious firmware from the factory in the first place. These updates are signed and verified with industry best practices.

jackpot51 (the System76 engineer currently working on this) could probably detail it better than I can, though.
That also applies to shares, real estate, apples, Teslas, ...
I politely disagree. Taxi companies hate ride sharing companies. As an industry that refused change for decades saw a software company come in and eat away market share quickly. If Uber were to 'go away' and allow the taxi company to use the ride hailing software they would be all over it. [1][2][3][4]

And this is just the taxi industry, there are plenty of industries that would love to use a logistics software to help their business. The only real magic Uber has is this software, the rest is easily replaceable or overhead.

[1] https://daymondjohnssuccessformula.com/launch-pad/cab-compan...

[2]https://www.watchdog.org/california/the-uber-effect-why-cab-...

[3] https://www.quora.com/Why-do-taxi-drivers-hate-Uber-if-its-c...

[4] https://therideshareguy.com/what-taxis-need-to-do-to-survive...
>education, healthcare, energy

I'm not asking for dissertations but could someone briefly explain how any of these problems/industries will be effected by blockchain.
I don't think that there is very much value there. Everyone who is going to believe in global warming already does. Acknowledging extremists only strengthens their cause.

In response to OP, I have dedicated my career to fighting global warming through software. It is VERY difficult to find good software jobs that accomplish this, but they do exists if you are flexible on pay/location. Some angles that I have found successful:

- Supporting REC markets with technology. The more successful they are the more politicians will support them which starts the cycle of affordable renewables driving more financing for innovative companies driving lower prices...

- Join companies doing efficiency profiling. This has been a huge area of recent growth. Companies doing things like analyzing utility data to show companies where they can reduce usages to have the most impact

- Work in renewables. PV's, inverters, batteries, wind turbines, etc all need to talk to each other! Brush up on your modbus, mqtt, sunspec, etc and start looking for companies.

- Build our scientists better tools! Tons of companies are working to provide researchers with better ways of understanding the environment and the effects of global warming. This may not be the most direct way for you to help, but it is important to understanding climate change. There is tooonnns of room for innovation here, especially in allowing scientists to understand and harness AI and standardizing data/research to open up collaboration.

- Work for the grid. Many giant utility companies are starting to realize that microgrids are real and imminent. How do utilities maintain control over a homeowner's power so that there aren't dangerous power fluctuations on the grid? Check out Kitu or Autogrid for some solutions. Larger utilities will also have R&D labs where they set up and test cutting edge renewable options and control strategies.

TL;DR: Tons of companies are working to drive down the cost of renewables. Save the world!
The "+" in F# is really awkward because it tries catering to both the ML type system it got and to the .NET type system underneath, inherited from C#.

This is a problem because when type inference kicks in for plain functions, usage of that "+" will make the compiler assume "int".

But worse, "+" in C# is not a method, but a static method and the compiler basically does magic, because you don't have this behavior for plain static methods and you don't have a generic interface in the language for "+", there's no Number, no Monoid and static methods themselves in C# can't be polymorphic.

The whole notion of "static methods" is broken btw and have nothing to do with OOP. The only purpose of static methods is to enforce visibility rules and this made some sense in C++, where you could have functions living outside of classes, but even there the real problem is the lack of useful namespacing.

And F# inherited this behavior, F# inherited static methods, along with math operators described as static methods.

So in order to abstract over things that have "+", which is really needed in F# otherwise you can't express really basic things for an FP language like "List.sum", you have to (1) use inline functions, which aren't translated directly to .NET functions and (2) use a really awkward signature that instructs the type system that the type has a "+" static method that it can use, e.g...

> let sum x y = x + y;;
val sum : x:int -> y:int -> int

> let inline sum x y = x + y;;
val inline sum :
x: ^a -> y: ^b -> ^c
when ( ^a or ^b) : (static member ( + ) : ^a * ^b -> ^c)

So this signature is really interesting — the type system is saying that our "sum" needs either an A type or a B type and one of them should have a static "+" defined, doesn't matter which one.

This is close to how type classes work in other languages, however for the F# compiler this is magic that doesn't scale and making use of "static methods", a flawed concept, a signature that can't be encoded in .NET's type system and therefore the function is forced to be "inline".

Which is another problem, because in F# inline functions are more like macros, or in other words these "inline" functions are not values. As soon you try using one as a value, it gets materialized and you loose the type info. So it is very ephemeral.

Given this, frankly, I would rather have OCaml's operators.
At least they are plain functions.
> The same excel workbook that let's the traders do their job would take months / years to convert to a web app, and even then, the speed may not match up.

Sorry but I have to call nonsense on that part. I've seen recently a whole trading operation converted to a system very close to a web app within 6 months. The hard part of the job was untangling the mess they created. And knowledgeable quants who actually program told us it's typical.

The financial pros have horrible, horrible stuff in their spreadsheets. They are used to it and they want (perhaps unconsciously) to keep their dirty hacks out of sight. Lest they fall from heaven.
For ride hailing?
Well-designed protocols generally include algorithm identifiers. It doesn't mean that upgrade will always be easy though.

I really don't like given this a new name ("multihash"). We have a name already: algorithm agility. We should use that name.

I also don't like this idea of having a standard for algorithm agility for hash functions (and another for encryption algorithms, and...).

It's also not obvious that making every hash/MAC/public key payload carry an algorithm ID is the right design for every protocol (it's not), though for git it is.
iirc 1.5x. 2x was too much for me.
Do you have concrete examples of things you are missing?
ICC's autovectorization still produces better code than Clang or GCC, at least as of June this year when I last did some major performance tuning on our code.
I work on Redox at night and on weekends. I try to write software that can be used in both places.

For example, the graphics library orbclient was used in the firmware updater, and the UEFI library from the firmware updater may be used for a Redox UEFI bootloader.
It can be left in a specific location, for one thing.

Security and game cameras are a massively-unsolved problem, for instance. I'd like to capture footage of bears, coyotes, and other wildlife as it travels through my back yard, not to mention keeping an eye out for larger bipedal visitors. But it's almost impossible to convince the naive motion detection algorithms in my surveillance cameras not to respond to trees swaying back and forth in the wind, or to the resulting rapid movement of patches of dappled sunlight. Or to spiders crawling back and forth in front of the lens, building a web. Or to moths that seem to be attracted to the IR illuminator at dusk. Or to any number of other things that any human would instantly recognize as a false alert, but that are very difficult for software to reject without frequent mistakes in sensitivity, specificity or both.

It's hard to believe that anyone with an outdoor security camera hasn't had to deal with similar hassles. I'm sure there are other applications for a camera like this, but if I were an investor, I'd be very interested in the intersection of ML and security in general. I'm definitely interested as a homeowner.
The GPD Pocket is, indeed, very nice. However, it's much larger and heavier than the Gemini.

The Gemini has two obvious advantages over the GPD Pocket. One is LTE; the other is its small size. Size restrictions were imposed on electronic devices permitted in the cabin on flights between certain middle eastern airports and the USA early in 2017 due to a specific terrorist threat.

While those size restrictions were not extended to cover EU/USA flights, and appear to be being relaxed, if they're revived we can expect a ban on flying with anything significantly bigger than a 5.5" phablet in the cabin.

The Gemini slips under the size bar; the GPD Pocket doesn't.
How would he reply to a message on the PDA without taking it out of the Twisties bag?
They are not socialist in nature. Socialism is a system in which workers own the means of production instead of capital holders. I mean this in the friendliest way possible, you are not using the word socialism correctly.

If you have a currency that is increasing in value, and one decreasing, which do you choose to spend? You would not "use" deflationary currency, only hold onto it.

Yes the economy will restructure. People will spend USD and keep Bitcoin in their pocket. People will want to be paid in USD because they can use it to buy stuff. Bitcoin is and will stay relegated to an interesting experiment people invest in, and only use if they need its anonymity.
> Tor onion services solve the setup-your-own-server issues, it's just not super easy yet.

Lately I've been trying to make this easier. I developed ormesh (https://github.com/cmars/ormesh) in an attempt to simplify setting up hidden services for private use.

I think both Tor and IPFS are both awesome and useful decentralization projects, they just have different use cases & characteristics. AIUI IPFS lacks fine-grained access controls. Last time I looked, it seemed like I either had to run all my own infrastructure of IPFS nodes with pre-shared private keys, or open everything to the public and encrypt on top of that... I prefer the Tor hidden service model, where I can decide on a per-service basis how I want to share it, revoke client access if necessary, and have my traffic securely routed on existing infrastructure.

Edit: fixed link
It looks promising, but seems to sneakily require that you have already soldered on a 40pin header onto your RPi Zero W (I have gotten lots of practice doing it by now, but that doesn't mean I really love to...), which doesn't seem to be included in the parts list.
VBA, forms, integration with data sources...

"All right, but apart from the sanitation, the medicine, education, wine, public order, irrigation, roads, a fresh water system, and public health, what have the Romans ever done for us?"
There are so many underlying issues here. Race. Politics. Police conduct. Private prisons. Even NSA-level surveillance (the obvious efforts to geolocation his phone prior to the arrest). Demonetization of felons. Just about everything that is wrong in the US landed on this guy. Everyone needs a lawyer. You don't have to pay them, but memorize their name/number for that day you find the world landing on your head.
> Opening “data:image/*” in top-level window, unless it’s “data:image/svg+xml”

Just curious-- why the exception for svg?
While this is great, and I'm glad it exists, not everyone is like you and I: willing and able to open a computer and use a SOIC clip and a Raspberry Pi to purge the ME from the computer's firmware. You and I are what the normals tend to call geeks or nerds, and from my experience amongst geeks and nerds, one of the less common subtypes. That's a depressing way to look at it, and one could argue that it's a condescendingly elitist view, but that doesn't change the truth of it. I'm confident most other posters here could immediately think of a half-dozen friends and family members for whom even opening the computer was deep magic, nevermind going after the ME with a SOIC clip.

For the rest of the population, there's value in there being a vendor who sells magic black boxes, certified to be freshly purged of all known evil demons.
Anything that can be done in minutes with Excel could be done in relatively short order via an actual programming language.
> Each Erlang process has its own stack and heap

This is one of the cool things about the Erlang VM. Each process (lightweight thread) has its own heap! In other VMs threads can affect each other by generating garbage and causing GC pauses. In Erlang even the heaps are isolated.
Wasn't http://witheve.com/ supposed to solve this? I love Chris Granger and his team, but at this point he seems inclined to pivot ideas every 2-3 years, instead of following through with an industry-workable solution to some of these programming problems...

See also: https://www.theatlantic.com/technology/archive/2017/09/savin...
Why would it matter?

Even in traditional Reddit AMAs, most celebs do not answer past 10 questions. So 99% of questions in a "traditional" AMA would still be left unanswered.

I'm pretty sure this is just a pet toy project anyways.
That looks nice. Does it have keyboard shortcut with fuzzy searching to open other files in side panel?
Great link, thanks for sharing!
ASUS ROG STRIX B250G GAMING LGA 1151 Motherboard
Except excel is a generic solution. If you have to build a specific solution for each processes your costs skyrocket and people lose the ability to quickly implement something on their own. Everything takes forever to get done because you're constantly haggling with development and writing requirements instead of just opening excel and getting work done.
It's come a long way. I was aware of Codenvy years ago and recently became aware that they seem to have joined the Eclipse Che effort.

The main thing missing from Che, for me, was a lot of nice, easy plugins to deploy to cloud services. You can run your app in the container very easily, but it would be nice to be able to push to, say, Heroku right from the IDE.

Apparently Red Hat have acquired Codenvy now, so it will be interesting to see if they add some integration for OpenShift (their own repackaged Kubernetes).
I think that completely discounts the negative long term impact on his life, which seems particularly egregious in a discussion where I am being criticized as if my remarks are an act of callous disregard for the welfare of the common person.

You don't care that he flushed his own life down the toilet, just as long as sex workers and cocaine dealers invested it well after they cleaned him out. And then you criticize me for "moralizing."
Reminds me of another great project: https://github.com/alecaivazis/survey
By accountants and financial analysts?
Congratulations on your raise! I can see many applications for this in healthcare and government. Would love to hear more about how others are implementing BlazingDB and the problems they are solving.
We have already figured out how to do that with crypto. You simply use a smart contract that dynamically adjusts to variables. In essence, the home loan lender is interested in getting back the initial value they lent plus interest, another form of value. The price of bitcoin per unit doesn't matter. The only thing that matters is how much value each unit represents. Thus, you can use a smart contract to dynamically adjust the mortgage payment at the time of payment. The contract could be written such that it says "borrower is to pay $3,500 in USD equivalent value in bitcoin each month". Assuming bitcoin price is increasing, your mortgage payment each month would require less bitcoins to pay and the lender would be happy too because they are still getting their $3,500 of value per month. The lender could immediately sell their bitcoins if they want physical cash.

Also this is already being done with point of sale machines that accept bitcoin. The POS machine simply goes to an exchange to see how much one bitcoin is worth then tells the buyer to pay xyz amount in bitcoin that is equivalent to the value that USD represents.
One interesting aspect of Excel is how a sheet can be shared in a way that a compiled executable can not.

Even with all the various viruses floating around, opening a spreadsheet is a common and allowed task as opposed to downloading, installing, and running software.

Edit: I suppose this point is mostly about the ubiquity of Excel as a platform. The interesting thing to me was that even otherwise prorietary models are more accessible distributed as Excel sheets than better-secured inside a custom tool.