skysight-inc/HackerNews huggingface dataset:
and also selling that software
Addendum: there's also a definition problem with "lecture". Pretty much any educator will tell you that they encourage---actively wish for---questions from and conversations with students during a lecture. Passive lectures without interaction tend to happen mostly in giant lecture theatres. In that case, the problem isn't lectures: it's class size.
I've worked with common lisp, clojure, python and javascript, and common lisp debuggers are just hands down better in everyway. Check this series for what should be a basic debugging experience by now http://malisper.me/debugging-lisp-part-1-recompilation/
Google Is Developing Technology for Snapchat-Like Media Content
In a stable atmosphere, all the various effects cancel out.
Ray Kurzweil reveals plans for ‘linguistically fluent’ Google software
it's unclear what "creating" entails. If I write a crypto library that a piece of ransomware uses did I create the ransomware?
Ash HN: What software can I write for $39 per month?
Back Story: I am a developer and I would to build a Saas. I want to build something simple that small and medium size businesses would pay $39 per month for.

I was wondering if this tread can be used as a brainstorming thread...

Any ideas?
Running 4558 Tests in 1m 55sec (or Saving 50 Hours/week)
I think that the best definition of a good CEO is that the company they run performs well (relative competitors, market).

Of course, now the question shifts to how exactly do you define good performance. But in the end, that is all that matters.
https://news.ycombinator.com/item?id=14931004
> When did it become OK to trust user agent strings for feature or device detection?

I never really understood the complaint against this. UA string detection is good enough 99.99% of the time and sure it's not trustworthy in the sense that the end user can mess with it, but so what? If the user is messing with the the string they know what they're doing.
It's actually not very interesting formulation of category theory. You can't express a category of categories, with isomorphic categories considered equal in this way. Partially, this can be worked around if we state that everything important preserves equivalence (i.e. if A ~ A` and B ~ B` A x B ~ A` x B`). Though, if you want to express this in full generality, you will need Homotopy Type Theory.

But, all in all, even formulating all this and proving theorems was a good exercise. Good job!
They are proposing a fabric chimney. For sure that has its own challenges, but shear force isn't as much a problem, from I would intuit the setup to be.
How do you start a country?
no you didn't
To really learn coq, you need to learn type theory which is hidden behind tactics. IMO, Coq isn't the best way to do so. I highly recommend starting with Agda instead.
I'm interested in making this into a framework and it's been difficult to say the least.

The high level things about a startup are very consistent and good candidates to be fit into a framework. I'm not sure but I think these are just called unit economics. Things like "Our product is sold for $X because it saves our customer Y in time". However it's the unknown, and emotional values that I've found incredibly hard to fit into a framework. I'm fascinated now in seeing if the way the finance industry calculates risk is in any way a good framework for startups to assess which features to build.

What I've found to be the hardest questions to answer...

How do I find industry metrics on an industry that doesn't exist yet?

How do I prove people will want something that they don't want right now?

How do I measure emotional value? Tactile sensation(hardware)? UX, UI, etc...

These are the things that startups often believe to be their advantage over the competition. "Our product is much more fun/easy/fast to use/learn/teach" But how do we measure that?

The most valuable exercise I've come up with is this question...

How would your user recreate your product, if you're product didn't exist and they had to piece together the end result with existing technology?

I have a startup right now that creates custom educational podcasts by summarizing publicly available content (with attribution) to generate entirely new content and sort the corpus in increasing complexity. If you searched "Skateboarding", you would get a text document that taught you what skateboarding is, then the history of skateboarding, and then get into beginner, intermediate, and advanced skateboarding lessons. This would go through text-to-voice and be downloaded to your device for offline listening.

Search any topic and you get a 45 minute podcast to listen to on your commute.

In our case, I stepped back and said "Okay... If I wanted an educational podcast on skateboarding, the first thing I would do is search Google, then Wikipedia, then I would start going to skateboarding blogs and read them one by one in increasing complexity. If I wanted to consume this content during my commute I would take all of this content and copy it into a text-to-voice service, and download that audio file on my phone for listening offline." I walked through this entire process and it took me 1 hour to get 45 minutes worth of audio content.

Peter Thiel says that your solution must be 10X better than the existing solution.[0]

Unfortunately for me, I think I will need to cut the time it takes to manually create a podcast by 1/10 and also 10x the quality of the content, which I don't know that I can do.

Tangentially, I often joke that if the problem your startup is trying to solve doesn't exist as a meme, than it's not a real problem for enough people.

[0] http://blog.hypeinnovation.com/peter-thiels-7-questions-for-...
I hoped this just affected Ryzen CPUs, but this Reddit post indicates that it affects Epyc also:
https://www.reddit.com/r/Amd/comments/6rmq6q/epyc_7551_minin...

The first post on on AMD's community forum (https://community.amd.com/thread/215773?start=0&tstart=0) is almost three months old, so AMD have known about this for a long time. If it's not something that can be fixed in a UEFI update, then it's bad news for everyone: a weakened AMD means more stagnation in amd64
> Hutchins is accused...

i thought it was pretty clear
The first thing about the value to the user and then build the technology to scale. Technology supports an existing business, not the other way around.
Gah.. I hate the ternary operator.

Not that it's necessarily a bad thing in and of itself, but every time I've come across it in code, I've ultimately had to yank it out because I've needed to support an additional possibility. I don't get what value it really supplies, and it seems like people are really fond of using it in the wrong places.
DataGrip is awesome. Only complaint is the subscription model.

The nice thing about DataGrip as opposed to PG tools listed above is SQLServer support. (Sometimes you don't get to pick the database you'll be working with).
I don't think it's just the moderators, there's also an incentive problem because a popular question/answer has no limits on its point-payout.

This leads to a kind of popularity gold-rush pattern. Hard important stuff languishes while easy stuff is has a glut of volunteers.

I'd be interested to see what happens if questions and answers only gave up to a fixed limit of Internet-points to the authors or contributors. Would it lead to a broader knowledge base?
Clay: gesture recognition with a normal phone and no additional hardware
> UA string detection is good enough 99.99% of the time

I don't believe you, show me the data to back up such assumption.
History doesn't really operate on "well you don't know for sure". The Romans describe the celts as light-skinned and blonde. Modern people with Celtic ancestry are also light-skinned. There's absolutely no evidence to suggest they were anything but.
Concerning the books on the topic, I highly recommend this: https://www.amazon.com/Verified-Functional-Programming-Agda-... If you want to get into the math related aspect, read this: https://homotopytypetheory.org/book/

There's also an annual summer school on the topic which has downloadable videos available: https://www.cs.uoregon.edu/research/summerschool/summer17/
Ah, I misunderstood. I believe you're correct about that -- I always get the opinions from ScotusBlog, and admittedly have never looked for the opinion delivery audio.
These geoengineering proposals should be understood as mitigation strategies to be implemented after we have reduced carbon emissions, since even then we still have a problem. But this one seems very dubious.

>Speaking in terms of thermodynamic, we can say that chimney prevents adiabatic cooling of a rising parcel of air. Normally, when hot air freely rises in atmosphere, it expands as it gets higher and pushes the surrounding air. That causes surrounding air to heat and rising air to cool. That process continues until equilibrium is reached. At that point air stops its ascending. Unlike freely rising parcel of air, the air in the chimney is restricted in its horizontal expansion and thus, it is not free rising. When air rises in the chimney it also expands but only into upper direction. It compresses the layer of air above it, heats it up and loses its own heat. At the same time air below does the same thing. And thatâ€™s how it goes all the way until the chimney exit: layers of air are being pushed and push themselves. That results in maintaining the same amount of heat in every layer of air, and that is how the chimney works.

This explanation ignores gravity. Air above you exerts more pressure on you than air below you, albeit by a tiny amount. But when the only thing moving is air in a 5-kilometer chimney, you can't get something for nothing. For intuition, just imagine the chimney is full of water. The water at the bottom is obviously under more pressure than the water at the top. The chimney faces the same consideration, but the ideal gas law applies.

Furthermore, the equation used in the "Calculations" section:

>q = Π dh2 /4 [ (2 g (po - pr) h ) / ( λ (l pr / dh) + ∑ξ pr ) ]½

is sourced from this website:

http://www.engineeringtoolbox.com/natural-draught-ventilatio...

which rather obviously works from the assumption that the chimney is placed inside of a heated house.

This all seems to be a sort of Sokal effect in climate science, I'm afraid. The paper 'SubiculumCode cited does not really analyze the thermodynamics used for the chimney and points more to the unrealistic dimensions (1 kilometer diameter and 10 kilometers high).
Totally agreed
I bet we'll hear about finger based sound conductance too.
A Wacky Waving Inflatable Solar Chimney!

It kind of lost me when they started talking about the expected power output, though. A kilometer-tall tower seems like a very expensive and fragile way to generate ~200MW, compared with solar panels. I guess if you're primarily using it as a climate-engineering system, though, the free power is a bonus.
Also, TMO offers unlimited data roaming, and $.20/minute calling, pretty much world-wide. The data is capped at 2G speeds (that's the main reason it's slow), so it's painful for interactive web apps but more than fast enough to pull down emails or grab a public transit timetable from Google Maps, if you're patient. For anyone who travels overseas more than once or twice a year, this is a godsend.
I would absolutely own an electric vehicle if I was part of a muti-car family. But, until electric is as easily and quick to refill on as gas (long road trips, etc) I would not own it as my only vehicle.
Sure, you can potentially exploit the differential with other sorts of devices. But you can't do it using the same fluid that already contains the temperature difference, and attempting to use that temperature difference to drive motion in the fluid.

A generator that runs on heat differentials works by transferring heat from hot to cold and arranging it so that transfer does something useful. In a stable atmosphere, air rising through an open tube doesn't transfer heat, because it cools as it rises at the same rate that the surrounding atmosphere cools.
Okay, but it still seems strange to claim compiled-ness as some sort of intrinsic property of a language.
It's almost like you shouldn't trust people with narcissistic personality disorder with your money or nuclear launch codes.
A black shinny ceramic casing would solve it.
You see how this can be problematic given the global nature of the internet

You seem to be thinking that there's some sort of old sci-fi robot here that if you present it with a logical contradiction it will start yelling DOES NOT COMPUTE and its head will explode.

I suggest you stop thinking in those terms; laws don't work like computer programs, and the sooner you understand that, the better off you'll be. Legal frameworks can deal just fine with contradictions. And, yes, a sufficiently-malicious government could pass combinations of laws designed to force someone to commit a crime.

Yet somehow the world continues to work. And if there's a foreign jurisdiction with laws sufficiently odious to your business, well, you just stay home. Typical extradition treaties require that the alleged act be criminal in both countries in order to extradite for it, so as long as you stay in a country whose laws match what you want to do, or which has no extradition, you're good (this also is why so many criminal hacking cases are dead ends trailing off into countries that won't extradite to wherever the victims were, but this appears to be the outcome you want).
Too bad it doesn't work with npm 5..?
AMPUTEES DEFY THE ODDS TO PLAY FOOTBALL ON CLUTCHES
tcc ?

https://bellard.org/tcc/ has:

C script supported : just add '#!/usr/local/bin/tcc -run' at the first line of your C source, and execute it directly from the command line.
Show HN: Python BDD Morelia
Richard Jewell was not indicted for anything.
Lean hits a really good middle ground I think. More resources for Agda probably. But I'm very fond of lean ;)
The only company that has a greater advantage at this game is Amazon's Echo. Echo is like a smartphone without a screen. It is the future of smart phones. And because it has a headstart on the voice game, an Echo watch would probably be the next best thing.

An Apple Watch with a small screen is a misfire and a watch that works standalone is somewhat missing the point. Watches were supposed to be remote control devices for our phones. Nothing else. This move feels like a cheap limited feature phone, not the future.

Edit: Maybe I am missing the point. Imagine a standalone watch that broadcasts wifi signal. Now imagine a thin ipod touch on the other hand piggybacking on the watch. That would be like reimagining the future.
Chlipala's book is a decent one, but it's oriented towards software verification, coq, and the use of tactics (which I would consider anti-pattern).

Software Foundations is a good introduction to Coq and proofs, but overall is quite basic, and it also hides many details of how type theory works, so it's more of a hands on tutorial.

TLA+ is just a tool which basically does its job by exhaustively searching a space of possible solutions trying to find counterexamples. It works in some limited cases but doesn't work generally for any mathematical theorem.
I like your idea. Do you have contact info or web site? Or shoot me an email, my contact should be in my profile.
> I think Steam is an easy example of a service which does it right: Many people (usually in different social circles) can use the same name, you can change your display name easily, other people can see some previously-used names, and you can assign custom names to friends to avoid confusion.

On the other hand, they won't let you change your login name, which would hint that they're using it as a unique identifier of some kind internally, which seems like a bit of an antipattern.
it never required hardware it was the same exact implementation. you hold up your phone in a magic window
As a former atmospheric science T.A., I'd give that a D for at least knowing the word adiabatic. I'd expect adiabatic cooling from air expanding as it rises up the tube. Expansion is in the vertical direction of course. Nothing magic is going to affect atm pressure inside the tube; it's the weight of the column of air above it, just like everywhere else.

I'm not so sure that the benefits of removing mixing would be significant compared to slowing from having a boundary layer all the way up. Does it work because insolation on the chimney itself heats the air inside warmer than its environment? Maybe I should just look at the paper.
> ... especially in countries with sane gun (e.g. well thought out, not let's ban everything) regulation that aren't the US.

Sanity is in the eye of the permit-holder, I suspect.

Most countries seem to rarely change their gun laws, having inherited them from various historical events (or fears of possible events).

In Australia we had a major gun law change back in the 1990's in response to a lunatic shooting several dozen people - but I don't know offhand of any other societies that have successfully re-considered their laws and attitudes towards gun ownership.
Why are you assuming that today's traditional lectures are exactly like the lectures that have been held thousands of years ago?

Most disciplines have never needed lots of theoretical preparation before someone could be put to work, so lectures weren't even necessary. The master could just show the apprentice how his apprentice how he does something, and then let him practice for a few hours.

The more theoretical fields probably started with small groups of wealthy people, which allowed much more direct interaction with the teacher. And what I have read from ancient Greek philosophers almost always involves some kind of dialogue between teacher and students. I can't really imagine aristocrats quietly listening to a lecturer anyway.

The first lectures to a large audience in an amphitheater were probably public dissections, and even there the medical students had plenty of opportunity to do the cutting themselves, under the direction of the lecturer.

The current "traditional" style of non-interactive lectures is probably actually very recent; together with the emergence of mass-education.

Your "active reading" sounds very much like the descriptions I have read of writing circles in creative writing, where students read each other's work and discuss how to improve it. It seems to work fairly well for them. Of course everyone still reads other books, but that they can do alone, while "active reading" can only be done together.

What this means for active learning is that when classroom presence is used for interaction with other students and the teacher, while students who need lectures watch them on their own, this is no indication of failure, but the system working as intended. (Except having to pay for lecture videos. Those should be free.)

The whole point of being in the same room is the possibility of interaction. If the lecturer is just going to rattle off their script while flipping through the slides, I would rather watch that on video where I can set 2x speed until the hard part starts.
Well that's interesting. I checked around a bit and tried a few things. Seems that SQLite doesn't support LATERAL joins, but you can get the same effect by putting the subquery in the JOIN condition[0]. I'm not sure if they're exactly the same and you can do all of the same things, but it worked for the quick use-case I came up with:

select a.username, p2.*
from accounts a
join posts p2 on p2.id in (select p1.id from posts p1 where p1.account_id = a.id order by p1.score desc limit 2);

[0] https://dba.stackexchange.com/a/100850/
layar was an api anyone could have built ar apps with
Air will accelerate as it moves up the tube, but that doesn't do anything useful for us. If the pressure drops in half then your speed will double, so a 1m/s inflow produces a 2m/s outflow, but you can't exploit that to produce energy. Or rather you can, but only by slowing the flow. You'll either slow it to a stop, or you need a source of heat to keep it going.
OTC Trade Group: Blockchain Smart Contracts Could Spark Interp. Challenges
Lean is very interesting, but Agda and especially Coq has more learning resource, so for the beginners it's probably better to start from them, even though, in some sense Lean is more modern.
"White hats" do not in fact routinely sell software intended almost solely to harvest financial information from botnets.

People on this thread have a lot of strange ideas about what infosec people do in their jobs.
As fattire proposed in another comment

> How would the Lo people feel about a simple redirect from Oo.o-> Lo.org w/some kind of banner welcoming users, and some kind of upgrade path from Oo->Lo?

That would be a better option, IMO. LibreOffice not being well known would be helped if such a move were done. Changing the name of LibreOffice to something else would be a longer marketing exercise, and if LibreOffice does want such a change, I'd rather have it become something entirely new with "Office" as a prefix or suffix than using the name OpenOffice (I personally don't like it because of the history associated with it).
An aligned word won't span a cache line. So any aligned 64-bit or 128-bit word is always wholly within a single cache line.

But two 32-bit words can span a cache line if the first isn't 64-bit aligned. So what you're doing relies on hardware supporting atomic operations not only on unaligned words, but on words spanning cache lines. Are you really sure ARM and POWER support that?
Humans (and all tetrapods) are more closely related to lungfish and coelacanths than either of those two types of fish are to other living fish.
How do you know how much they "run" the company? Perhaps they have another exec who effectively runs the company, or perhaps there are a committee of execs that run the company.
> This is a little concerning for privacy; while the filename is easy to disguise, hiding the SHA256 sum requires modifying the file in some way. Of course, this might only be a concern for uploading known files, but it's still a bit of an infoleak.

Does it matter? The file is behind a URL with a random id (and the hash expires from redis after a day). Even if someone guessed your id within a day, they know essentially nothing about your file or you. And if they had your URL, they could download the file anyway, making it moot.

> Hence the 1GB soft-limit.

Mozilla stores the files on S3. That needs a reasonable limit.
Location: Rome, Italy

Remote: YES

Willing to relocate: Will consider

Technologies: JavaScript, React, React Native, ExpressJS, Node.js, MongoDB, Docker, Git, AWS

Résumé/CV: https://goo.gl/7KF1Ya

Email: luca@eloquentbit.com
Bitwise OR is equivalent to addition, but IMHO it makes more sense to omit support for addition on bools than to omit support for the classical boolean operators supported by C++. If for no other reason than to make existing C++ code easier to port.
ORMs are good for only one thing, saving your models to the database and retrieving your models from the database for display on a single page.

Once you start using them for other things like generating lists of objects, pagination then you start hitting issues. In fact here you are better off using straight SQL and PDO to return an array of data that you format into HTML for display.
https://19216811wiki.wordpress.com/
At the moment of this reply, your comment was downvoted, and I don't understand why. People, or at least techies, when talking about free/libre open source projects, see them as double edged swords - on one side, a diversity in solutions provides choice (and better chance of it being upheld over time) along with freedom to users, and on the other side, the complaints are usually about a lack of focus, with energy and time being split across projects rather than uniting against locked-in commercial interests. From the latter point of view, I personally would prefer AOO doing exactly what you stated in the interest of "greater good".