skysight-inc/HackerNews huggingface dataset:
Ask HN: Perspectives on graph-bound logical inference
I am researching graph processing (OLTP) and graph databases for a system where semanticity is inherent.

I am currently exploring logical inference (or reasoning) (Stardog [1], GraphDB [2], Grakn [3]) and stumbled upon «The Semantic Web, Syllogism, and Worldview» (2003) [0].

Semantics aside (this system would mandate for Stardog and Grakn’s lazy reasoning rather than GraphDB’s total materialization), I am interested in practical analyses of logical inference as I find some [0] arguments to be sound and atemporal and am therefore “undirected.”

Although it does not support automatic reasoning, Datomic [4] viewpoints are welcome.
I once worked on a piece of lab equipment where I needed to fit a plate into a robotic dispenser and then click the button to "start program." I didn't want to keep switching my hands from the dispenser to the mouse so I wired up a piano pedal to the left mouse button and it improved the ergonomics significantly.
Ask HN: Old tech talks/videos? (80s, 90s)
Is there any archive containing old tech talks e.g. from 80s, 90s? When Motif was popular and CORBA was a thing and OO was in its prime-time.
Well, that wasn't really about what they thought people wanted, it was about what toolbar makers thought could get away with (or trick people into). They wanted everyone to use their toolbar filled with ads. And some unsophisticated users ended up installing 10 different toolbars.

An example from the late 90s might be the idea that people wanted intro animations and music on web sites, heh.
I used a vim config that was intuitive to me and that I loved before I used much of default vim and that's exactly how I felt... so...
Thanks for responding. Are you doing projects with any of them? Which would you suggest for a beginner?
Thanks for posting this here. I'm the author of this blog post. Feel free to ask me any questions you might have.
“We must make all cryptocurrency as we know it today illegal.” A feature of crypto is its resistance to regulation. Go ahead and try to make it illegal. It may reduce the price but the technology won’t go away. That cat is already out of the bag.

And unless I’m misunderstanding this article, what he says applies to all malware. If I’m not mistaken malware scanners now look for malware mining software.

The author is just demonstrating that he doesn’t understand crypto.
Khan academy. I also blundered my way through high school math, getting near-failing grades and quitting as soon as possible. I got super interested in it and while I was regularly studying khan academy was the best way of actually learning the material. The exercises are a bit slow but ideally you'd learn from the lectures and then supplement them with a book of just exercises.
If you care about performance use GPU shaders.
For journalists, it’s arguably part of the job. Both as personal PR, as well as cultivating sources and being well-informed. A lot of actual news does happen on Twitter these days.
Tangential: Why Okta over some other provider? GSuite can be used as an SAML provider, can't it?
That looks nice. List comprehensions, higher-order functions and arrays in a logic-based language with CLP and planning facilities sounds great. In terms of looks, I'm not sure why but it reminds me of a cross between Python and Prolog.

There's a few things that look a bit strange though. e.g.:

perms([]) = [[]].
perms(Lst) = [[E|P] : E in Lst, P in perms(Lst.delete(E))].

So, "|" is a cons operator, but can't be used to take a list apart by recursively separating its head from its tail? That's a bit strange.

Also:

Compared with Prolog, Picat is arguably more expressive and
scalable: it is not rare to find problems for which Picat
requires an order of magnitude fewer lines of code to
describe than Prolog and Picat can be significantly faster
than Prolog because pattern-matching facilitates indexing of
rules.

That's just ... no :) [Because modern Prologs index all predicats, including rules, by pattern mathing and there's nothing more expressive than FOL so].
I currently sleep in a room with zero natural light.

I can't tell you whether this makes me more or less likely to be depressed (I think it pales in comparison to other things in my life), however I do always keep a low light on -- without this, it would be very difficult to find my bearings when I wake up.

Also, it is extremely difficult to wake up when it's completely pitch-black.
I've programmed AutoHotKey on my work PC to map pressing both shift keys at the same to double click the left mouse button at the pointer's current location.
This just in: directories are pointless because you can put all files in the same one!

---

There are advantages in multiple accounts, for organization and security. Random example: adding tags to ec2 instances is an account-wide permission, for all ec2 instances. Multiple various things by 100 and accounts make sense.
Huh, that's completely opposite to my experience. Sure, I miss some niceties, but I can't say that I am anywhere close to baffled or confused by a default setup.
You could to that in the server level (not the app level); e.g. in the .htaccess file for apache users.
Could be made a lot cheaper if you didn't use a raspberry pi
Ask any long-time DVORAK user and they'll tell you how hard it is when faced with a standard QWERTY.
There are several amazing suggestions in this thread already.

I'll toss in vote N+1 for "How to Solve It" by Pólya: once you get past the hurdle of just understanding notation / language and some of the basic concepts, mathematics becomes much more about problem-solving.

Aside from that...

Oliver Byrne's Euclid: https://www.math.ubc.ca/~cass/euclid/byrne.html - a graphical treatment of Euclid's Elements. Much, much more accessible than earlier renditions, and a great introduction to methods of proof.

Vi Hart's videos: https://www.youtube.com/user/Vihart - she does a wonderful job of conveying the wonder of mathematics in a clear, informative manner.

A Mathematical Mosaic: https://www.amazon.ca/Mathematical-Mosaic-Patterns-Problem-S... - this was one of the books that got me excited about mathematics as a kid. The material is advanced by high school standards, but presented in a way that invites you to think / learn / generalize.
How would this compare to an LDAP, an LDAP with org wide access control can pretty much enable all of this(keeping in mind GDPR & other security concerns) from just 1 AWS account ?
How are you dealing with software that expect to get aws tokens? Especially with sts AssumeRoles only lasting up to one hour?

For example, if you want to run the Athena JDBC driver locally or read something from S3 in a longish (>1h) running Python script.
"Although we can be fairly sure that blockchain will not unseat TCP-IP..."

Do court intellectuals lack clue by nature or does their position as court intellectuals impose their lack of clue?
ICO Advertising Has Been Cracked Down by Google – Anecdotal Reports
1. The author does not acknowledge the existence of non-POW crypto assets.

2. Illicit mining is easy to detect and mitigate.

3. If you can't stop it, make it illegal? Sounds hardly like a compelling argument.
This guy can be used by illegals. We should shut his body down.
What are the main differences between the three biotech websites? From a quick skim, it seems that Fiercebiotech and endpts are strictly superior to biospace for someone who is not actively looking for jobs in that space.
For entrepreneurship, bootstrapping

https://www.indiehackers.com
[0] http://web.archive.org/web/20180311022804/http://www.shirky....

[1] https://www.stardog.com/docs/#_owl_rule_reasoning

[2] http://graphdb.ontotext.com/documentation/enterprise/reasoni...

[3] http://dev.grakn.ai/docs/knowledge-model/inference

[4] https://docs.datomic.com/on-prem/query.html
People may be interested in a discussion we had about the trust-dns-resolver and some preventative measures in this area: https://github.com/bluejekyll/trust-dns/issues/347

The thing I’m most disappointed with is that because we’ve been so lax about 127.0.0.1 and it’s usage, it’s become a means of different applications to blackhole requests suchas ad-blocking networks.

Better than that though, are the applications that are using localhost resolution from public names to communicate with local versions of their applications from the browser.

The sad thing, is that because of these we can’t just make a simple resolution policy. The one I would like to be true is that only localhost names can resolve to localhost (this doesn’t require any remote resolution), and that you must whitelist private domains for private address spaces (e.g. 10/8). For localhost it’s a very simple area in resolution code to drop RData with 127.0.0.1, private address spaces would need a little more but still easy to identify when to apply it.

For now it seems that we have to rely on applications to do a better job of using things like TLS to validate the endpoints to which they are connecting and verifying that the IP is in the expected scope.
Work extremely slowly, possibly with a tutor through Principles of Mathematical Analysis by Rudin. The book lays down the real foundations of calculus and higher math. Learn the math as you come to it. Dont waste time going extensively through lower mathematics. You will get bored and life is too short for that.
It’s a column, which has lower standards than their “real” reporting. If you read any news by the NYT you must have come across corrections often enough to know that they tend to correct even the most inconsequential errors.

I would suspect that they ruled “unplugged” as a fundamentally subjective term and stopped deliberating right there and then.
I compiled hello world in Rust into wasm the other day for the first time and it was incredibly satisfying for whatever reason. New technology is fun I guess.

Note: This page isn't rendering properly on iPhone
HTTPS-everywhere, Net Neutrality, employee rights.

And of course, Rust.
>I just wonder about how actually natural a pitch black sleep is.

"Pitch black" is another thing entirely, but the moon is much dimmer than the light levels this study reports as causing depression (5 lux). And it's pretty dim (equivalent to stray light from a streetlamp).

>The intensity of moonlight varies greatly depending on its phase, but even the full Moon typically provides only about 0.05–0.1 lux illumination

https://en.wikipedia.org/wiki/Moonlight
> it has a technical beauty but it just doesn't move me in any way.

If you can listen to the last fugue in the first volume of the WTC and not be moved by how it combines math and beauty, you probably just won't like Bach. That's fine, but a lot of people disagree.
I honestly don't know of the feature parity between the two, but we are definitely Okta power-users having added close to 500 apps in the last year. I don't know if we could drive all of the same processes we have built (especially on the HR side) using GSuite.
This seems to be not generally true. MysqlDB > 5.5 and MariaDB > something less than 5.3 support index_merge in their query plans. Skimming the mysql page, this allows mysql to evaluate different parts of the where-clause on different indexes and merges the results later on. Most examples on the mysql-man page also use just a single table in their queries.
True, we can, but because Ukraine's weapons were inherited the incentives were different. The country had much to lose and little to gain in keeping the weapons and as an independent country it never had a foreign policy that required their development or use.

South Africa gave up both a nuclear weapons programme and a stockpile of six deliverable weapons, along with an IRBM/ICBM programme. That makes it a closer match to countries like Iran, albeit up to a point. Something often forgotten is that South Africa gave up its nuclear weapons as part of a general transfer of power to the black majority and the wide scale reduction of its military capability in response to the collapse of the USSR.
I recommend the excellent (and free) book from Jean Gallier @ the Department of Computer and Information Science,
University of Pennsylvania:
Fundamentals of Linear Algebra and Optimization.
Everything you need to know, all the way up to machine learning algs. Download here:
http://www.seas.upenn.edu/~cis515/linalg.pdf
Enjoy!
OP here. You _can_ do this but IAM Policy wise it is a mess and not very maintainable.

You end up needing to constantly grant and revoke access to individual resources if you went this route. Instead, it's nice to give engineers access to everything that's in their account, and not worry about IAM policies.
I use Vim on Debian Testing, and right-click paste works fine on Gnome Terminal and Konsole, but does visual mode like you find in Xterm or UXterm.
take pre-calculus and do every assignment immediately as it is assigned. then review before the next class. pre-calculus is designed to give people like you the tools to move onto the maths you want to learn.

after that, echoing another top-level comment: take calculus and physics. take 2 semesters of each.

after those 3 classes, you'll know more math than 90% of the world's population. more importantly you'll be prepared to move on to differential equations, linear algebra, and vector calculus.
A Value Investing Aproach to AR
It's good to see an article talking about this. A lot of organizations could benefit from using more than one account to enforce security (IAM is hard!) and separation of concerns.

It doesn't really explain it but to do this, the root account has to be enrolled for AWS Organization[1]. This is what is being used to handle all the accounts and consolidate the billing. It also allows to create rules span all the accounts. Recently terraform gained support for the Organization API[2] so it's possible to control the account list in a declarative manner.

The biggest issue is that now that there are a lot of accounts, the developers need a way to switch between them. Using the IAM assume-role mechanism is a good way to avoid needing a lot of AWS keys per developer.

I don't know if I agree with using Okta as it adds another party that now has access to AWS. I don't see the difference between having a AWS secret or and Okta secret in the keychain security-wise. Okta might provide audit logging facilities but so does AWS.

In either case you will need to generate a `~/.aws/config` per developer. There is also a Chrome plugin[3] that can read this file format and populate the AWS Console switch role. I don't know if the extension publisher is reputable yet as it gives a lot of access to the extension.

[1]: https://aws.amazon.com/organizations/

[2]: https://github.com/terraform-providers/terraform-provider-aw...

[3]: https://chrome.google.com/webstore/detail/aws-extend-switch-...
HTML 5 File API is a thing.
Agreed. It's like seeing "for the win" or, nowadays, "lit." Takes a juvenile turn without paying for itself in expressiveness. Same reason cussing is unprofessional.
Replying to myself to add:

So what I really need then is mouse cursor movement by eye tracking + both-shift-keys for left double click.

Why isn't eye tracking for mouse movement a thing yet?
YouTube and archive.org

"Computer Chronicles"
The other bit would be blast radius. What if someone does get access to your single account? How confident are you that your policies were airtight? By using many accounts, you create clear isolation boundaries that require opt-in sharing.
Deng did it, not China. In fact, China do not care about constitution that much. The leaders do care, as always.
In the videos series, Khan is excellent:
https://www.khanacademy.org/math/multivariable-calculus/mult...
Fighting the inevitability of ageing
I used a mighty mouse with it as the last mouse. I've been using a magic trackpad lately. Definitely not the most ergonomic option but I like the hand gestures.

Took maybe 3 days to get used to the movement between them mouse and the keyboard. I think it would be more uncomfortable to have one in the middle space in the keyboard, your hands sort of naturally fall away to the side but they have to reach in to the middle space.
It depends on the station, but liangmaqiao Beijing can have waits up to 30 minutes, sometimes even an hour. The lines can be crazy crazy long in ways that can only happen in china.

Of course, traffic will make taxis slower. But it always seemed to work out faster for me unless I had to leave at peak peak, and Beijing traffic makes shanghai’s look reasonable.
The Weird World Inside a Pitcher Plant
The OTCA Metapixel in Conway's Game of Life (2015)
Bitcoin's value these days is tightly coupled with its exchange value. Crypto is resistant to regulation and decentralized; exchanges are not. (yes there are decentralized exchanges with close to no volume, and LocalBitcoin, but the lion's share goes through exchanges that rely on the traditional banking system)

All you need to do is make ACH transactions for virtual currency illegal and you'd rip the reasons for the mainstream to use it out of their hands. It would still exist; the technology is the same at $20 as $20,000. It could still be used for a barter/digital economy, but you'd kill speculation.
>they told me they like to set arbitrary deadlines for their projects because once people are late they work harder.

This is all of SV though, not just Apple. I noticed author didn't compare working hours. Every SV company I know of is totally abusive about hours.
I generally hate these kids and that term of theirs, because it’s extremely lazy to use s/o’s admittedly virtuous words as an argument against them.

But in this case My problem starts even earlier, b/c I just have no earthly idea how this has anything to do with “virtue signaling”.
Make the Other Mistake – Mark Rabkin
Going to College Is Selfish Let's stop pretending education is a public good
That's really kind of you to say. Thank you! :)
Route53 API rate limits are per account and very low.

It sucks not being able to fix the production A record because somebody did a lot of changes on the staging zone.
Landing it is an opportunity to inspect a flown center core for the first time. Even though future center cores are different, there was still a lot that could have been learned.
Term limits came in during the 80s when china when power was much more distributed among the eight elders.
It's simple really.

Make everything illegal.
I was in your position as well and my recommendation is to buy a good book.

I personally chose Precalculus by James Stewart and it works for me.
It's a thick 1000 pages book with excercises and tests.

It quite well explains all topics, which you would have in high school (from basic arithmetics to everything you need to start calculus).

I do maths in my spare time (a few hours a week) and I completed 700 pages over past 3 years.

This year I should complete the book and be ready to do more advanced mathematics.

95% is self explanatory (if you focus and re-read) and explains well proofs. When I didn't understand something I found answer on google or asked a few questions on math stack exchange.

My point. You can absolutely do maths on your own. You don't need classes with a teacher, but it only depends what kind person you are and what works for you.

EDIT: Do all exercices and never skip to the next bit if you don't understand something from the previous part.
I did something like this on work. In our intern ordering process we have to copy/paste over 10 data fields. So I made a box with an Arduino Micro and some buttons on it to copy/paste all fields in once.
The title is a little misleading. It makes it sound like this is some kind of official Forbes position piece or even the opinion of Steve Forbes himself, but it's just a Forbes contributor. There are many of those and they're really just glorified bloggers. The disclaimer is there for a reason: "The author is a Forbes contributor. The opinions expressed are those of the writer."

It's odd to even include that in the title. Stories from e.g. the New York Times do not usually have a title starting "The New York Times on..."
This is not a Forbes article, itt is a "Forbes Contributor" article, which can be written by just about anyone. Check out the authors "awesome" home page. https://intellyx.com/
"Computer Chronicles" are more user-oriented, kinda marketing videos. I'm interested e.g. in C++ tech talks (from 90s).
When I'm much older, or, for dramatic effect, perhaps on my death bed, I hope someone asks me what the most important event of my life was, or what my fondest memory is, that sort of question.

I'm going to tell them: "Remapping caps lock to delete".

Not in Vim, but system wide.
Obviously it's different there. I promise you that in major cities in the US a large amount of drug dealing is done by the poverty class, and 99% of them deal in cash only.
Well, the software to crack Firefox master passwords is there for anybody to download. Maybe not quite as well optimized as hashcat with a GPU but it's easy enough to use that plenty of people might decide to try it out.
That's a nice summary of some good techniques. I'll send this around in my team to improve our MRs.

The link to the submission here should be different though I think. It should be

https://news.ycombinator.com/item?id=16562100

instead of

https://news.ycombinator.com/submitlink?u=https%3A%2F%2Fsmal...
QA is only needed for acceptance testing and should be automated. Not a tens of people doing checklist testing.
The customer should sign off on during requirements gathering phase and on frequent demos, not before release.

I often think that management was transplanted into the foreign ground of software development and have no clue. They will then come with platinum quarterly releases were testing cost more than development.
You can put your custom .vimrc online somewhere (like Github) and download it to new computers with wget. For quick edits on someone else's computer, using plain Vim isn't much trouble though.
I mean yeah, but I just don't want the poor fellow going around announcing himself as a neckbeard irl.
Crypto. Encryption! Guns. Social media!

If terrorism has taught us anything, it's that security is more important than freedom.
Recycled Car Parts Made into Furniture
> Being a guitarist, I'm particularly fond of his lute suites, but nothing supercedes his organ music.

As an ex-guitarist, I wholly agree. The lute suites are amazing, but the organ is the best instrument for a single person to play polyphonic music. Still, Bach survives transcription better than any other composer (see the Swingle Singers and Switched on Bach).
Lots of good information and considerations here: https://aws.amazon.com/answers/account-management/aws-multi-...

As with all of AWS (and software, and life) there is no one size fits all answer.
What is the meaning of "ricer's" in this context?

The only thing that springs to mind is 'Racing Inspired Cosmetic Enhancements'.
There are also freelancers-oriented monthly posts, but unfortunately "seeking freelancer" type of comments are very rare - I wonder why is that...
Because your eyes are constantly moving.
https://en.m.wikipedia.org/wiki/Saccade
That's actually not a frat. It's a "secret society." Related but not the same thing.
How to make blur bacground using snapseed mobile app
One wonders whether opiod decriminalization and treatment, Portugal-style, would have a positive effect on this little town.

They seem to have tried everything else. Maybe it's worth a try.
There are also Shabbath light switches, JFYI:

http://www.kosherswitch.com/live/tech/how

the name says it all, but the actual way they devised to workaround the issue is IMHO extremely clever:

"Our technology revolves around several layers of Halachic uncertainty, randomness, and delays, such that Halachically, a user’s action is not considered to have caused a given reaction."
Taxes are to blame for this as much as the bean counters. Since we lost the fight on taxes in counting take home free food as income, then the food isn’t really free anymore either way. https://www.lawyers.com/legal-info/taxation/tax-deductions-f...
Steven Pinker's Counter-Counter-Enlightenment