skysight-inc/HackerNews huggingface dataset:
Ask HN: Easiest Way to Verify Location?
I'm interested in creating a product (e.g. something that works with Meetup.com) that would require us to verify they went to the meetup location. This should be as seamless as possible for the user, preferably without them downloading a new app.

How could we:
A) allow the meetup organizer to ping phones to verify the people that went to the meetup

B) use Google Maps to allow users to give us a one-time ping of their location

Edit: We'd essentially reward the organizers for getting people to show up. We want it to be as difficult as possible for them to game.

Much appreciated
> If you expand your definition of English to include the largest English-speaking population in the world

If you were trying to refer to India, you missed. They are estimated to have less than half the English-speaking population the US does. (And a negligible number of first-language speakers.)
Ask HN: What blockchain projects are you or your company working on?
Through the Looking Glass-2020 Edition: Trends in Solid-State Circuits (ISSCC)
As a kid I had 0 freedom to do anything due to lack of money, space, and privacy. As an adult I dive deep into my hobbies outside of work, specifically music, and refuse to let down the inner kid by being uninteresting or not fighting for work/life balance.
anyone read this case study of social data for social good? no reviews yet.
I loved TFA's callout to HyperCard, like your own argument about spreadsheets being "flexible generic tools".

I feel like IFTTT is approaching the same level of utility, though it exists in a space where it's incredibly vulnerable to change against its users' interests.

A few more tools like spreadsheets and HyperCard, and a whole lot of people with home-kitchen level of software competence, could free us from a lot of expensive restaurant dining. And we'd be more self-sufficient, to boot.

What's it take to get HyperCard back? Or something like it? Not just functionality, but ubiquity -- being a tool that every kid is one click away from, nothing to install, no permission to ask, just start learning...
Was running water exciting at the time or more a practical improvement as with the modern examples?
That was one fine article. Thanks for the link.
That's one thing I disagree with in the original post. Like you, I created my own Anki deck and I'm convinced it's a better way to learn.
Categorical Combinators for GraphViz in Python (2020)
Lol I feel that, I still haven't even launched 1 rocket. Very close though!
Apple's Next Target: Facebook
Keep it simple. Have a sign with a QR code to check in.
Do you want to learn? If so, here’s some advice.

1. Start with an “easy” cookbook. There’s a whole genre of cookbooks for people starting out in their own or newly single dads. One of my first was “Dad’s Own Cookbook”, which has decent recipes that aren’t a huge production. After that, get the “Joy of Cooking”, which has a huge number of recipes from many cuisines. Also, take a look at Julia Child’s “Mastering the Art of French Cooking”. You may not be interested in many of the recipes (e.g., aspic) or even French food, but I found it very helpful to see how a “master” recipe could be forked into many different dishes.

2. When you make something for the first time, follow these rules.
- Read the ENTIRE recipe carefully before you start.

- Follow it exactly. Don’t substitute anything or “add your own twist”. You gotta eat every day, so you’ll get a chance to do that soon.

- Prep everything in advance. Dice the onions and put them in a bowl. Open up the can of tomatoes. Peel the carrots, chop them, and put them in another bowl. Measure the spices out into a shot glass. Yes, you will have to do a few more dishes. Yes, you will have some dead time while the oil heats up or the onions soften. When you’ve more experience, you can start interleaving things but in the meantime, you’ll avoid burning things while you learn how much time and attention various things take.

- Clean as you go. Having a cramped, cluttered counter stresses me out and often leads to mistakes.

- Try new recipes out under low-stakes conditions, not when you’re hosting your boss and girlfriend’s parents.

3. Get a decent knife and learn how to use it. You don’t need a $500 Japanese Santoku, but get something decent and keep it sharp. There are standard ways to dice an onion (etc). Do them smoothly first and the speed will come. If you’ve got friends in food service, they might be willing to help. (Exception: tourné is fairly silly)

4. Have fun and don’t take this too seriously. If all else fails, just order pizza.
About six months ago I came across Huginn [1] for the third or fourth time and finally decided to give it a shot. I've absolutely loved it so far! The docs aren't always great for each agent, but I've never struggled for too long before figuring it out. I'm currently using it for:

* Scraping HN search for new appearances of projects I work on, and immedietely alerting me via email.

* Checking the frontpage of HN for topics I'm interested in, and adding it into my daily digest email.

* Pulling in Commit Strip and XKCD comics when they're posted and adding them to my daily digest email.

* Sending me a notification in the morning if it's going to rain.

* Giving me and my friends the cheapest flight price for a group holiday we're planning. It scans google flights daily so we can watch it tick down over time and decide when to buy.

* Sending me notifications if there's a significant drop in the currency for the country we're going to so I can purchase some at the best price.

* Adding the names of people who RSVP to my wedding into my daily digest email so I can keep a pulse on the final guest list.

Hopefully I'll get a few more ideas from this thread as well!

[1] Huginn - https://github.com/huginn/huginn
It appears some people haven't understood my comment so I will attempt to explain it more fully.

First let me be clear that this comment only relates to the parent's statement "A program could also be implemented in a safe language where the defined semantics rule out RCE." It is this claim I take issue with, not anything about the original post, which I haven't looked at in detail. Spark allows contracts and pre- and post- conditions to be defined on procedures which together may amount to encoding a spec for the application into the source code. It may then be possible to prove the implementation correct relative to this spec. But that's very different from saying that the defined semantics of the language alone (ie. without the spec which must be provided to the verifier one way or another) prevents RCE.

Now to substantiate my claim that the semantics of a general purpose language cannot alone "rule out RCE".

1) A general purpose language may be used to implement a program which provides an RPC (remote procedure call) mechanism, whether open to all or restricted to a set of authorized users.

2) A program written in a general purpose language may implement an interpreter for its own, or some other language, such as Scheme.

3) In the absence of a formal spec nothing prevents the programmer from implementing an RPC call which takes a string received from the network, with no authorization/authentication checks, and runs that string through the program's scheme interpreter. This constitutes RCE by any definition I'm aware of.
Ask HN: Personal Dashboard?
What frameworks or services do you use for personal dashboards? Something to keep all of your tasks, goals, financials, etc in one place. Something with api integration for other services like Mint, Todoist, Evernote, etc. Does such a thing exist?
I use it to get notified for specific keywords in some RSS feeds, and I get notified over Facebook Messenger when my alarm system is enabled / disabled (no control of it through Messenger)

I also use it to trigger IFTTT from some local system events via webhooks and curl (ie: my server finished downloading something)
Modern flat screens are actually far more simple than the TVs of yore; that actually makes them more difficult to repair. You will typically have a power supply (and if not an LED backlight, then a high voltage one as well) and a "T-Con" board, which usually has one honking big SoC on it which is both Vendor and TV specific. There isn't that much to repair aside from the power supply, and honestly you don't really need a schematic for that to repair it.
If you're interested in french podcast I can highly recommand the French public radio network Radio France. I'm pretty sure they're available anywhere in the world and they produce tons of contents (music, news, science, cultural podcasts) and all of it is available on replay for free.

France Inter is the main radio station, France Culture the "intellectual" one and France Info the live news radio.

Also the best music in the world is on FIP.
I like thinking about coding with these type of metaphors. Coding, imo, is more like a puzzle. I get cooking but it's a bit too abstract for something as deterministic as most coding is. I do see it applying to the experimental side.

Relating to puzzle...

- Design: you "know" what you want your outcomes to look like
- Software: you "know" the type of pieces you're dealing with (there can be variants)
- Compile: pieces can only fit to exact tab/blank structure(per piece variant)
- Iterate: your entire design is systematic. In complex puzzles, your early decisions can greatly alter future state. How you progress and build in later states is important to.
- Can be good, eg like puzzle-solving strategies that are very specific in the beginning, but enable rapid/seamless building in the future.
- Can be bad, eg it may seem like you're mostly complete in the later states, however, there are holes and holes left ignored are a liability for the acceptable state. You might find that you've incorrectly placed pieces that seemed viable in the past, but leave you in conflicted situations in the future.
Not a daft question at all. There're probably a range of factors.

From Ben Goldacre's paper[0] pharma industry sponsors are more likely to be compliant than non-industry sponsors, and sponsors of large trials more likely to be compliant than sponsors of small trials. This may suggest that it's partly a matter of human resource to actually compile the data and report it onto the public websites in question. Here, I'd also consider Hanlon's razor - busy people with other priorities, rather than nefarious hiding of important study data.

One point to recognise is these analyses (there are several sub-sites running [1]) explore reporting of the study results onto specific public-domain databases, per FDAAA (or other) requirements. However, it's possible that results may be reported via other routes (poster or presentations at congresses, or publications in journals) - and this might be driven more by positive results than negative. I don't think the study methodology would catch examples which had been publicly reported, but via the wrong route. (These cases would still obviously be non-compliant, but maybe less of a shade of grey?)

[0] https://www.thelancet.com/journals/lancet/article/PIIS0140-6...
[1] https://trialstracker.net
You’re not disrupting anyone other than the already hard hit.

You’re not impacting the companies they perform this surveillance.

You’re not impacting any individuals other than the minorities that need these devices to function in a society that is already inherently biased against them.

So basically you’re protesting the existence of deaf people. Good job.
That's great, but we don't want to allow them to game the system. The idea is that they're rewarded for having people show up.
In a study that was done by the guys at Manager-Tools, they found out that a 1o1 every 4 weeks is worse than no 1o1 at all.
Have they improved the beginning of Seablock? The last time I tried, the beginning of it was so glacially slow that it didn't really feel fun.
http://trialstracker.net/
I've cooked lots of tasty, nutritious food in half an hour, and I rarely spend more than an hour cooking. I can only dream of a world where I could write an app in an hour that would be as enjoyable to use as the food I can cook in an hour is enjoyable to eat!
Production is absolutely important, but harder to do. I talk to 3 French people every week, 30 minutes in French in exchange for 30 minutes in English. I also have conversations with myself in French (like a schizophrenic). Where I have been lazy is writing. I need to write more and get it corrected.
Open-Source Electric Paramotor
> I mean, there’s a lot of things JavaScript should get heat for, but this really shouldn’t be one of them. This is inherently an issue with any language that has floating point numbers.

This is mentioned in the paragraph that is immediately after the text you excerpted.
The author definitely benefits from French and English being related languages. Remembering that "interesting" is "intéressant" takes a lot less effort than remembering it is "おもしろい".

I studied Japanese full time for a year and would probably average something like 20 word a day but even that was pushing it. I advise people to aim for 3-5 words a day and be consistent. Adding huge amounts of words very quickly and then giving up on reviewing them is all too common.
I think the hardest part of an app is distribution, sharing, etc (I am not talking about being popular, but signing the app, upload to a marketplace, etc). I think theere could be an analogy about cooking for yourself in your ktichen (developing local, the app works on your phone), or cooking for a lot of people in a enviroment which you dont know (a friend's kitchen, etc). You know that i fyou don't use your utensils, or your favourite pan, or your hoven (you know exactly the times and temperature), it won't be the same.
True but, there's a pass or fail element to the whiteboard interview.

I'm mostly arguing that some form of quantitative metric is better than a conversation.

The place with the most leakage is architectural interviews.
One in four renters spend half of income on housing [pdf]
But in order to make it work you would need all the programs to start using the CLR. It's all of nothing. And if one of languages stops being supported - e.g. not receiving bindings for new libraries - you need to rewrite whole codebase to something different. In case of the "high level" language you just need to transpile it to one of the supported languages and continue development in the output language.

> designing something that is the least common denominator between all languages

My vision is rather finding some patterns, higher abstractions in various languages: e.g. imperative loop summing squares of all odd elements is semantically similar to filter -> map -> fold functional chain. Building whole language on such patterns will definitely be hard, but I believe it is possible and worth pursuing.
Your edit is basically what the article talks about, not what you ragged on it for.
Do you have examples of the types of "formulas" that you wanted to execute?

Also, how would one execute said formula?
You're right that the industry should do better than it does, but the evidence shows that non-industry sponsors are actually worse at compliance with these reporting rules, than industry sponsors. [0]

[0] https://www.thelancet.com/journals/lancet/article/PIIS0140-6...
This is often true.

It's also often true that 1-on-1's are people doing something they are required to do, targeted at quota fulfillment, where there's not actually an opportunity for either side to influence a situation at all because it's just a big chain of fulfilling requests from higher up a chain.

I had mandatory 1-on-1s at a call center doing outbound cold calls for things like FoP fundraisers, a job that couldn't actually be done cheaper legally, where the organization didn't have goals other than maximizing profit, where no one I interacted with were anything but cynical about the job and where there wasn't value to be found in getting more invested in it. My managers were explicit about them being bullshit mandatory 1-on-1s mostly geared at pressuring employees to close more.

Guess what: lots of places are like that.

important to know your contexts.
> there is always risk in any hardware rework

I get your point, but isn't it ultimately about money anyway? If they can wire a plane correctly when they're building it, they surely can rewire a plane later - they might have to remove more stuff, worst case scenario reverting the plane to the same state it would be for an original rewire, and I suppose the reason they don't want to do that is money.

I can't understand the decision to "ship" with a potentially catastrophic failure that would cost many lives otherwise. I don't think this should be a dilemma. IMHO the two sensible options from a regulator point of view seem to be "make the plane safe to fly, and if that's expensive, tough luck" and "don't fly the plane".
Only neckbeards care about Ramanujan.
Is there something to be said or considered for the fact that the wires are in a dynamic system that might vibrate or chafe away insulation? I feel like that's a big part of the consideration in the separation criteria here, but I'm not an aviation or electrical expert at all.
Nah, I am aware of how broad the Spanish language is, but these were basic mistakes that wouldn't be correct in any dialect. Kinda like how Americans might not know British English vocabulary, yet they know at a glance that "me will spoke English afternoon this" is not correct anywhere.
> As far as I am aware, support is non-existent outside of Ubuntu and OSX, so it seems limiting compared to, say, C.

If it works on Linux, why would it need to work anywhere else?
Check out Agenda, MarginNote 3, or Zotero
An arbitrary write primitive in the chrome render process hasn't been game over for quite some time.
It is really cool, indeed. Bravo for the creativity and the effort.
Facebook recently acquired a company called ctrl-labs that develops a neural interface. Their vision is making computer interface more natural.
Bertolt, in the video says “The thing is for me, that is such a natural thing to do, I do not really have to think about it. I just do it, it is zero effort.”(6.23) I love that, I hope we can have such computer interfaces in near future.
The rules are based on certain models of assessing chances of malfunctions like shorts.

Boeing is claiming that the service time of their wiring setup is sufficient evidence to justify an exception to applying the harsher model.

It is not an incredulous claim, and not a trivial dilemma.
It's still in pre-order status for the current batch.

I'm interested in PPG, but not enthused about burning 2-stroke oil, so this sounds cool. XC might be limited unless there were a bunch of chargers and way to split up the batteries.. and compared to the energy in the US legal limit of FF of 5 gal / 19 L ( 30 lbs / 14 kg ) which equals ~2 hours of flight time.

Energy storage: An 18650 Li-ion cell weighs about 0.1 lbs, so 30 lbs for "gas" and 50 lbs for the less mass of the motor, which would be about 6.5kWh (80 * 10 * 3.7V * 2.2Ah). 10 cells provide a minute of thrust time, so 80 lbs (36 kg) would be 80 minutes of flight time. Battery packs are in 20 cell increments at the smallest, not sure what XsYp. Not a huge loss in flight time, but in refueling vs. recharge time (2-3 hours for 0.5-0.3C charge won't win any XC races).

Also, there's:

- no torque-rolling because of the 4x symmetric blades

- no worrying about restarting

- redundancy of multiple props

- ability to save energy by engine-off coasting whenever

- lighter rig

- less messy: no adding 2-stroke oil or doing 4-stroke oil-changes

Let's say electricity costs 20c/kWh and it takes 10kWh to recharge, that's $2.00 in electricity vs. $12.00 for gas ( equivalent of 3 gal of premium or 100LL costing $4). The only thing would be carrying around a couple of chargers and finding power, but there's a network of free EV places (PlugShare) and FBOs w/ power at no-tower airports (I would leave $5 for electricity).

Seems like a no-brainer to go electric unless doing XC races in a general (FF) race class. It would be cool if PPG XC races had an electric class.
https://news.ycombinator.com/item?id=12027092

Around the time leading up to the TCL war, Lua was peacefully and quietly born in a manger at the Pontifical Catholic University of Rio de Janeiro, Brazil:

"In 1993, the only real contender was Tcl, which had been explicitly designed to be embedded into applications. However, Tcl had unfamiliar syntax, did not offer good support for data description, and ran only on Unix platforms. We did not consider LISP or Scheme because of their unfriendly syntax. Python was still in its infancy. In the free, do-it-yourself atmosphere that then reigned in Tecgraf, it was quite natural that we should try to develop our own scripting language ... Because many potential users of the language were not professional programmers, the language should avoid cryptic syntax and semantics. The implementation of the new language should be highly portable, because Tecgraf's clients had a very diverse collection of computer platforms. Finally, since we expected that other Tecgraf products would also need to embed a scripting language, the new language should follow the example of SOL and be provided as a library with a C API."

http://www.lua.org/doc/hopl.pdf
The FAA and its sister agencies around the globe are very good at root-cause analysis. Where a single fault could cost many lives, there's strong incentive to follow any failure all the way back.

I'm guessing that your systems don't experience anything like airplane levels of vibration, or have anything like airplane numbers of fatalities if the controls fail, yeah?
Impressive stuff, this will be massive for archive efforts. I am still yet to find a good performance emulation experience for the Play Station 2 console.
They've grandfathered other parts of the aircraft design that aren't nearly as controversial, so Boeing's argument, while predictable, has a little more merit than it seems at first.
It's not just a mismatch issue. For example, I expect Shift + arrow keys to send unique sequences so they'll be differentiated from just plain arrow keys. PuTTY doesn't do that, nor does it provide an option to do so.
Did you read the entire article? The author says that floating point math is both 1) fine 2) not the cause of the issue under discussion. Floating point is a tiny digression in a much larger piece.

> Floating point arithmetic might be weird, but it’s very consistent and well-specified: the IEEE 754 specification is rigorously implemented. So it’s not arithmetic...
Even NDAs can't put cats back in bags.
Doubles give you around 15-16 (according to DBL_DIG) digits of precision, don't they?
I had listed examples, ranging from NYC subway gripes, double doors where one door is locked and the handles are ambiguous, cell phone gripes, google maps, windows, etc, but there is no space for it in this post.

You can add a complete list as a comment. Please?!
Stripe? Not sure if they can become as big as Google though, the payment space is rather well served already (but who knows). I plan to buy some of their shares in any case.

Maybe Starlink? Satellite based Internet access and communication services could be huge and it’s a truly global business with so much potential (e.g. Africa has so little bandwidth now and so much economic potential). Right now it’s absolutely niche because of the delay and the extremely high cost, but fast and cheap global Internet access via satellite could be a real game changer. Seems like there are many use cases that could benefit from such a service as well, think alone of all the connected devices like cars that need a reliable Internet connection. Plus they are in a good spot since their ties to SpaceX ensure they’ll have some of the best access to price-efficient launch capabilities.
It doesn't work, though, as I've already explained elsewhere in the comment tree. It works in naive examples, but fails to clear at the correct time in more complex situations.