snearch + informatik   178

Logins: Mit diesen Tricks behalten IT-Experten ihr Passwort - SPIEGEL ONLINE
Eike Kiltz ist Professor für Kryptografie und lehrt im Studiengang IT-Sicherheit der Ruhr-Universität Bochum

"Zum Bilden von Passwörtern nutze ich ein einfaches und selbstgestricktes System, das sich auf allen Betriebssystemen einsetzen lässt. Es funktioniert so: Ich habe ein relativ sicheres Master-Passwort, nehmen wir der Einfachheit halber 'MASTER' als Beispiel. Daraus und aus dem Namen des Dienstes, für den ich ein Passwort brauche, bilde ich den SHA1-Hashwert. Diesen Hashwert, zunächst noch in einen Binär-String umgewandelt, konvertiere ich dann mittels Base64 in ein praktisch nutzbares Passwort, das aus den Zeichen a-z sowie A-Z und den Ziffern 0-9 besteht.

Als Passwort verwende ich dann die ersten zehn Zeichen der Base64-Codierung. Im Fall des Beispiels würde 'MASTER Spiegel' auf diesem Weg zum Passwort 6b31GV19s4 führen, ausgehend vom Hashwert e9bdf5195d7db3877946df1efcbbbbc74299ad2e im Hexadezimalsystem. Die Sicherheit, die dieses System bei einem guten Master-Passwort bietet, reicht für die meisten Anwendungen absolut aus."
model  Profession  IT  Informatik  Professor 
january 2014 by snearch
Language Design is Hard. Let's Go Shopping - No Fun Allowed
E.g. typeclasses, a core language feature for Haskell, are an "emergent feature" arising from Scala's implicits and higher kinds. C# has async/await as a core language feature; Scala enables a similar coding style with its for/yield sugar, but this generalises to other "context-like objects"[3] such as Validation or Option. Fantom has Option-like null handling as a core language feature, which sounds cool until you realise this means you can't make methods that are polmorphic in nullness, or methods that work for Option and other "context-like" types (e.g. Scalaz's sequence, which is the same method whether it's applied to a Set[Validation] or a List[Future] or a Vector[Option]). Actors, a core feature in Erlang, are just another library in Scala.
Profession  Informatik  Scala  PROs  Django  higher_quality 
december 2013 by snearch
How to Design Programs, Second Edition | Hacker News
m-felleisen 4 hours ago | link


if you don't have time to read the book, do read the sections with 'design' in their title. Compare with Josh Bloch's apologia for the Java API and then ponder why HtDP[2e] preps readers for OOP anyway. I will try to clarify in HtDComponents (forthcoming, eventually, if I live long enough) and HtDSystems (ditto).

I chose small languages -- rejecting powerful Racket features such as define-datatype and pattern matching -- precisely so that the thinking reader and student would be able to adapt the design recipe to almost any language, but especially the popular "scripting languages", the wanna-be Lisps.

Once you program long enough, the design recipe will become second nature and you won't notice it anymore. Well, until some "guru" coins a slogan for some aspect of it -- say TDD or Extreme Programming -- and you think "I have seen this before, I just can't recall where." Conversely, I think I have extracted what experienced programmers taught me about programming and what has been at their and my finger tips for a long time.

If it helps some, great. If others know it all better, fine.

-- Matthias, at it since 1984

p.s. If the first sentence seems juvenile, you haven't been to a physical book store in a while. When I see those books disappear, the sentence will disappear too. In the meantime, I stand by its essence.

Informatik  Software_Engineering  How_to_design_programs  Felleisen_Matthias  Racket  Scheme  book_recommendation 
august 2013 by snearch
IQ 200: Ein Hochbegabter erzählt aus seinem Alltag - SPIEGEL ONLINE
Thomas Wolf hat einen IQ von etwa 200 und gehört damit zu den intelligentesten Menschen des Planeten. Wie lebt es sich als Super- Hochbegabter? Hier erzählt Wolf über sein Projekthandbuch für die eigene Hochzeit, Taschenmesser im Mantel und Sonderwege im Supermarkt.
IQ  hochintelligent  hochbegabt  Giga_Society  Informatik  studieren  Marotten 
may 2013 by snearch
Altersdiskriminierung bei Informatikern: Mit 35 zu alt für den Job - SPIEGEL ONLINE
Mit 35 zu alt für die IT-Welt? Quatsch! Deutsche Software-Spezialisten sehen sich auch jenseits der 40 noch als gefragte Fachleute. Vier Informatiker berichten, wie sie sich gegen jüngere Kollegen behaupten.
Profession  IT  alte_Säcke  Altersdiskriminierung  Informatik 
april 2013 by snearch
Damn Cool Algorithms: Homomorphic Hashing | Hacker News
psykotic 1 hour ago | link

> books and papers about algorithms are often dry and unmotivating.

If you don't like standard textbook treatments like CLRS, you might like these: Introduction to Algorithms - A Creative Approach by Udi Manber (out of print but worth getting). Algorithm Design by Klein and Tardos. How to Think About Algorithms by Jeff Edmonds. Jeff Erickson's lecture notes on algorithms:

Jon Bentley's Programming Pearls is about what I'd call algorithm engineering. The algorithms are never anything fancy but it's a good example of algorithms applied to real-world problems. It's possibly the best single book on programming I know. Make sure to do all the exercises.
Informatik  Mathematik  Hashing  algorithm  book_recommendation 
august 2012 by snearch
Gehaltsreport: Einkommen für Informatiker in der IT-Branche - SPIEGEL ONLINE
Die Arbeitsmarktlage für Informatiker ist kommod - Unternehmen umgarnen sie und zahlen gut. Berater sind die Spitzenverdiener, Webdesigner müssen sich hinten anstellen. Zu ganz großen Sprünge führt der Fachkräftemangel aber nicht: Insgesamt steigen die IT-Gehälter nur moderat.
Profession  Informatik  Gehalt 
may 2012 by snearch
The Art of Computer Programming | Interviews | Opinion, News ...
Do you have a muse?

Yeah, well some days she talks to me more than others. There was a period when I almost thought there was a muse dictating to me.
Muse  Knuth_Donald_E.  TOP  inspiration  Interview  Informatik  algorithm 
august 2011 by snearch
Hacker News | Simple Type Inference in 21 Lines of Clojure
core.logic is a Prolog-like logic eng. written in Cloj.. ... so similar to Prol. ... it's actually quite trivial to port Prolog code ... . ... core.logic is quite fast -

UPD.: ... show concr. types ... .

... hardly anything out th. . I think b/c few people underst. macros and ... logic progr. . When I saw Oleg Kiselyov's miniKanren type-checker/inferencer/reconstructor in ~300 LOC, the possib. seem ... endless.

Prolog as general programming paradigm has problems - Prolog/Datalog as a way for programmers to reason about their own programs is an untapped goldmine.


Yes, core.logic is definitely in need of more documentation. However it is under heavy development and I'm still unwilling to commit to some design choices just yet.

Even with docs, I'll never be able to do justice to the art of logic progr. - if you're willing to pick up The Reas. Schem. you'll underst. ex. how core.logic wrks and any good Prol. book will take you the rest of the way.
Informatik  Logic_Programming  Prolog  Clojure  print  Interesse  higher_quality 
may 2011 by snearch
Endlicher Automat – Wikipedia
Ein endlicher Automat (EA, auch Zustandsmaschine, englisch finite state machine (FSM)) ist ein Modell eines Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen.
Lernherausforderung  Endlicher_Automat  Zustandsübergangsdiagramm  finite_state_machine  Feinwerktechnik  Informatik  state_machine 
april 2011 by snearch
ZEIT Campus: Inhaltsverzeichnis ZEIT Campus 1/2011 | Studium | ZEIT ONLINE
Das Ranking
Die sind Spitze! Masterstudiengänge für Informatiker im Test [Seite 16]
studieren  Informatik 
january 2011 by snearch
10 Papers Every Programmer Should Read (At Least Twice)
I realized that instead of complaining, I could help by pointing to some papers which are easily available online and which (to me at least) point to some of the most interesting ideas about software. To me, these are classic papers which contain deep “things you oughta know” about code – the material you work with.

We’ve taken an interesting turn in the industry over the past ten years. We’ve come to value experiential learning much more, and we’ve regained a strong pragmatic focus, but I think it would be a shame if we lost sight of some of the deeper things which people have learned over the past 50 years. Rediscovering them would be painful, and (to me) not knowing them would be a shame.
Informatik  professional_software_development 
february 2009 by snearch
Some Haskell Misconceptions: Idiomatic Code, Purity, Laziness, and IO « Geek Rant
Laziness vs. strictness is a commonly misunderstood part of Haskell, as is how the IO monad is evaluated. I hope to clear some things up here.

One of the main features of Haskell is call-by-need evaluation. The idea is to avoid unnecessary computation
Haskell  Informatik  algorithm 
june 2008 by snearch
Eli Bendersky’s website
. You will learn about functional programming, imperative programming, object-oriented programming in it. You will learn how to implement interpreters, compilers, arithmetic systems, simulators, a whole virtual machine in it, and much more. The exercises
Lernherausforderung  SW_Entwicklung_lernen  Informatik  book_recommendation 
april 2008 by snearch
« earlier      
per page:    204080120160

related tags

Abelson_Harold  advive  AI  akademische_Karriere  Alexandrescu_Andrei  algorithm  Altersdiskriminierung  alte_Säcke  Artificial_Intelligence  Automaten::Endliche  Autoritäten  Bachmann  Bayes'_Theorem  bayesian  Bayesian_methods  Bentley_Jon  Beruf::Qualitätsvorbilder  Berufung  Bezier_Kurven  Big_O_cheat_sheet  Bildverarbeitung  Biologie  book_recommendation  Bücher_im_WWW  Bücher_im_WWW::Informatik  C  C++  Clojure  COMMON_LISP  Compilerbau  Cooley  criticism  CS  deep_learning  DFA  Dijkstra_Edsger_W  diskrete_Kosinustransformation  Django  Dominus_Mark_Jason  do_not_originate_anything  dynamic_languages  E-Learning  EBooks  edit_distance  Einstellung_geistige  Encryption  Endlicher_Automat  Erfolgsgeschichte  Erfolgsprinzip  Erfolgsstrategien  Essay  Expertisen  Feinwerktechnik  Felleisen_Matthias  FFT  filetype:pdf  finite_automata  finite_state_machine  Flickr  Fraktale  functional  fun_in_programming  games  Gauß_Carl_Friedrich  Gehalt  Georgia_Tech_Online  Giga_Society  Google  Graphentheorie  Graphics  has:Beruf  has:Informatik  Hashing  Haskell  Heuristiken  higher_quality  history  hochbegabt  hochintelligent  How_to_design_programs  Informatik  Informatik::Algoritmen::FFT  inspiration  Interesse  Interpreterbau  Interview  IQ  IT  JPEG  JPEG-Komprimierung  jpg  Kalmann-Filter  Karazuba  Kay_Alan  Kernighan_Brian  Knuth_Donald  Knuth_Donald_E.  Komplexitätstheorie  Komprimierung  Krause_Kai  Landau_Edmund  Lego  Lehrer  lernen  Lernen_lernen  Lernherausforderung  Levenshtein_distance  leverage  libraries_programmers_tools  Lineare_Gleichungssysteme  LISP  Logic_Programming  machine_learning  Mandelbrot_Benoit  MapReduce  Marathon_Match_23  Marotten  Master  Mathematik  media:document  Meinung  Meisterleistungen  Metaprogramming  methods  model  Multithreading  Muse  Mustererkennung  Mössenböck_Hanspeter  National_Park_OR_Bird  Neumann_John_von  neuronal_network  NFA  Norvig_Peter  numerische  O-Notation  OCaml  OCR  OOP  optimization  Patentwesen  Perl  Perl6  Persönlichkeiten  php5  print  print!  probalistic  probalistic_programming  Profession  professional_software_development  Professor  Programmiersprachen_lernenswerte  Programmiertechnik  Programmiertechniken_effektive  Programmierung::Grafik  programming  Programming_Language  Programming_Pearls  Prolog  PROs  Python  P_vs._NP  Qualität  Racket  Raytracer  Raytracing  Regelungstechnik  Regular_Expressions  Scala  Scheme  Schönhage-Strassen  SICP  Smalltalk_Programmiersprache  Software_Engineering  sorting  speed  spielen  Spielzeug  state_machine  Strategie  Structure_and_Interpretation_of_Computer_Programs  studieren  Sudoku  Sussman_Gerald_Jay  Swap_Two_Variables_Without_Using_a_Temp_Variable  SW_Entwicklung_lernen  TOP  Trend  Tukey  Turing_Machines  tutorial  ULID  Unternehmer  USA  UUID  Video  Webdevelopment  Weitz_Edmund  Wissenschaft  Zustandsübergangsdiagramm 

Copy this bookmark: