skysight-inc/HackerNews huggingface dataset:
Show HN: Just launched first iOS app, Guess Less
Check it out here: https://itunes.apple.com/us/app/guess-less/id1307750414?mt=8

My co-founder and I just launched our first app, Guess Less. It's a simple, fast way to store your clothing sizes and share them with friends and family! You can customize who can see what sizes, add family members, and link a Pinterest account to generate gift ideas.

We have a unique mechanism for sending hints as well! On your profile, recent likes will show up but if you send a hint to someone then that hint will be intermingled with the likes when they look at your profile.

Eventually, we want to create "partner" accounts where clothing companies could upload their own pictures and we can start earning revenue through either advertisements or commission on products bought through the app. Do you guys have any advice on how to approach those companies? How do we find out who in the organization is best to reach?

Our current plan is to wait as the userbase grows (fixing inevitable bugs in the meantime) and then approaching companies once we have some compelling statistics. But that could be a while. If we had partner companies willing to take a risk now, that would also help us market to users and grow. It's somewhat of a chicken and egg problem that we're not sure how best to approach. Any advice would be appreciated :)
Solar powered railways could be coming to a station near you
> pick the the word I know that has the lowest Levenshtein distance from whatever that was typed

I'm pretty sure that in fact it is frequency weighted. You can see that when a correct but rare word is replaced by a much more frequent word.
Add in that in France electricity is used a lot for heating, while most of Germany is on gas or oil. People can die from lack of heating.
It’s going to get a lot worse.
Indeed. It seems like we ought to be able to do encryption in hardware at arbitrary speeds without a lot of cost by this point. (No?)
I can't believe that. There's always a next Christmas, and you can be sure I wouldn't buy at the same shop that screwed me last year.
hnnotyourday at that google service. i also added it to my profile here
> to verify the age of people
which is just silly. because they only need to ask for your age.
Ripple - no documented consensus mechanism. Banks aren't using XRP to settle.
Stellar - a better rewrite of Ripple targeting smaller Money Transmission companies.
Startup uses Machine Learning to scan data to prevent hacks and monitor threats
What does “startup” mean?
you can do that in .net with the watch command https://docs.microsoft.com/en-us/aspnet/core/tutorials/dotne...
Thanks. I suspect the same since I don't see too much complaints online. It is most probably just a weird timing when I got fed up with slow MBP while we see all the iPhone slowdown reports.
As far as I can tell, the formal proofs themselves were always correct in his example. The problem was that the proved statements were not the ones intended.
If the battery was full and you were running at full load it would take over 5 hours to discharge the battery to zero - and if you are running CPU+GPU at full load for over 5 hours on a laptop then I'd say you are probably on a wrong device for this. I'd take a smaller (lighter) power adapter + max 5 hours of full load than a heavier adapter and unlimited full load. I actually know someone who carries a 45w adapter with his macbook 15" because it's smaller and the laptop runs from it fine unless you run some heavy loads on it - for normal browsing/coding work it's fine.
HRouter.js – JavaScript Simple Routing Library with Micro-Template Engine
Years ago after spending uncountable beers listening to the frustration of several PhDs friends, I had the idea of a journal for research failures/dead-ends.

The idea was to look at unfruitful research as something useful for the community and give some credit to time and resources spent doing something that did not work (and should not repeated by others). I still wonder if that would create the wrong incentive though and if that could be feasible at all (who likes to talk about money and time wasted?)

EDIT: fixed wrong sentence
I've worked with Hong Kong stocks a lot in Excel, and the major stock index is the HIS. No, HIS! HIS! Hang Seng Index, HIS! Arghh...
You really have to go to the autocorrect options, as you describe, and remove the HSI->HIS rule, until you get a bloody "HSI" into an Excel cell :-)

EDIT: It's actually the Hang Seng Index, not HK Stock Index, but both expansions capture the meaning.
What you're saying is just "trusting any system is insane", which sure, it might be (depending on the criticalness of said system).

But that's not very insightful or informative, how does that drive any sort of decision-making or improvement process?

Do you have any suggestion on how to improve the correctness of systems that work better than formal verification?
Maximum CPU load is not enough - you'd need to run full load on cpu, GPU , hard drive and have the display on full brightness - it really is an edge case.
why would you track a catheter surly these are single use items that are never reused
> For an extreme example: if all 128 bits of plaintext are known, and all 128 bits of ciphertext are also known, there should be a single 128 bit AES key that maps that input to that output, so the entropy left in the key would be zero.

Abstracting away a little bit. What is a block cipher? A bijective mapping between identical sets uniquely identified by the key. This makes it a permutation; and a good cipher says (among other things), that every key yields a unique permutation.

This doesn't mean that the mapping of one value identifies the key (i.e. the permutation itself). If the mapping for each key were truly random, then it would be essentially impossibly unlikely to end up not sharing a number of individual plain->cipher mappings between different keys.

You can do this as a little experiment using a small block size, 4 bits or so.
For large/ambitious cljs apps I'd recommend unit-testing each devcard somehow.

At work we haven't done it and it's a regret - not cool to find an outdated devcard that doesn't work anymore.

(not a flaw in Devcards itself)
Crash-Resilient Wayland Compositing
I will add as well:

"The Chip: How Two Americans Invented the Microchip and Launched a Revolution"
.NET Framework is still closed source AFAIK. .NET Core is open source, but that's two different things. Moving existing applications from .NET Framework to .NET Core and running them on Linux is still troublesome (for example lack of proper ODBC support on .NET Core). Serialization between the two is often not possible or not easy (differences in byte layout). While I think .NET Core is better than nothing, it all has a long way to go, including MS-provided API dlls (like ADOMD, etc.).
Hi, I have a question. If people try to build their own network, They'll have to connect to the existing internet at some point so they can access a website that is on the internet and not on their network, Right?

So, How would they do it? Do you just ask some ISP for a high-speed connection? How does it work? I saw some videos about people in Detroit setting up their own network but they didn't show everything and their internet speed was quite low.
When does a bunch of servers become a datacenter though? When a university group runs their own servers that only the group has access to, is it a datacenter? If I buy 2 servers and put it in my basement, is it a datacenter? What if its only one server?
Not so simple at the bottom of the ocean and working with pressurized cables, besides the fact that the data will most likely be encrypted at the link level.
When I started dabbling in programming languages design, Parsing Techniques - A Practical Guide was invaluable for me. I cannot recommend this book enough. First edition is available for free from one of co-authors site [0].

[0] https://dickgrune.com/Books/PTAPG_1st_Edition/

Edit: minor clarification.
New NVidia GeForce driver license
Limitations:

No Datacenter Deployment. The SOFTWARE is not licensed for datacenter deployment, except that blockchain processing in a datacenter is permitted.
Still around in 2017, it seems:

https://barnthespoon.com/
Which part? The pharmacist deciding which medication to give you? It makes sense to me - they're looking at inputs, and using their professional training and experience to make the right choice.

It's no scarier (or, alternatively, as scary as) a doctor listening to your heartbeat and measure your blood pressure and choosing which medication to prescribe.
JSON is terrible format for data storage. But for data exchange it is OK. The problem with schemaless storage is that as code evolve it is way to easy to forget to cover the needs of already stored but not presently accessed data. With communications this is much less a problem as serialization and parsing must evolve together with code.
They also have important announcements I can never understand because of all that other stuff.
Yet the primary source of energy for Germany is coal.
I find music in stores to be always really annoying, not just during xmas holidays; as a prog rock fan myself just about everything they play hurts my ears and surely doesn't make me want to stay more in the shop beyond the strict necessary.
If they can't or don't want to play prog rock that's fine to me, I understand it's not the best kind of music in that context, a gentle soft jazz background would be wonderful to me too, but please don't hurt our ears with the latest top chart rubbish. No matter if a lot of people normally likes it because that's probably not the case after listening to it a dozen times; I personally would hate to hear even my favorite bands played in a loop every day, so please be respectful and creative.

About that pic of a woman measuring sound pressure using an app, that's fine for non professional comparative measurements using the same phone (this place is louder than that place), but don't expect to get any accuracy from that unless it can be connected (and calibrated - very important) to an external higher quality mic with no software or hardware compression, otherwise 10 phones using the same app to measure the same sound will give 10 different results, all of them possibly wrong.
I’ve been wondering the same thing about the iPad Mini. My mom and mother-in-law both have the same vintage (v1, I think) and both complain of browser crashes when loading some web sites and playing video on Facebook. My guess is it’s a combination of terrible bloated sites and only having 512MB of RAM (a 2-year-old HTC Desire with 1GB RAM works fine for the same purposes), but recent news does make one wonder if a battery would make a difference.
Where does Mono fit in all this?
I find it weird that there isn't enough outrage about this and it is already beginning to be the new normal. In a more ideal world, Apple would have been forced to issue a patch that reverses this forced obsolescence on consumers.
I meant how to avoid waking up too early. (Some techniques seem more geared at helping people fall asleep.)
Washio closed in 2016 https://techcrunch.com/2016/08/30/washio-on-demand-laundry-s...
FlyCleaners seems to still be around.
The quantum corrections basically dealt with the fact that the waves occurred on the scale at which quantum indeterminacy obtains and as such you had to account for the fact that the neutrons had both been moved and had not moved, leading to a superposition of states.
I have this project of moving most of my browsing to EWW (the native web browser in Emacs) and using a full-fledged web browser only when I need to use some web app. But many content-only websites are going with completely dynamically rendered pages with React or what not, so all you have is void at worst if you disable JS or view with a text-only browser, and garbled up unreadable stuff if you're lucky. Also e.g. the comment hierarchy of HN does not render nicely with text browsers.
Morgan Stanley says the true price of Bitcoin might be zero
Could as well be caused by a major submarine landslide of the Norwegian continental shelf. There's some evidence that this did happen at least once in the (geological) past.
You might want to look at RhodeCode then, it supports now git,mercurial and subversion via it's vcsserver. Adding more in the future shouldn't be a problem because of all the abstraction in place.
Now he can apply paper mache and paint.
Which battery did you get for it?
I'd replace 800px with 55em.
It would be interesting to see the correlation between how susceptible a domain is to p-hacking and the number of papers required to be successful. I know that in Mathematics it’s ok to publish a good paper every other year.
I'm wondering why it's not possible to run some cores multithreaded and some just singlethreaded? I would like to see something like that.
Except it's debatable whether it is forced obsolescence or a sensible approach to battery management.
reasons to criticize Oracle's DB offering that extends past 'limit/offset syntactic sugar', and there are a lot of quirks

Sure. But the point I was making is that if you really do need Oracle's higher-end features, there aren't many or sometimes any substitutes. How long have the PG crew been trying to get AS OF working? But Flashback's been in Oracle for years and if you need it, you need it. And if you don't, then Postgres is a pretty safe choice. But Oracle is very far from "basically trash" because some guy doesn't like some bit of syntax!
Ask HN: What could be done to stop funded startups undercutting businesses?
Because here at Hacker News, I've seen quite a few people complaining that venture backed startups distort the market, since they don't have to be profitable to keep going and could hence undercut other (bootstrapped) businesses.

But what's the 'solution' to this? Because to a certain degree, this happens at all levels and in all industries. It's basically what killed the media industry, since the best funded traditional outlets are mostly kept alive by billionaires pumping in money for 'charitable' reasons, and the internet has created a market of hobbyists doing the same work for free on the side.

And it's true in many other fields too.

So what's the solution? How can regulators stop saying, a venture capitalist putting millions into an unprofitable business to drive competitors out of business?
There is much more redundancy in terrestrial cables (because they are vastly cheaper to lay), so they're much less of a single point of failure.
https://ia.net/topics/the-web-is-all-about-typography-period...
Too bad they didn't continue its development. Probably choosing a different GUI than TK would have helped to spark more people's interest in the project. There's a huge need for an alternative OS on Android phones, but most of the people who would benefit from it don't know that, so that need doesn't translate to actual demand.
Yes, it actually can happen that degraded battery will cause the CPU to be locked into low power state. However on all the models I've seen that happen it was also accompanied by a clear error message that battery is dead and it should be replaced.
Isn't the problem trying to force social science into a mathematical/axiomatical model in the first place, when it really is historical and descriptive?
That table does not make the point raised here, which concerns a specific consequence of Bitfinex being the only exchange you can currently short bitcoin on. I would provide the specific quote, except it is already in the post that you replied to.
My SO and I both read about the study that suggested an RDA of 8,000IU of vitamin D. I've started on 10,000IU every other day and haven't noticed much of an effect yet.

I too am a vampire and very pale skinned so I spend practically no time in the sun. I think I'm going to have to make a concerted effort to change that once winter is done here.

Regarding the other supplements you are taking: Do you have any links to literature/studies that support taking more Magnesium, Zinc, vitamin C, and lipoic acid? I have terrible time sleeping because I take Suboxone which disrupts my sleep something awful, so if there's anything else I could take to mitigate that effect, I definitely want to try it.

Thanks for reminding me that I need to get my blood tested for D and Iron, on the recommendation of my pain doc.

I hope you continue to get beneficial results from those supplements, I'm very glad to hear the ideation being beaten down. You rock!

Peace and Joy for the New Year
Yes, if you use Z3 as part of a proof assistant like Isabelle/HOL or F-Star.

No, if you use Z3 as part of some other system that does not have its own primitive notion of proofs and proof checking. Many tools are like this: Dafny is one, I think, as is Why3, and the Alive system for checking the correctness of LLVM peephole optimizations. They simply trust Z3.

It's also used in lots of other things that are not "verifiers" as such. For example, to find new compiler optimizations by superoptimization: https://arxiv.org/abs/1711.04422 (And sure enough, if you search the paper for "Z3", the first hit is a paragraph where the authors describe that they once had a miscompilation due to a bug in Z3.)
> I had the idea of a journal for research failures/dead-ends

A bit like the Journal of Negative Results in Biomedicine, the Journal of Negative Results — Ecology and Evolutionary Biology and the psychology Journal of Articles in Support of the Null Hypothesis?

> several phd undergraduate friends

People doing PhDs who are simultaneously undergraduates?
I wouldn't lose anything if Facebook disappeared, since I don't use the site all that much.

As for Twitter? Well that'd be a bit more of an issue, though I'd probably move to a competing service like Mastodon/GNU Social or Gab.

Still, I'm not exactly a social media addict, so I guess it'd be more interesting to hear what'd change for those.
Here's a project for the holidays, provided you have a SUN Type 5 keyboard and an Arduino Pro Micro lying around. When you're done, you'll have a fully functioning keyboard :-)

Happy holiday hacking!
What network do you use? Are you popping every page? What is the nature of your content?
Ask HN: How to subscribe to HN questions?
I started loving Ask HN recently. but there is one problem I'm facing, I want to get notified whenever new comment/reply/answer is added. Any idea how can I achieve this. If I want to build my own subscriber how can I go about it?
Great reference. Thanks! Do you think those same things hold true 10 years later?
multimedia, rich/extensible data types (called blades?)

Yeah, DataBlades. I too was burned by them in the 90s.
How one ClojureScripter writes JavaScript (2015)
Government solves this for you by removing access to healthcare, so the old poor die faster.

Lower life expectancy solves the pension issue easy peasy....
You're missing one important detail: the reason the agreement is 'voluntary' is that the Government threatened to force ISPs to do it through law if they didn't volunteer.
Not sure about slowing down, but I'm afraid to update my mid-2012 rMacbook anymore. High Sierra crippled my external 32" monitor earlier this year; I spent a whole weekend downgrading it to El Capitan. Now my bluetooth devices stopped working right after Security update 2017-05 last week.
Proper biogas. Mostly from their sugar mills, the biggest in central america.
You're assuming you'll be the attacking side.

Compare with a story of a real country not so long ago. A large power invented a false reason to start a war, and then suddenly the country gets bombed all across the territory, and few days later there are shock troops in the capital. Total death toll of citizens of this country is, to date, around 0.55M [0].

Were you living there, I'm not sure you'd have time, or capacity, to "go camping until it all blows over".

Now this situation - and a bunch of similar ones in recent years - only reinforces the perception that if you don't have nuclear weapons, or don't have very close friends with some, you risk being abused or outright invaded by the larger players. It's actually no surprise NK is so aggressive in their nuclear program.

--

[0] - I'm counting the 0.37M of those who opposed the invasion and 0.18M who switched sides.
Your paragraph about they "literally don't know how people use their system" seems obvious to me that you must be a 10x mega developer with insider knowledge. Idealist programmers, you're right! Async await offers NO benefits and was implemented in es6 as a mistake... probably corporate bullying.
Calculate time based on city
Wow! Good catch. Do they have another product geared for that market?
This one (new) [1]. Note I'm from EU, so I bought it from the iFixit EU store located in Germany. Delivery took a few days during Black Friday peak. Little bit more than half a week IIRC.

When I first checked earlier this year they weren't in stock, so I asked when they'd be in stock which was soon. Once they were in stock I lacked time IRL so had to postpone order. Hence I only replaced it a good month ago. Had to order some kit and accessoires to open up the machine (was on sale during Black Friday) including the magnetic project mat which you can use to group the screws (you can add notes as well on it). 10/10 recommend that! (I'm not affiliated btw.) I recommend to just check the guides. They're good, and if you need help you can ask questions over there. The people there are much more knowledgable on this subject than I will ever be.

Only bad thing is that the guide told me to not worry about disconnecting the iSight camera. I managed to break that cable. That was during thermal paste application guide though; not battery replacement. The other disconnections of cables all went very well or flawless. Nothing broken in these departments. In a way, no iSight is a plus anyway.

[1] https://eustore.ifixit.com/en/Parts/MacBook-Parts/Macbook-Pr...
Hi all.

I've implemented small React based app (without using classes), which calculate time based on city you provide.

I would like to know your opinion.

Here's the repo: https://github.com/pito-svk/gettime

Thanks,
Peter
falls down "slightly"...
DUAL-SCREEN CLAMSHELL DEVICES WILL KILL THE TABLET
That article contains one of my favorite lines of all time: "Entitlement is a straight line pointing heavenward"
Reading the headline made me think it was a Backlash against Piped Piper Music...

... which as proven by the Red Hot Chilli Pipers, is awesome.
> If you have line-of-sight to this “supernode” in downtown Manhattan

Isn't the point of mesh networking that you only need line of sight to someone else on the network who has line of sight to someone else (etc) who has line of sight to the supernode?
Kotlin as well as a less radical departure from Java.
Rudolph, why is your nose so bright? Scientists at Johns Hopkins have an idea
Xamarin is built on top of Mono. The same applies to Unity3D.

We're sharing more and more code with .NET Core now so there's convergence happening but there are still pieces that are unique to us.

Disclaimer: I'm working on Mono for Xamarin/Microsoft.
In the case of at least medicine, there is another degree of hardness involved: sample size. While in physics, for example, sample size is limited by cost, space or, in few cases, frequency of occurrence, in medicine, a lot of studies are limited in size because of ethics. Many studies, especially drug trials, have an risk for at least one group. It is unethical to put more people at risk then absolutely needed, so studies are normally designed so that signal-to-noise is the minimal viable.
Google Slides.
My 2011 iMac was quite fast until upgrading it. Now I can’t open anything without waiting 10 seconds at least. It’s been painfully slow since the upgrades.
You should read the Snowden papers (or was this some other leak? I’m getting so confused by all the leaking). They have two methods: first a device at the location dumps most of the traffic they don’t need like porn or torrents. The remaining data can be reencoded to look like normal https or ssh or whatever and sent through a third cable to another main network location. The data can also be stored locally and retrieved.