2,887 karma · joined February 13, 2011
But why did we both have the caller-id of our mom's?
Please add a nice Haskell facts and features tab, like: Appeared in 1990; 24 years ago More facts and features on: http://en.wikipedia.org/wiki/Haskell_(programming_language)
Firefox loads under a minute with 510 tabs from various tab-groups. (I use a tab-group for each group and field of study and yes I use most tabs actually)
The search in the sidebar is so enormously useful, it helps me to find ANY bookmark made by hitting CTRL+b or middle-click (two-finger tap here). I heavily use tags, which is really making the search better, but I wish these tags could be automatically generated by an algorithm.
1. https://addons.mozilla.org/de/firefox/addon/flat-bookmarks-h... (this is what opens up a better sidebar)
2. https://addons.mozilla.org/de/firefox/addon/bookmark-rater/ (rating is really useful sometimes)
3. https://addons.mozilla.org/de/firefox/addon/enhanced-middle-... (I use that to open the sidebar)
4. https://addons.mozilla.org/de/firefox/addon/auto-sort-bookma... (autosort "heap, stack and memory" of bookmarks. I don't sort the the toolbar)
Optional:
i) https://addons.mozilla.org/de/firefox/addon/faviconreloader (In case you want icons for old bookmarks)
ii) https://addons.mozilla.org/de/firefox/addon/tabgroups-menu/ (helpful to quickly switch, rename and reorder tab-groups, because zooming-in-out sucks)
iii) https://addons.mozilla.org/de/firefox/addon/unloadtab/ (worried about loading >500 tabs at once? set it to load only tabs you clicked and unload tabs oder n)
Thanks for the detailed answer, sir :)
But if you once learned what FRP is, what Software-Engineering means, OOP Patterns, Functional Programming, then you'll be set for at least half of your life man. Also Real-Time Applications for the Web are a big misconception, they can only be of use where you really really need hard-real time applications. Which is mostly not the case with web-apps. What you need is a reactive web application, but please don't eat the BS in the reactive-manifesto.org. It's not wrong, but not intended for engineers and comes packaged with just hot-air, that according to the writers is "useful" to communicate to managers. I digress, but reactive programming is the concept you would be better of focusing on instead of real-time, except you are having one of the rare cases that actually needs hard-real-time synchronization.
OT: Am I hell-banned or something? My submissions appear dead at arrival.
The post describes a peripheral vision of progress, but no relation. It doesn't matter shit what new software, libraries and technologies are out there. What matters is that you have your own goals and advance in that! The rest doesn't matter, don't worry about others, you cannot help anybody, if you cannot help yourself.
I always tell me friends who don't know anything about computer science that my job is to make everyone else's job obsolete. After convincing them how their career might one day be replaced by software, robots and algorithms, I explain how they don't need to be alone with that fear. Of course I know how this makes me look like either a freak, an asshole or both. But the important part about the discussion is to communicate what really is going to happen. It happens, but the progress advances as slow as the growth of a tree. One day, it will be large, it will be a forest and then there will be no way to ignore it anymore. This is why it matters to open someones eyes. Of course only those who you deem worth, most people still won't listen and let time pass.
So yes, I share the same fear. Our destiny and true job is to make ourselves obsolete. Creating Software that can create machines, products and manage people, schedules and ressources. Creating Software that can create better versions of it's own or even create other Software to fulfill it's goals. This sounds like a big stretch, but we're talking about a time-span of 20 to 30 years.
We write code that will one day replace the need for us as a regular' work-force, but not as an actor in the process. The Future won't stop there, it'll instead create new markets and jobs where we proceed as architects using our creativity and intelligence, until our machines create hardware that surpasses the constraints on the software, which were set by us.
This will require us to allocate new resources for energy, either beyond earth using SpaceX like programs, the invention of a replicator (using quantum teleportation and molecular re-organization) or light to mass converters.
B) Since you seem to be a coffee expert: What sort of coffee has a very low acidic profile, whilst having being strong and aromatic?
C) To use the service you need to own a EUR 1000+ coffee machine, which only rich people have, or am I wrong?
Tl;Dr.: Cyc is military precise, OpenCyc is not. Use case: Terror-Cell and threat identification, Information Gathering, Reconnaissance, Data-Fusion
It never made sense to me that the whole process would be manual. I would've developed an AI that could use their "complicated and cumbersome" forms automatically based on "Speech or Written" Input
There is also: http://www.larkc.eu/ and many other alternatives "Expert Systems". I heard the the military version of http://clipsrules.sourceforge.net/ is pretty good and in use here and there. But I don't know of the current progress and use of such systems. Can someone involved or knowledgeable give us an update on the state-of-art in AI/Expert-Systems used by the mliitary? I like to stalk military technology based developments =)
My 1234th day……
Paper in full: http://arxiv.org/abs/1404.4369
To the physicists among the us, please share your opinion on the paper with the rest of us.
It's not easy to digest the paper. The finding is not only going to change finance, but also the whole data economy will speed up. Now 'Quants' can be located anywhere and everyone has can enjoy same advantage of datacenter-closeness, evening out the prestigious role of the select few. Well, not really. It's going to take quite some time until the mid-class can access this technology unless, someone finds out a way for mass-production. That would be stellar.
That's it. I hate nobody with a rational mind of whatever kind, but naysayers really itch me.
The Physics arXiv Blog writes about it here: https://medium.com/the-physics-arxiv-blog/deeper-than-quantu...
For the curious, the link to the paper can be found at the end of the article.
I remember being downvoted by circle of HN folks who weren't comfortable with Information transfer using Quantum Teleportation. Depite efforts to refute it, here's a team that suceeded doing exactly this => http://phys.org/news/2014-05-team-accurately-teleported-quan...
http://lampwww.epfl.ch/~imaier/pub/DeprecatingObserversTR201...
It's straightly viewn from an implementor's perspective in my opinion.
Tl:Dr.: The observer-pattern is bad and encourages callback-hell, therefore a Data-Flow DSL is implemented to control the order of evaluation. It's kind of showing the implementation of an IO-Monad.
Is there someone who can explain us scholars how FRP can be noted down formaly? Even a link to a page of a paper that shows the formula would be enormously useful. I'll put all the good papers that I've found in the footnoes.
-------- The following are a few of the good papers on FRP (ordered by subj. quality). I've read the Elm paper, but it's vague despite having a lot of maths in it. What it really decribes is not FRP, but Elm (also it's not exactly FRP).
[1] https://blogs.janestreet.com/breaking-down-frp/ [2] Higher-Order Functional Reactive Programming without Spacetime Leaks - https://www.mpi-sws.org/~neelk/simple-frp.pdf [3] An Axiomatic Semantics for Functional Reactive Programming - http://www.wpi.edu/Pubs/ETD/Available/etd-042908-133033/unre... [4] Push-pull functional reactive programming - http://conal.net/papers/push-pull-frp/ [5] Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion - http://www.cs.bham.ac.uk/~pbl/msfp2014/catsemfrp.pdf [6] Completeness of Conversion between Reactive Programs for Ultrametric Models - http://www.cs.le.ac.uk/people/fdv1/fdv1/Distribution/SeveriD... [7] Fair Reactive Programming - http://www.cs.mcgill.ca/~acave1/papers/fair-reactive.pdf [8] A Survey on Reactive Programming - http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pd... [9] Signals, Not Generators! - http://www.ioc.ee/~wolfgang/research/tfp-2009-slides.pdf [10] http://stackoverflow.com/questions/5875929/specification-for... [11] http://stackoverflow.com/questions/1028250/what-is-functiona...
The bad thing about all those papers is that a) you need to know Category Theory, b) Temporal Logic, c) Denotational Semantics d) (and optionally Henkin and Ultrametric Models) Unfortunately I'm not yet that smart :( hope someone can bring clarity into FRP
Sorry for the ugly footnote, that's the best I got using HN's formatting capability.
Update: I used unicode spaces, that fixed it.
It's not a social network scientists need, but a kind of organized knowedge-rating, sharing and curation site.
I cannot give you any first hand advice, because I've not been in any situation like that, so please take anything I write with a grain of salt. Just good intentions here, because I really feel you man.. it's very though to stand your man, when you feel or know that everything depends on you.
Instead of making you the single point of failure in the structure, the vision you have should not hinder you from ever reaching that vision. I think you need to focus on what is exactly the thing your clients really want and that requires talking with clients 1 on 1, making a few a/b test and communicating the core values to your team. Why spend 4hours on design, when your client really just wants a login-system that works (for example).
You have really great employees, but talking about an exit would subconsciously demotivate everyone, even those with the best intents. I don't know and cannot give you any first hand experience, but whatever you do, take at least 1-2days off-work to think about the goals you want to reach with your team. They should finish whatever is left and stop hand-holding each other in order to push everyone else to work as hard as they do. A successful company is not only about hard work, but good organization and execution of ideas. This could feel like either an iron-man like marathon or cool vacation, depending on how you manage and motivate people.
You've pointed it out correctly, you're at a crossing, which could result in success for the company or burning out yourself and your employees, depending on how things are managed. Your gut feeling was right and asking others for help is surely the right way.
Update: You should check one of the many good articles written by Paul Graham: http://paulgraham.com/love.html (How to do what you love)
My paper is in german, but I'll publish it on github and translate it (time given). I've also got a hypothesis on how FRP can be abstracted into a domain model using AI and non-axiomatic reasoning. But I hope I don't run in a dead-end there though, it's just a theory :)
I am really interested in seeing how you solve problems for distributed systems with Haxl and how query sharding is handled etc..
I've wasted a whole day looking for Haxl online a few weeks ago, just to find out that it wasn't released yet. The release really makes me happy :)