nhalidaybundlesframe   10340
haskell - Using -with-rtsopts ghc option as a pragma - Stack Overflow
When you specify that pragma at the top of the file, this is instead what happens (with ghc --make algo.hs):

ghc -c algo.hs -rtsopts -with-rtsopts=-K32M
ghc -o algo -package somepackage algo.o
The OPTIONS_GHC pragma tells the compiler about options to add when compiling that specific module into an object file. Because -rtsopts is a linker option (it tells GHC to link in a different set of command-line handling stuff), you can't specify it when compiling an object file. You must specify it when linking, and such options cannot be specified in a module header.
q-n-a  stackex  programming  haskell  functional  gotchas  hmm  oly  space-complexity  build-packaging 
7 hours ago by nhaliday
oop - Functional programming vs Object Oriented programming - Stack Overflow
When you anticipate a different kind of software evolution:
- Object-oriented languages are good when you have a fixed set of operations on things, and as your code evolves, you primarily add new things. This can be accomplished by adding new classes which implement existing methods, and the existing classes are left alone.
- Functional languages are good when you have a fixed set of things, and as your code evolves, you primarily add new operations on existing things. This can be accomplished by adding new functions which compute with existing data types, and the existing functions are left alone.

When evolution goes the wrong way, you have problems:
- Adding a new operation to an object-oriented program may require editing many class definitions to add a new method.
- Adding a new kind of thing to a functional program may require editing many function definitions to add a new case.

This problem has been well known for many years; in 1998, Phil Wadler dubbed it the "expression problem". Although some researchers think that the expression problem can be addressed with such language features as mixins, a widely accepted solution has yet to hit the mainstream.

What are the typical problem definitions where functional programming is a better choice?

Functional languages excel at manipulating symbolic data in tree form. A favorite example is compilers, where source and intermediate languages change seldom (mostly the same things), but compiler writers are always adding new translations and code improvements or optimizations (new operations on things). Compilation and translation more generally are "killer apps" for functional languages.
q-n-a  stackex  programming  engineering  nitty-gritty  comparison  best-practices  cost-benefit  functional  data-structures  arrows  flux-stasis  atoms  compilers  examples 
7 hours ago by nhaliday
Preventing the Collapse of Civilization [video] | Hacker News
- Jonathan Blow

NB: DevGAMM is a game industry conference

- loss of technological knowledge (Antikythera mechanism, aqueducts, etc.)
- hardware driving most gains, not software
- software's actually less robust, often poorly designed and overengineered these days
- knowledge of trivia becomes more than general, deep knowledge
- does at least acknowledge value of DRY, reusing code, abstraction saving dev time
hn  commentary  video  presentation  techtariat  carmack  pragmatic  contrarianism  pessimism  sv  tech  unix  rhetoric  critique  programming  engineering  pls  worrydream  software  hardware  performance  robust  trends  multiplicative  roots  impact  comparison  history  iron-age  the-classics  mediterranean  conquest-empire  gibbon  technology  the-world-is-just-atoms  flux-stasis  increase-decrease  games  graphics  hmm  idk  systems  os  abstraction  intricacy  worse-is-better/the-right-thing  compilers  build-packaging  microsoft  osx  apple  reflection  assembly  c(pp)  expert-experience  things  knowledge  detail-architecture  thick-thin  trivia  info-dynamics  caching  frameworks  generalization  systematic-ad-hoc  universalism-particularism  analytical-holistic  structure  tainter  libraries  tradeoffs  prepping  threat-modeling  network-structure  writing  risk  local-global  trade  composition-decomposition  coupling-cohesion  parsimony  civilization  complex-systems  system-design 
2 days ago by nhaliday
Information Processing: Moore's Law and AI
Hint to technocratic planners: invest more in physicists, chemists, and materials scientists. The recent explosion in value from technology has been driven by physical science -- software gets way too much credit. From the former we got a factor of a million or more in compute power, data storage, and bandwidth. From the latter, we gained (perhaps) an order of magnitude or two in effectiveness: how much better are current OSes and programming languages than Unix and C, both of which are ~50 years old now?

...

Of relevance to this discussion: a big chunk of AlphaGo's performance improvement over other Go programs is due to raw compute power (link via Jess Riedel). The vertical axis is ELO score. You can see that without multi-GPU compute, AlphaGo has relatively pedestrian strength.
hsu  scitariat  comparison  software  hardware  performance  sv  tech  trends  ai  machine-learning  deep-learning  deepgoog  google  roots  impact  hard-tech  multiplicative  the-world-is-just-atoms  technology  trivia  cocktail  big-picture  hi-order-bits 
2 days ago by nhaliday
Abbreviations | Oxford English Dictionary
This list contains the most common abbreviations used in the OED. Click on a letter to see the abbreviations beginning with that letter.

use w/ GoldenDict OED (find-in-page function is pretty much only way to filter for POS, etc., unfortunately)
language  linguistics  vocab  jargon  list  database  objektbuch 
2 days ago by nhaliday
algorithm - Skip List vs. Binary Search Tree - Stack Overflow
Skip lists are more amenable to concurrent access/modification. Herb Sutter wrote an article about data structure in concurrent environments. It has more indepth information.

The most frequently used implementation of a binary search tree is a red-black tree. The concurrent problems come in when the tree is modified it often needs to rebalance. The rebalance operation can affect large portions of the tree, which would require a mutex lock on many of the tree nodes. Inserting a node into a skip list is far more localized, only nodes directly linked to the affected node need to be locked.
q-n-a  stackex  nibble  programming  tcs  data-structures  performance  concurrency  comparison  cost-benefit  applicability-prereqs  random  trees 
2 days ago by nhaliday
Burrito: Rethinking the Electronic Lab Notebook
Seems very well-suited for ML experiments (if you can get it to work), also the nilfs aspect is cool and basically implements exactly one of the my project ideas (mini-VCS for competitive programming). Unfortunately gnarly installation instructions specify running it on Linux VM: https://github.com/pgbovine/burrito/blob/master/INSTALL. Linux is hard requirement due to nilfs.
techtariat  project  tools  devtools  linux  programming  yak-shaving  integration-extension  nitty-gritty  workflow  exocortex  scholar  software  python  app  desktop  notetaking  state  machine-learning  data-science  nibble  sci-comp  oly  vcs  multi  repo  paste 
4 days ago by nhaliday
frame 239 tags

academiaaccretionacmadditive-comboadvertisingaestheticsalg-comboalgebraalgebraic-complexityalgorithmic-econalgorithmsallodiumalt-instanglosphereanthropologyarchaeologyarchitecturearistosartauto-learningbayesianbehavioral-econbehavioral-genbiobiodetbiohackingbioinformaticsbiomechanicsbiophysical-econbiotechbroad-econbusinesscareerchemistryciviccliometricscoding-theorycog-psychcombo-optimizationcommunicationcommunitycompilerscomplex-systemscomplexitycomputationcomputational-geometrycomputer-visionconcurrencycoordinationcracker-econcriminal-justicecriminologycscultural-dynamicscultureculture-warcurrent-eventsdata-sciencedata-structuresdatavizdbsdecision-makingdecision-theorydeep-learningdefensedefinite-planningdemographicsdevopsdifferential-privacydisciplinedistributedeconometricseconomicsEGTembodiedengineeringentrepreneurialismepidemiologyevolutionevopsychfightingfinancefitnessfitsciforeign-policygame-theorygeneticsgenomicsgeoengineeringgeometrygovernmentgraph-theorygraphical-modelsgraphicsgray-econgreat-powersgrowthgrowth-econhackerhealthhistoryhuge-data-the-biggesthuman-beanhuman-mlhypothesis-testingideologyIEEEindustrial-orginfo-dynamicsinfo-econinfo-foraginginformation-theoryinvestinglaborlanguageleadershiplearninglearning-theorylet-me-seeletterslinear-algebralinguisticsliteraturemachine-learningmacromakermalaisemanagerial-statemarketingmathmath.ACmath.AGmath.ATmath.CAmath.COmath.CTmath.CVmath.DSmath.FAmath.GNmath.GRmath.MGmath.NTmath.RTmechanicsmedicinemeta:predictionmeta:rhetoricmeta:warmethodologymicromicrobizmusicmusic-theorynascent-statenavigationneuroneuronsnlpnumericsnutritionoff-convexolyoly-programmingonline-learningoptimizationORFEorientpersonal-financephalangespharmaphilosophyphotographyphysicspoetrypolicypoliscipolitical-econpoliticspopulation-geneticspreppingprobabilityproductivityprogrammingpsychiatrypsychologypsychometricspublic-healthquantumquantum-inforationalityrec-mathrecruitingreinforcementrelativityreligionreplicationrotsalessapiensscaling-techscaling-upsciencesecurityshippingsinospheresleuthinsocial-psychsocial-sciencesocietysociologysportsstartupsstatsstrategystreet-fightingsubculturesurvivalsystemstcstechtechnologytetlockthe-bonesthe-classicsthe-great-west-whalethe-trenchesthe-world-is-just-atomstheosthinkingtopologyunsupervisedventurevulgarwealth-of-nationswestminsterwonkishwritingyak-shaving

Copy this bookmark:



description:


tags: