HN user
German student freelancing and pursuing his masters degree. Do you need a Software- or Web-Developer, a Sysadmin or Designer, hire me.
Once I didn't get any sign of being drunk regardless of the drinks being >50% and 70% vol. and higher, even though we danced, made push-up and have had fun on a trampoline. To this day I still don't understand how not only I, but also the friends who drank the same didn't get drunk. There must have been a secret ingredient in that moonshine, because I didn't eat anything before that.
again the parents, hmm. But what did that call cost?
wow, and I thought that only happened to me! Some weird american voice was on the other side and it sounded a bit like a comedy show, but interestingly the voice was not made out of pieces and put together into sentences, but actually coherent and responsive to my questions. Living in Germany, this was actually weird enough to think that someone is in control of our cell-phones.
But why did we both have the caller-id of our mom's?
Looks really good, but as others noted, the examples should really work `as is` within the REPL. Also I think wikipedia has better example code. Everybody knows fibonacci and can compare it.
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)
on the same boat.. but have given up on using Chrome for bookmarks. It's too slow on Linux when you've more than 50 tabs.
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)
how did you get in?
Awesome!
Thanks for the detailed answer, sir :)
“Right to be forgotten” – the creative word for censorship. Newspeak written by the Ministry of Truth.
2 Weeks is what it usually takes to catch-up with all new libraries in all the languages you care about. Not more. Easy as googling it and checking github explore, then trying each one out. Simple as that. Do that every 6months and you're set. What could go wrong? :)
Sorry, but you don't learn actually anything new there buddy (there is more). You're right that MS packs all the un-branded wisdom into products with custom API's, SDK's coming with 20 new buzzwords describing the improvements. Well, because people love good packages. For MS software there are the Rx extensions and F#, but I'm sure that you can live with just ReactJS too. However here is some short but good read: http://www.infoq.com/news/2013/08/reactive-programming-emerg...
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.
Be and keep worried, but don't let your angst control you!
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.
A) I actually thought they ARE the german sibling of craftcoffee, but thanks for the clarification. They indeed look like a copy, but I don't mind that as long it doesn't lack in the execution and quality.
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?
I used that during my BSc. Thesis, the non-free version includes data that is of higher precision and more useful for the military use. Which they have been building this for. It was used to answer questions regarding current threats and find out which other threats nobody has thought about could also occur, where, by whom etc. You can research that, if you want. But one thing is true, the information on them is scarce. I think they have had held a talk at Google though, if I remember correctly.
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 =)
Is there a reason, why you didn't start with mobile first?
Also curious on that, because as a "company", they will naturally interprete their own statistics the way it's promotable or advantagous for them. The truth is always ugly.
The Ego of the Mod who uses this. Someone's feeling powerful there.
My 1234th day……
Paper in short: http://download.repubblica.it/pdf/2014/scienze/science-xpres...
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.
May I add David Deutsch's (not yet peer-reviewed, but promising) paper on the Contructor Theory of Information?
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...
Then this paper might be of great help to you
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.
I and a friend attended to the class and read several papers, but all you learn are concepts, tools, paradigms and implementations. There is no "formula" for creating FRP, it's very generic although highly specific on monads, (applicative) functors, monoids, etc. So definitively worth a shot, if you want to learn everything around FRP.
Would you elaborate on why Elm isn't FRP please? I've added a bit, but I hope to hear more from an expert on the topic :)
My buddy held a talk on Elm last week and they're going to publish a paper on it focusing on the FRP part. But to my knowledge Elm isn't pure FRP because it mixes state with behaviour. (not entirely sure though). The good part is that it works, the bad part is that it's creating messy and bloated js output, even for hello world.
There is one thing that really bothers me, I've not found a single a mathematical formula that defines FRP. The closest thing I've found was the "Denotational Semantics" showing the logic behind, which is quite lenghty and leaves a lot of room for variations. I hate descriptions full of buzzwords that, when you look at it closely have really nothing to do with FRP, but are mere tools that help realizing it.
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.
In the beginning, before there were non-students, Facebook was about solving that issue, wasn't it? I'd also heartly appreciate such a platform. Most stuff I find really interesting won't be interesting at all for HN, thus I end up sharing less.
It's not a social network scientists need, but a kind of organized knowedge-rating, sharing and curation site.
Sounds like you urgently need a "Corporate Mission Statement" or help from an experienced project manager. There are surely some very experienced people on HN. Hopefully things work out for you, keep us updated sir.
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)
so is this like zeromq for mails?
SolScript really looks cool. I'm also writing something, it's a generic paper about FRP though. Gonna cite your paper :) Cool that you used duck-typing, although it's causing much more complexity, but it's great for Reactive Programming. Have a look at this paper, it might be of help for you http://lambda-the-ultimate.org/node/2438
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 :)
oh, cool! I'll take a look then. =)
If percol is based on aut-fu, then it's probably not that good. The screenshot shows auto-fu, I know that zsh-plugin, but it's really messy and does very aggressive auto-completion (erasing your previous input). I'd rather use fish-shell instead.
Are you employing the ideas behind reactive programming? And can you explain the types of monads you used for what problem and why? I am writing a paper on Functional Reactive Programming and Haxl really made me curious. The paper (currently in german, but I'll translate it) proposes a new Hypothesis that tries to shred FRP in general, by showing a novel way that solves some of the problems automatically that naturally occur with FRP.
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 :)