--- layout: default ---
The requested page could not be found. If you think this is a mistake or you were linked to this address, please email me.


I was interested in didactics and presentation already during my studies, and accordingly worked as a university tutor for pure and applied mathematics and for Basic und Pascal programming seminars. After my studies I taught evening classes in Swedish and Basic programming, some of which I prepared myself.
At CPP Software I held GEM API crash courses for experienced software engineers from various large companies (GAI, Dornier, Siemens). Besides programming and seminars I was also involved in IT journalism, desktop publishing, and support for external GEM programmers.
At Autodesk, my main task was the quick comprehension and distribution of information about the AutoCAD APIs (Application Programming Interfaces) to external application developers, so-called "third party developers", first in Europe, later also in South Africa, Australia and the USA. In the beginning, I was associated with the Basel Autodesk office, later with the newly created European Technical Centre in Neuchâtel.
In 1988, my first task was the creation of a training program for AutoLISP und other methods to customise AutoCAD. For that, I first learned the Lisp programming language, then designed and held AutoLISP presentations and courses. In 1990 a new C API was added to AutoCAD, the AutoCAD Application Development or ADS. Suddenly, my prior C programming experience became very useful. In 1994 a new C++ API was added as well, the object-oriented AutoCAD Runtime Extension or ObjectARX, and again I was well prepared with prior C++ and OOP experience. As a result, I was the only person capable of holding the first-ever ObjectARX programming seminar worldwide in San Rafael, California, just one week before leaving Autodesk.
For all thee APIs and all other AutoCAD programming news I prepared and presented at bi-annual conferences across all of Europe, almost as a one-man show for several years. I also created most of the programming examples available for ADS and ARX and published numerous articles in the relevant press media.
I was able to collect and publish much of this information in a coherent form in my book "Das AutoCAD Development System ADS".
I was one of the main founders of the AutoCAD Developers Group Europe or ADGE, which at its peak totalled over 200 member from 30 countries. For ten years, ADGE also organised bi-annual conferences in most European countries. I was always heavily involved in the conference conception and presentation. I also led the on-going ADS workgroup, which met about 8 times a year for one day. The participating attendees defined the agenda ad hoc depending on their current issues and ideas. I kept the minutes, edited and distributed the results via email and paper mailings to all members. For many external AutoCAD application developers, the regular ADS minutes remained the main source of information in the field for several years.
Later, I became an active participant in the International Alliance for Interoperability of IAI, whose aim is the definition of a vendor neutral digital building model. I was responsible for the implementation of several Autodesk and RoCAD IAI demonstrations. For a while, I was also Chairman of the International IAI Implementation Committee.
During the years at RoCAD and redCOR I trained my colleagues, who originally worked only with Lisp, to professional object-oriented C++ software engineers.


The datetime picker component is an opinionated composition of the fd-popover, fd-calendar and fd-time
components to accomplish the UI pattern for picking a date and time.
The datetime picker supports the same keyboard navigability as the calendar and time components. The popover
can be opened by focusing the datetime picker input field and closed by focusing the icon button followed by
pressing enter or space.
Fully compatible with Angular forms.


--- title: fastrl keywords: fastai sidebar: home_sidebar summary: "A Concise introduction to key ideas in RL." ---
pip install fastrl
The following notes is targeted at people interested in Reinforcement Learning looking to get upto speed without sacfricing on rigor.The necessary math is tackled but with computation first approach.Basic ability to write and understand simple programs and high school level math is all that is required.For readers looking to understand the latest developments in this field refer amazing Spinning Up RL
While reading the text reader should constantly be asking two questions :
How can I implement this ? :
Brings practical computational problems into the picture and ensures actual understanding.
How can I be sure what I'm doing will work(If implemented correctly) ? :
As we will see RL needs lot of tricks and hacks to make it work. Whenever some notation and math help us in choosing sensible things,we should do it. This is where the rigor part of this notes comes into picture.This will be essential in removing the magic out of many **SOTA** algorithms in RL.


{% seo %} {% if jekyll.environment == 'production' %} {% include analytics.html %} {% endif %}
Pose
Pose is a photo booth that uses Facebook Messenger as the interface. Example conversation:
The keystone of the idea is that people don't want to ask others to take pictures of them.


#!/usr/bin/env python
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
# http://www.apache.org/licenses/LICENSE-2.0
#
# Authors:
# - Paul Nilsson<EMAIL_ADDRESS>2017
import os
import re
import glob
from time import sleep
from pilot.common.errorcodes import ErrorCodes
from pilot.util.container import execute
from pilot.util.filehandling import copy
import logging
logger = logging.getLogger(__name__)
errors = ErrorCodes()
[docs]def get_analysis_trf(transform, workdir):
"""
Prepare to download the user analysis transform with curl.
The function will verify the download location from a known list of hosts.
:param transform: full trf path (url) (string).
:param workdir: work directory (string).
:return: exit code (int), diagnostics (string), transform_name (string)
"""
ec = 0
diagnostics = ""
# test if $HARVESTER_WORKDIR is set
harvester_workdir = os.environ.get('HARVESTER_WORKDIR')
if harvester_workdir is not None:
search_pattern = "%s/jobO.*.tar.gz" % harvester_workdir
logger.debug("search_pattern - %s" % search_pattern)
jobopt_files = glob.glob(search_pattern)
for jobopt_file in jobopt_files:
logger.debug("jobopt_file = %s workdir = %s" % (jobopt_file, workdir))
try:
copy(jobopt_file, workdir)
except Exception as e:
logger.error("could not copy file %s to %s : %s" % (jobopt_file, workdir, e))
if '/' in transform:
transform_name = transform.split('/')[-1]
else:
logger.warning('did not detect any / in %s (using full transform name)' % transform)
transform_name = transform
# is the command already available? (e.g. if already downloaded by a preprocess/main process step)
if os.path.exists(os.path.join(workdir, transform_name)):
logger.info('script %s is already available - no need to download again' % transform_name)
return ec, diagnostics, transform_name
original_base_url = ""
# verify the base URL
for base_url in get_valid_base_urls():
if transform.startswith(base_url):
original_base_url = base_url
break
if original_base_url == "":
diagnostics = "invalid base URL: %s" % transform
return errors.TRFDOWNLOADFAILURE, diagnostics, ""
# try to download from the required location, if not - switch to backup
status = False
for base_url in get_valid_base_urls(order=original_base_url):
trf = re.sub(original_base_url, base_url, transform)
logger.debug("attempting to download script: %s" % trf)
status, diagnostics = download_transform(trf, transform_name, workdir)
if status:
break
if not status:
return errors.TRFDOWNLOADFAILURE, diagnostics, ""
logger.info("successfully downloaded script")
path = os.path.join(workdir, transform_name)
logger.debug("changing permission of %s to 0o755" % path)
try:
os.chmod(path, 0o755) # Python 2/3
except Exception as e:
diagnostics = "failed to chmod %s: %s" % (transform_name, e)
return errors.CHMODTRF, diagnostics, ""
return ec, diagnostics, transform_name
[docs]def get_valid_base_urls(order=None):
"""
Return a list of valid base URLs from where the user analysis transform may be downloaded from.
If order is defined, return given item first.
E.g. order=http://atlpan.web.cern.ch/atlpan -> ['http://atlpan.web.cern.ch/atlpan', ...]
NOTE: the URL list may be out of date.
:param order: order (string).
:return: valid base URLs (list).
"""
valid_base_urls = []
_valid_base_urls = ["https://atlpan.web.cern.ch/atlpan",
"http://pandaserver.cern.ch"]
if order:
valid_base_urls.append(order)
for url in _valid_base_urls:
if url != order:
valid_base_urls.append(url)
else:
valid_base_urls = _valid_base_urls
return valid_base_urls


{% load static %}
SEV uses image in its unique way. Each vote is verifiable only once during a session. Once you have voted then no one can alter the your vote as well as your shares.
SEV provides security with the perspective of voter. Voter cannot claim to vote again or cannot check his whether his vote counted or not. Links are used to contact with voter. If secure Email is provided then it is easy for voter to keep secracy of election.
Elections can be organisational or institutional. As Aadhaar has major role to play here, anything which can involve Aadhaar and democracy, we welcome those to conduct elections here.
Version 1 of SEV is made by looking strongly at the EVM voting which takes place in India. Voting twice goes against the laws and thus we don't allow it here
Version 1 is a smaller picture. It is highly responsive to develop features on demand.
SEV has a page name ongoing elections. There you can see % voting during election process and winner name once election is over.
Definitely. SEV gives this responsibility to Admin and Polling officers. They can see generate report once election is over.


{% extends "base.html" %} {% block title %}Centaurus - Report - {{job_id}}{% endblock %} {% block body %}
Submitted at {{start_time}} (UTC)
File: "{{job.filename}}". Columns used: [{{job.columns|join(', ')}}].
n_exp: {{job.n_experiments}}. max_k: {{job.max_k}}. n_tasks: {{job.n_tasks}}. scale: {{job.scale}}.
Recommended number of clusters based on the best (highest) BIC score:
Only experiments where each cluster had at least {{min_members}} points are considered for this report. To change this threshold and rerun the report, use the form below:
A heat map for the correlation between all the features in the dataset is show below:
Recommended cluster assignments are visualized below using the columns {{viz_columns[0]}} and {{viz_columns[1]}}. Assignment with the best (highest) BIC score is shown in bold.
Recommended cluster assignments are visualized below. Assignment with the best (highest) BIC score is shown in bold.
Akaike Information Criterion (AIC) and Bayesian Information Criterion (BIC) for all covariance and number of clusters, shown with 95% confidence intervals.
Number of experiments used for this report:


--- layout: archive title: Zulip Chat Archive permalink: /stream/144837-PR-reviews/topic/.232382.20is_eq_or_iff.html ---
@Gabriel Ebner Would you mind explaining to me what you have in mind with the inlining? I'm trying to move easy bits of rewrite_search
to mathlib, and this might be a good opportunity for me to get more familiar with metaprogramming.
If I grep through my local copy of rewrite-search
, then is_eq_or_iff_after_binders
is used exactly once in the is_acceptable_rewrite
function. I am proposing to move the contents of the is_eq_or_iff_after_binders
and write them directly in is_acceptable_rewrite_function
.
I'm really having some kind of deja vu with this function. I swear I've commented on it before. But I can't figure out where, or if it made it into mathlib or not.
@Gabriel Ebner ok, I'll do that.
@Rob Lewis Maybe in a PR by Keeley?
Aha! It's here, in the unmerged rw_hint
pr. https://github.com/leanprover-community/mathlib/pull/2030#discussion_r382996005
Glad to know I'm not going crazy.
@Rob Lewis does that influence whether or not we want the inlining?
I think both Gabriel and I are reacting to this function doing a very specific thing. It feels funny for it to be factored out, and especially to be implemented in a low level way.
Ok... I'll inline it.
If it appears in two PRs, doesn't it mean it should be factored out?
Or is it secretly the same appearance?
Since it's rw_hint
and rewrite_search
... I think it's secretly the same.
rw_hint
was my attempt to overcome my inertia in doing what Johan is now doing by writing a lame mini version of rewrite_search
.
Last updated: Apr 24 2020 at 19:02 UTC


Drag and drop a music file here.
Audio files supported are:
- .ogg
- .mp3
- .mov
- .wma
- many more! Check with your browser to see all supported file types
After dragging and dropping your file will stream through the browser.
When your finished, just click the back arrow to return to this page!


CRADLE WILL ROCK A film review by Steve Rhodes Copyright 1999 Steve Rhodes RATING (0 TO ****): **
THE CRADLE WILL ROCK tells the "(mostly) true story" of a federally funded musical of the same name that was shut down by the government on the day it was to open. It later became well known after its director, Orson Welles (Angus MacFadyen), became famous.
It's the 1930s -- the time of the Great Depression. Among the many government public works activities is the Federal Theater Project, which employs out-of-work actors as well as stage crew. "The Cradle Will Rock" by playwright Marc Blitzstein (Hank Azaria) tells a pro-union story, which infuriates Congressman Dies (Harris Yulin), among others. They suspect Communist infiltration in the arts, and Chairman Dies's subcommittee holds hearings on the subject.
This might lead one to believe that the film is a hard-hitting indictment of politics run amuck, but it isn't. Writer and director Tim Robbins has hired half of his Hollywood friends to appear in his three-ring circus of a movie. Everything is rushed. Actors run onto the set, rattle off their lines and run off again. Robbins then quickly cuts to an entirely different group of actors telling another part of the story. Adding to the unrealistic, circus-like atmosphere of the production is a pair of lovers who have a propensity to sneak away, remaining in view of the others and the camera, as they disrobe and have enthusiastic sex.
Among the many stereotyped characters in the cluttered script are: A giddy liberal socialite, Countess LaGrange (Vanessa Redgrave), who gets her strike news delivered on a silver platter by her servants. An anti-Communist ventriloquist, Tommy Crickshaw (Bill Murray), who is forced by his employer (the federal government in the form of the WPA) to tutor two no-talent, would-be ventriloquists. An alcoholic director (Welles), who is so hyperactive that his feet rarely touch the ground. And an artist, Diego Rivera (Rubén Blades), who insists on putting an unauthorized image on Lenin in his large mural inside a skyscraper owned by Nelson Rockefeller (John Cusack).
The rest of the large and talented cast includes Joan Cusack, Cary Elwes, Philip Baker Hall, Cherry Jones, Susan Sarandon, Jamey Sheridan, John Turturro, Emily Watson, Paul Giamatti, Barnard Hughes, Barbara Sukowa, John Carpenter and Gretchen Mol. Almost all of them overact in their brief time in front of the camera. None of the characters are compelling, and, if the movie had aired on television, I'm sure I would have turned it off long before it was over.
Very much in the spirit of ILLUMINATA, which opened this past summer, the fast-paced CRADLE WILL ROCK takes a comedic backstage look at the production of a play. And like ILLUMINATA, although it has its moments, it never comes together in anything approaching a satisfying whole. I would be inclined to suggest that you just wait for the video and use the fast forward to get to the good parts, but this would require you to fast forward through almost the entire picture, making it not worth the cost.
CRADLE WILL ROCK runs a long 2:15. It is rated R for language, nudity and sex and would be acceptable for teenagers.
Email<EMAIL_ADDRESS>Web: http://www.InternetReviews.com
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews