[gecode-users] GecodeJ and 64 bits
Jorge Ivory Castaño
jorgeivory at gmail.com
Sat Aug 23 23:24:02 CEST 2008
It may be a silly question since I am still a beginner. I tried to install
gecodej in Windows Vista Ultimate 64 bits and I couldn't.
So as you offered to help me there's what i have done:
So far I have installed cygwin with all options on C:\cygwin
I downloaded gecode 2.1.1 and unzipped it to C:\cygwin\gecode-2.1.1
I entered cygwin and in /gecode-2.1.1 i used ./configure CC="gcc
-mno-cygwin" CXX="g++ -mno-cygwin"
I got this output:

Then i use make
I got this output:

I use make install and
I got this output:

then I download ant and java, I install ant on cygwin and java on windows,
when I write java or ant commands
I got this output:

So far so good, everything seems to be working.
Then I downloaded gecodej 2.1.1 and unzipped it to C:\cygwin\gecodej-2.1.1
but when I tried to configure it
I got this output:

PKG_CONFIG_PATH is a variable in Windows or in cygwin? Where it should point
to? How do I set it up correctly?
make install isn't supossed to do this automatically? Did I miss a step?
my path variable is:
%SystemRoot%\system32;%SystemRoot%;%SystemRoot%\System32\Wbem;C:\cygwin\Gecode\bin;C:\cygwin\ant\bin;C:\Program
Files\Java\jdk1.6.0_07\bin
as you can see in the screenshot below

Gecode examples are working as you can see at

I dont know what I have to do in order to get gecodej working, would you
please help me?
On Mon, Aug 11, 2008 at 2:08 AM, Guido Tack <tack at ps.uni-sb.de> wrote:
> Jorge Ivory Castaño wrote:
>
> Hi, I just bougth a new computer with an ASUS M2NSLI motheboard and a AMD
>> Athlon 64 X2 6000+ Processor, 4Gb in RAM. (old one was malfunctioning)
>> I have been in trouble trying to install some things because of drivers
>> problems and software that is not in 64 bits architecture.
>> I am working in my thesis with Gecode and GecodeJ, and now that i want to
>> continue working in my new computer I would like to know:
>> Is GecodeJ compatible with my 64 bits architecture? Has someone installed
>> it?
>>
>
> Yes, as Christian already guessed, Gecode/J works on 64 bit architectures.
>
> What OS do you recommend me for work on Gecodej? Linux or Windows Vista
>> Ultimate? (Xp is not possible because or the 4gb in RAM and lots of bugs
>> with my motherboard in the 64bits version).
>> In case you recommend me Linux, can you suggest me a distribution that you
>> know works fine with gecodej? I will really appreciate you help.
>>
>
> I haven't tried to compile Gecode/J for 64 bit Windows yet, and I have no
> experience with the 64 bit JVM for Windows. The last time I compiled
> Gecode/J on Linux for 64 bit was on a Debian system, but really any distro
> should work that comes with the necessary tools: a recent gcc (preferably
> 4.2), the usual build tools, a Sun JDK (with java 1.5 or 1.6), and ant.
>
> Please try to follow the installation instructions at
> http://www.gecode.org/gecodej/doc/PageComp.html
> If you run into problems, I'm sure we can help you get everything up and
> running.
>
> Cheers,
> Guido
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080823/dbcab138/attachment.htm>
More information about the gecode-users
mailing list


Broccoli
Serves 4
| Broccoli | |
| Salt |
Bring a large pan of heavily salted water to the boil. Cut the florets off the broccoli. Add broccoli to the pan, and cook for about 3 mins. Cover the pan at the beginning to quickly re-establish the boil, but then remove the lid. To test for doneness, stab the thick end of the floret with a fork. Drain in a colander.


About Me
2020-05-10$ whoami
I am Bryant Conquest. I study Computer Science at the Univeristy of Alabama. I am intrested in operating systems concepts, and high performance computing.
I currently use Void Linux as my distro of choice, and try to use free software where possible.
Contact
Email -<EMAIL_ADDRESS>HN - 626c75
Github - BConquest
Website
This website is hosted on a raspberry pi 3b+, and is built using zola. The source code is hosted on github.
All of the content on this site is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internation (by-nc-sa). The source for the size is licensed under MIT.


I am experienced front developer and am willing to learn more skills of front end developer and ux desiger.
i was doing usability testing,prototype,skecth,wire frame ,persona's
Internship position
internship position
Juniour Web Developer
Apart from being a web developer, I enjoy most of my time being indoors.I enjoy Playing music and Watching Tv
When am indoors, I follow a number of Horror,Har and Comedy movies and television shows, and I spend a large amount of my free time exploring the latest technolgy advancements in the front-end web development world.


Math.random() returns a random number between 0 (included) and 1 (excluded):
Math.random() used with Math.floor() can be used to return random integers.
Math.floor(Math.random() * 10) returns a random integer between 0 and 9 (both included):
Math.floor(Math.random() * 11) returns a random integer between 0 and 10 (both included).
Math.floor(Math.random() * 100)) returns a random integer between 0 and 99 (both included).
Math.floor() used with Math.random() * 101 returns a random integer between 0 and 100.
Math.floor(Math.random() * 10) + 1) returns a random integer between 1 and 10 (both included).
Math.floor(Math.random() * 100) + 1) returns a random integer between 1 and 100 (both included).


#9123123
By Roland Smith
Client Name
4 sent
3 apt.
6 repeat
2 missed
Next Step: Apt with O. Prime
O. Prime
Add task
Tomorrow
Add Task
Date*
Time*
Title*
Title*
Appointment
Meeting
Description


Solskjaer targets Europa success as tonic for struggling Man United
LONDON, Nov 7 — Manchester United boss Ole Gunnar Solskjaer has targeted qualifying for the knockout stages of the Europa League as a pick-me-up after defeat to Bournemouth ended a brief revival.
The mood at Old Trafford had been lifted by three successive victories following a draw against Liverpool but the 1-0 loss on the south coast on Saturday was another unsatisfactory Premier League outing.
United have seven points from three games in Europe this season and victory over Partizan Belgrade at Old Trafford today would secure their progress.
“You’re disappointed when you lose a game and of course we were on half a run,” Solskjaer said yesterday. “But it won’t happen in one instance that you turn everything round.
“It was a quick turnaround, we couldn’t get the goal that we felt we deserved early on. But we go again. We’ve got a great chance now to qualify for the next round, which then means the last two games you can try out a few things.”
United are still without the injured Paul Pogba due to an ankle problem and will be missing defender Victor Lindelof, who played at Bournemouth having been a doubt for the game.
United, who won the Europa League under former manager Jose Mourinho in 2017, are yet to concede a goal in Group L and winning the competition might be their best route into next season’s Champions League.
They are currently languishing in 10th place in the Premier League, 10 points behind fourth-placed Chelsea.
But Solskjaer said his team were heading in the right direction.
“There’s no shortcuts in football,” he said. “It’s hard work, sticking together and team spirit. We have to keep working — we know we’re on the right track.
“Saturday was disappointing but we’ve got the chance to get two wins before the (international) break.
“It (Europa League) is one route (to the Champions League), one of two. It has just turned November. You don’t talk about the end league table in November.” — AFP


The JILRunOnly project is mainly intended to demonstrate how the JILRuntime / JewelScript library can be embedded into any program. However, the program is "powerful" enough to be used as a scripting runtime environment itself - allowing developers to write scripts that can help simplify tasks, like converting text or binary files, copy, delete or rename files, calculate results from any input, and things like that.
The basic command-line format looks like this:
jilrunonly [options] filename [parameters]
In this example, filename would represent the filename of any JewelScript source file that you want to compile and run. Optionally, you may add additional parameters in the form of text strings to the program. The program itself will not use these parameters, it will just create an array out of them and pass this array into the script's main() function.
Optionally, a list of options can be specified. An option always starts with a "-" character followed by one or more characters specifying the option. Some options require an additional argument. Use spaces to seperate multiple options from each other. Likewise an argument needs to be seperated from the option by a space character. The order in which options are specified, is not important.
Here is an overview over available options:
|
-l |
Prints out a virtual machine code listing of the compiled script file to stdout. This may be useful for bug-hunting. |
|
-v |
Prints out version information about the program. |
|
-w |
Wait for the user to press the enter key after the script has been executed. This is useful when running the program from the desktop environment. |
|
-x |
Exit the program without running the compiled script. This is useful in combination with -l or -v. |
|
-e string |
Specifies the file extension to be used for script files. This will also affect any files imported by the specified script. A string specifiying the extension must follow the option. The string must not contain the "." (dot) character. Example: jilrunonly -e command main.command |
|
-o "string" |
Specifies additional compiler options to use. A string enclosed in double quotes specifying the compiler options must follow the option. Example: jilrunonly -o "optimize=3, stack-locals=yes" main.jc |
|
-wb file |
Saves the compiled JewelScript program as a binary file. A string specifying the file name must follow the option. Example: jilrunonly -wb main.bin main.jc |
|
-rb |
Specifies that filename should be read as a binary JewelScript program rather than a script source file. This can be used to execute an already compiled and saved binary JewelScript program. Exampe: jilrunonly -rb main.bin |
Here is an example specifying multiple options:
jilrunonly -v -l -o "verbose=yes" -wb main.bin -x main.jc
This will print out version information, compile the script "main.jc" with verbose compiler output, list the generated byte-code, save the generated byte-code as a binary file "main.bin" and exit without executing the byte-code.
(Currently this has only been tested under Windows, however, it should work the same or similar with other OSes.)
You have two options how to start a script with parameters using the program:
1. You can select multiple files in your file browser, including the script file you want to compile and run, and drag these files onto the icon of the program. The order in which you select the files shouldn't matter, since the program will use the script file's extension ".jc" to identify which of the passed files is the script that should be compiled and executed. All additional files will then be passed to this script file.
2. You can put this program into a folder and create a shortcut for it on the desktop. Additionally you put the script file to run next to the program into the folder, and call it "default.jc". If you now drag multiple files onto the shortcut on your desktop, the program will load and execute "default.jc" and pass all files to that script. (This will be only done if no script file is passed as a parameter to the program.)
Tip: If you create a shortcut to the program on your desktop, you can edit the shortcut's command-line parameters and add the -w option. This will allow you to read any script output to the console after dragging a script file onto the shortcut.
Tip: MacOS X users can directly execute scripts by double clicking the icon or entering their names at the command prompt, if they use the "command" extension for script files and add the following line as the first line in the script file (provided the program has been copied into the /usr/bin directory):
#!/usr/bin/jilrunonly -e command
Next to this document, you should have received a document "nativetypes.html". This document lists all the "built-in" classes and functions you currently can use. Apart from them, you can of course implement any amount of new functions and classes in JewelScript. ;)
In order to work, you must define a main entry-point function, much like it is in 'C'. The prototype for this function should look like this:
function string main(const string[] args);
The return value will be printed to stdout when the main() function exits.
In order to see how you can get the arguments from the given array, you can look into the demo script file "hello.jc", which you should have received with this program.


For more information and for a table of the supported lipid classes, please consult the documentation


Sign up for free training with our tutors to learn more about using Rocket.Chat, join#webinars
August 2nd 2018
Chatbots are becoming indispensable for many companies as they help solve simple problems, manage support and interact with customers.
Learn more about Rocket.Chat's Zenvia Chatbot
integration in our forthcoming webinar, co-hosted by Diego Dorgam, Sales Bot Engineer at Rocket.Chat, and Alessandro Rodrigues, Product Owner of Zenvia Mobile!


Hi,
I've been working on a Raspberry Pi based home energy monitor that i'd like to share with the group. It's based on the Cirrcus Logic CS5463 energy IC and supports monitoring up to 128 circuits. The Raspberry Pi runs a nodejs based service that controls the hardware and a web based monitoring portal. All data are stored locally on the Pi on a sqlite database. The system is 100% stand-alone and requires no additional hardware or servers. A couple systems have been running very reliably for almost a year.
The source code, Eagle files and additional information is available on Github: https://github.com/crjens/PiPowerMeter
Please feel free to contact me with questions, comments, feedback, etc.
Thanks,
Craig
Re: Project announcement: PiPowerMeter
As far as I can see the CS5463 IC has been designed for continuous operation, while your implementation is built around a lot of multiplexing, which makes me wonder how you developed/implemented that particular strategy especially with the filtering that is part of the IC.
I had a quick glimpse in the code/schematic, and if i have understood it correctly (probably not ;-), the multiplexing bit is implemented as follows:
Is this correct?
Re: Project announcement: PiPowerMeter
Thanks for your comments.
The CS5463 has both single and continuous read modes but as you inferred I found that the multiplexing and filtering circuits created a small amount of ringing on the current and voltage waveforms for the first 50ms or so after switching. The ringing wasn't significant but in order to ensure the most accurate results I ended up running the chip in continuous mode and ignoring the first cycle (cycle time = 1s). See the ReadCycleWithInterrupts method in CS5463.cc. This gave the filters plenty of time to settle before taking the actual reading. You can see the actual V & I waveforms here.
The logic is pretty much as you stated except for that fact that I don't calculate my own P based on V&I (and there's an additional step of MUX'ing in the correct voltage channel). All results are calculated directly by the CS5463 thus ensuring extremely high accuracy by taking phase angle into account. What you are seeing in the code is probably scaling the output results of the CS5463 into actual values (amps/volts/watts/vars/etc) to account for the sense resistors.
Look across to the right and read "NEW USERS, PLEASE READ - Posts held for moderation"
Re: Project announcement: PiPowerMeter
For some reason I can no longer see the answer of the OP even though it was visible just now -- so bear with me: I'm responding to that vanished response, not just talking to myself ;-)
I use the word "cycle" when I actually mean "period" of the sinusoid, and I have the impression that the "cycle" you're talking about is a predefined amount of time during which you sample one channel before you switch to the next.
Looking further into the code, an expanded version of my analysis would be:
So if there are N connected channels, there is a duty cycle of approximately 1/N for sampling of each of the channels, and I presume you interpolate (or hold) the measurements per channel during the time that other channels are sampled?
I'm curious how that would work with variable loads (e.g. for PV monitoring) or loads that are switched with periods in the same order as your cycles (e.g. microwave). How do measurements of these kind of loads turn out?
Re: Project announcement: PiPowerMeter
Sorry for the confusion.
The cycle I was referring to was the computation cycle of the CS5463 which defaults to 1 second. This means that the IC will sample the input V & I waveforms at its internal sample rate of 4000Hz for 1 second and then perform calculations to determine the various outputs Vrms, Irms, Pave, Qave, Pf, etc. Since there is some ringing due to the MUX's and input filters, I allow the chip to perform two complete computation cycles and throw out the first one. This repeats sequentially for each connected channel.
The read loop is as follows:
Each read loop takes about 2 seconds (1s for each computation cycle + a couple ms for switching MUX's and other overhead) so the effective sample rate per CT is ~2N seconds where N is the total number of connected CT's.
If you need a system that monitors a circuit 100% of the time for metering/billing then this probably isn't what you are looking for but my primary goal was to create a simple stand-alone system to help me understand my overall energy usage and this design works very well for that. I'm able to monitor and report on usage of every circuit in my home without the need for multiple hardware devices or computers.  Those two things alone will save me more than $150/year in electricity costs. I can also tell which circuits are using the most energy and identify circuits with inefficient appliances. For example, DVR's suck about 50W 24/7 (even when not in use) and, yes, LED light bulbs really do use about 90% less energy than incandescent's.
Re: Project announcement: PiPowerMeter
All clear now :-)
That seems indeed the most logical approach in multiplexing channels for this kind of IC, as it allows you to keep using its most important feature: the integrated power calculations. While you could implement multiplexing in more or less the same fashion as with the emonTX, you'd basically turn the IC into a dual channel ADC without much added value. That would be a waste...
While I can appreciate that this implementation is definitely fit for your purpose (and probably of a lot of others too), my (overly inquisitive) inner engineer gets twitchy at the idea that I might be missing interesting data during those times that I'm not looking :-P.
Re: Project announcement: PiPowerMeter
Very interesting, have you got some photos of the hardware?
Re: Project announcement: PiPowerMeter
Being able to view the waveform is a very nice feature! I need to drag a scope out to my energy monitor when I want to do that.
It looks like you might be in a position to answer a long standing question that comes up periodically in these forums. How much does the voltage vary between the two 110V legs? The general consensus is "not much", but there's never been much hard data to back that up. Seeing a week long graph of (V1rms - V2rms) would be interesting, if that's easy for you to add.
Re: Project announcement: PiPowerMeter
I grabbed a couple photos with my phone this morning. Sorry for the poor quality but this should give you an idea of what it looks like. I'll try and get some better shots when i get some time.
Attached are a couple photos of the installation in my garage.  My setup is composed of a controller board plus 3 stacked current boards and monitors a total of 36 circuits (34 branch circuits and 2 mains). It's a slightly older version of the hardware than what's currently on GitHub but the physical size of the boards is the same. The primary difference is that the Raspberry Pi now attaches directly to the new boards where the one in these photos requires a ribbon cable.
The other two photos show the controller and current boards along with a Raspberry Pi and 100A CT for size reference. The controller board contains the Raspberry Pi connector, power supply, voltage sense circuitry and CS5463 IC. The current board has connectors for 16 multiplexed current channels. The boards are designed so you can stack up to 8 current boards on one controller to monitor up to 128 circuits. The power supply on the controller board powers the Raspberry Pi and all the circuitry so you just need to bring in a 4 wire 240V circuit from your panel (two 120V legs plus neutral and ground) for the power and voltage reference plus the CT's for each circuit you want to monitor.
Re: Project announcement: PiPowerMeter
Here's plot of V1rms-V2rms for every minute over the last month. The Max is 2.53, Mean is -0.01012 and StdDev is 0.34359. Data were collected in Sammamish, WA (near Seattle).
Re: Project announcement: PiPowerMeter
Very nice, thank-you.
Re: Project announcement: PiPowerMeter
Very cool craig, a couple of questions
1) here in AUS we are 230V/50Hz
2) I am on single phase
3) what CT's do you recommend
4) What is your voltage reference source ?
5) Power supply for boards
thanks
Re: Project announcement: PiPowerMeter
@michaeljquinn
1) 230V/50Hz should work just fine. You will need to use a smaller voltage sense resistor but everything else stays the same
2) Single phase is no problem
3) You can use any CT's that you want. The only restriction is that they should be current sense type (no built in voltage sense resistor). The software allows you to set a scale factor to accommodate for the CT turns ratio. That said, I've had very good luck with the YHDC split core CT's that are readily available.
4) The main board contains 1:1 isolation transformers and a voltage divider circuit for voltage sensing. You simply wire it up directly to the panel through a breaker.
5) The main board also has a universal AC/DC power supply to power the electronics. It runs off the same input as the voltage sense circuitry.
I have a few extra sets of boards available if you are interested in experimenting with the hardware. Email me offline at<EMAIL_ADDRESS>if you are interested.
Re: Project announcement: PiPowerMeter
What setup conditions did you use to calibrate away the phase errors? I'd imagine that calibration setting will need a bit of tweaking moving from 60Hz to 50Hz. It'll typically also need tweaking if you change your make/model of CT.
Re: Project announcement: PiPowerMeter
The CS5463 has configuration settings for both the fundamental frequency (50/60Hz) as well as phase compensation to cancel out phase shift introduced by the voltage and/or current sensors.
I ran a series of simple tests with known resistive loads and played with the phase compensation until the chip output a unity power factor. It's probably not the most scientific approach but it was good enough for my purposes. The settings can easily be changed via configuration if you use different CT's.
Re: Project announcement: PiPowerMeter
@crjens
Very interesting project! I was looking at the CS5463 chip myself at one point...seems like a great device. A couple of questions:
1. Instead of providing a direct mains voltage into your project, could you have used a AC/AC transformer? I have played around with a 12VAC and feel safer using that than mains voltage to my board.
2. I know its higher cost, but could you have one CS5463 per circuit you want to monitor? In this design you would just MUX the serial and read the accumulated values every x seconds?
I'm looking at different ways to achieve branch circuit monitoring...I have about 40 circuits in my breaker right now and finding an efficient solution is challenging.
Thanks for posting your project!
Re: Project announcement: PiPowerMeter
@piperpilot
I did look into using a couple of standard AC/AC wall-wart type transformers instead of bringing the line voltage onto the board but decided against it for a couple reasons:
I ended up mitigating the safety issues by using 1:1 AC isolation transformers on the board to isolate the electronics from the power line. Having line voltage directly on the board also allowed me to make use of a pcb mounted AC/DC power supply to power the Raspberry Pi and other electronics. It's probably not as good from a safety perspective as external transformers but the convenience and simplicity of running a single power line won out for me.
It would be possible to use a separate CS5463 for each circuit and doing that would allow you to monitor each circuit 100% of the time. There would probably be some complexity in the design of the circuitry to be able to individually address each of the chips but i'm sure it would be possible.
I've found that sampling each circuit at approximately 1 minute intervals works very well for my purposes so i didn't consider such a design. If you can't live with periodic sampling then that would be a good solution.


READ MY MESSAGE I know that this mail will come to you as a surprise, I am HANSON MILLS,the manager, bill and exchange department, HSBC BANK Rye Lane Branch London UK In my department we discovered an abandoned sum of 800,000.00 POUNDS (EIGHT Hundred Thousand POUNDS) in an account belonging to one of our foreign customers(ROBERT GANDESBERY,), who died along with his entire family on Monday, 31 July, 2000 in a plane crash in Paris. Please visit this site for the story line http://news. bbc.co.uk/1/hi/world/europe/859479.stm Since we got information about his death, we have been expecting his next of kin/relations to come over and claim his money because we cannot release it unless some body applies for it as next of kin or relation to the deceased as indicated in our banking guidelines and laws, but unfortunately we learnt that all his supposed next of kin or relation died alongside with him at the plane crash leaving nobody behind for the claim. It is upon this discovery that I now decided to make this business proposal to you, and for you to act as the next of kin to enable us release the money to you. The banking law and guideline here stipulates that if such money remained unclaimed after Six years, the money will be transferred into the bank treasury as unclaimed fund. We have agreed that 30% of this money will be for you for all the assistance and commitment you will put in to the transaction 10% will be set aside for all expenses incurred during the business and 50% would be for me. Please note that as soon as the transaction is completed I shall proceed immediately to your country for disbursement and possible investment possibilities. Please note also that upon receipt of your reply, I shall let you know the processes we shall take to realize these dreams. I will not fail to bring to your notice that this transaction is hitch-free and that you should not entertain any atom of fear as all required arrangements have been made for proper execution of the transaction. Trusting to hear from you immediately. Thanks Hanson Mills


Deployed by ElasTest
Deployed outside ElasTest
No Instrumentation
Instrumented by ElasTest
Manual Instrumentation
Use External Monitoring DB
With Commands Container
With Docker Image
With Docker Compose
SuT Logs Paths
Dockerized SuT
Docker containers logs path
Monitoring Configuration
Logstash Container IP: {{ sut.eimConfig.logstashIp }}
Logstash Beats Host: {{ sut.eimConfig.logstashBindedBeatsHost }}
Logstash Beats Port: {{ sut.eimConfig.logstashBindedBeatsPort }}
HTTP Api Url: {{ sut.eimConfig.logstashHttpApiUrl }}
Execution ID: {{ sutExecIndex }}
Parameters


Kshitij Dhyani
Techno Lunatic during the day , cyber punk over the night
Techno Lunatic during the day , cyber punk over the night.
B.Tech Blueprint
A delicately Curated Guide to nailing your B.Tech Degree.
Amigos
The ice-breaker for freshmen in college.
GoodMorning Girlfriend
One stop solution to a long lasting relationship.
Tempe, Arizona U.S.A
Let's have coffee Together


Save big on Amazon Fire TV Sticks with this Black Friday deal
by Cat EllisSave big on Amazon Fire TV Sticks with this Black Friday deal
Plug and play
(Image credit: Amazon)
Amazon's Black Friday sale has started early, and there are huge savings to be had on Amazon's own devices, including Fire TV Sticks. These are a super affordable way to stream TV shows, videos and movies straight to any TV, and with £20 they're even more tempting.
There are two Fire TV Sticks included in the Black Friday sale: the regular version, which streams at 1080p, and the 4K model, which is perfect if your TV has a higher resolution. Both come with an Alexa-enabled remote, so you can simply speak to search for what you want to watch (no fiddly typing).
Whichever one you choose, just plug it into your TV, connect its power cable, and you're ready to start watching.
These are the best prices we've seen for this pair of streaming sticks (other retailers are still selling them for full price), so move quickly to snap one up.
TechRadar is scouring every retailer and rounding up all the top deals over the Black Friday period, and we’ve put all the best Black Friday deals and Cyber Monday deals in easy-to-navigate articles to help you find the bargains you’re looking for.


You can always find your contract offer on Offer & Deals page. Feel free to contact Archipel Content Team if you have a question.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/SMT.20Integration.html ---
What's the status of integrating SMT solvers with Lean? There are some references to it in the documentation, (e.g. https://leanprover.github.io/reference/tactics.html#the-smt-state) but all are empty. It would be nice to have some automatic solving.
The smt tactics are not very much used. I just started this week looking at wrapping veriT
into Lean tactics and as far as I know, that's the only such work going on in Lean
Maybe Jasmin Blanchette's team has something related in the works but I don't know any details.
What fragment do you plan to encode into SMTLIB, and how?
Right now, I haven't settled on a fragment, I'm just looking at building the interface for now.
I suppose the closest existing thing is SMTCoq, especially regarding proof reconstruction, but that's a lot of work
I'm looking at SMTCoq and Blanchette's work for Isabelle. I think it's probably work worth doing.
I'm building proof obligation generators in Lean and smt solvers are useful to discharge those
I know Jasmin has been talking about an independent Sledgehammer-like tool that could be shared between proof assistants, but that'd be even more work…
If you do it directly in Lean it'll be easier to reconstruct proofs.
That's my opinion too. I think whereas Jasmin's project is more general and long term, mine is to address an immediate need and I'm ok with doing it imperfectly at first
There is https://github.com/leanprover/smt2_interface from quite some time ago, but it doesn't generate proofs.
Thanks for the link! I was trying to find it again but didn't look in the most obvious place
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Hi,
I'd like to use OEM to measure a 3-phases power installation in a building.
So I set up the emonTxV3 (full-assembled) along with a Raspberry Pi.
I plugged in the 3 CT sensor to each of my three phases along with an 9V AC-AC adaptor. I can see the values of the inputs varying on emonCms depending on the consumption. Of course these values are not accurate / wrong (I can see negative values sometimes on one phase) because the emonTxV3 is shipped with emonTxV3_RFM12B_DiscreteSampling firmware which is intended to measure a 1-phase installation.
So I uploaded the emonTxV3_3Phase_Voltage firmware using avrdude. The sketch is uploaded without any errors but then the red LED doesn't turn on and nothing happens. If I upload the emonTxV3_RFM12B_DiscreteSampling sketch everything is fine and the data is transmitted.
What am I doing wrong?
Thanks in advance!
Re: emonTxV3 - problem after uploading emonTxV3_3Phase_Voltage sketch [SOLVED]
What do you expect the LED to do? If you look at the sketch, you'll see that it should briefly flash each time data is transmitted. If you were expecting the same sequence as the Discrete Samples sketch - no, it doesn't do that.
Have you checked the serial output? Have you turned debugging on and checked the serial output again? I'm afraid "nothing happens" doesn't narrow down the problem area very much.
Re: emonTxV3 - problem after uploading emonTxV3_3Phase_Voltage sketch [SOLVED]
Hi Robert,
Thank you for your answer.
The problem was that I directly tried to upload the pre-compiled .hex file using avrdude like explained here.
When I said "nothing happens" it means : no led turning on, no flashing.
So what I did is I set up the Arduino environment (like explained here), compiled the code and uploaded it. Now the led is flashing and I can see values in emonCms.


The Beaumonts
The Beaumonts is a movie starring George Standing Bear, Ali Currier, and Kayli Currier. A family of vampires moves into a small town and tries to fit in. All goes well until Count Beaumont's children start to feed on the locals....


Legend
Marker
Visibility
Private
Protected
Public
Published
Automated
Generated by
PasDoc 0.9.0
on 2011-02-22 18:17:15


{% load define_action %} {% assign "infrastructure-projects" as hardcoded_infrastructure %} {% if debug %} {% assign "" as production %} {% else %} {% assign "data-production" as production %} {% endif %} {% include 'utilities/html/head.html' with title=title description=description %}
{% if production %} {% endif %} {% block content %} {% endblock %} {% include 'utilities/html/scripts.html' %}


---
layout: post
title: Procmail spaghetti code ?
date: '2008-01-24T15:28:00.000+01:00'
author: Steven Van Acker
tags:
- English
- OverTheWire
modified_time: '2008-01-24T15:35:08.130+01:00'
blogger_id: tag:blogger.com,1999:blog-5513234137363262204.post-3473233198591514014
blogger_orig_url: http://www.singularity.be/2008/01/procmail-spaghetti-code.html
---
Seen on Planet Debian:
Mike Hommey reports on his blog that he is impressed with procmails sourcecode (obviously he's being sarcastic)
goto jiasc;
do
{ *++to= *++from;
jiasc:;
}
while(--count);
This looks like a good candidate for an OverTheWire wargame level


EngAge Community Dashboard (TX Senior Center)
Logout
First Name
Last Name
Phone Number
Interests
Health, Religion, Books, Music
Add Participant
Cancel
Evans123
Event Name
Event Category
Technology
Bible Study
Book Discussion
Singing
Health
Church
General Discussion
Event Date/Time
Add Event
Cancel
Events
Add People
Add Event
Actions
Modify
Delete
Start
Technology: LeadingAge HackFest
Dallas Senior Center
Oct
27
9:00am
Actions
Modify
Delete
Start
Book Reading: Crime and Punishment
Leading Age
Oct
27
9:00am
Actions
Modify
Delete
Start
Church: Service with Rev. Jones
Leading Age
Oct
27
9:00am
Actions
Modify
Delete
Start
Health: Diabetes Talk with Dr. Rosenberg
Leading Age
Oct
27
9:00am
Actions
Modify
Delete
Start
General Discussion: Obamacare
Robson Ranch, Denton, TX
Oct
27
8:00am
Actions
Modify
Delete
Start
Music: Singing Lessons with Prof. Simpson
Heritage Ranch, Fairview, TX
Oct
27
8:00am


The FilterZen Extensions for SharePoint Server are a separate Solution Package (WSP) that extends an existing FilterZen installation by the following additional capabilities for Microsoft Office SharePoint Server:
Note that even without these extensions installed, all FilterZen filter types already work well with External Data / Business Data Columns as well as Business Data List or Related List Web Parts. You do not need to enable the FilterZen Extensions for SharePoint Server unless you are certain that you will need one or more of the features listed above.
The roxority_FilterZen.ServerExtensions.wsp Solution Package is part of the roxority_FilterZen.zip setup package. Copy the former to the file system of the primary web front-end server for the server farm to which you successfully deployed FilterZen previously. You need to add the WSP to your server farm once by issuing an addsolution command to the STSADM command-line utility:
C:\Program Files\Common Files\Microsoft Shared\web server extensions\12\BIN>stsadm -o addsolution -filename "c:\my-temp\roxority_FilterZen.ServerExtensions.wsp"
Be sure to change "c:\my-temp\..." to the actual full path of the WSP file. Once you have successfully installed the solution package, you still need to deploy it to your desired web applications from Central Administration → Operations → [Global Configuration] Solution Management → roxority_filterzen.portal.wsp.


Fog of War - 0
Lesson 11: You can’t change human nature.
It is a fact that human is the weakest ring of the chain in cyberspace. No matter how secure the network, applications and whole system is, humans can be deceived by simple social engineering attacks. And very large corporations can be breached liked this. But there is another fact that we forget: Attackers also human and they have weakness due to human nature.
We can think the relation between attackers and defenders as a game. Humans learn opponents assets and moves. After that they calculate/think responses during the games for choosing best option. There are two important processes:
- Learnig
- Calculating/Thinking
A player knows how well the opponent learning and thinking process, and if he acts according to it, the player has a better chance of winning the game. But attackers have natural advantages in this game.
- Time - Attackers have enough time for reconnasiance and implementing attacks
- Ubiquity - Unlike the defenders we can't know where is attackers in cyberspace
- Public vulnerabilities - Attackers have the ability to use public exploits so easily
Besides theese, defender knows their infrastructure better and can manage that.
If defenders exploits opponents learning and thinking process with using different methods, they can win this hard game. Also according tho the methods used, the techniques tactics and procedures of attackers can be revealed.
In this article I am trying to explain Deception term for exploiting two important procesesses. Also in the next posts I will implement a lab for intrusion detection with practical deception.
Deception
All warfare is based on deception. Hence, when we are able to attack, we must seem unable; when using our forces, we must appear inactive; when we are near, we must make the enemy believe we are far away; when far away, we must make him believe we are near. Hold out baits to entice the enemy. Feign disorder, and crush him.
Sun Tzu
Deception is "Planned actions taken to mislead and/or confuse attackers and to thereby cause them to take (or not to take) specific actions that aid computer-security defenses".
As understood from the definition above, deception is a tool that can be used to exploit learning and thinking processes by giving attackers wrong information about the system, directing them to fake interfaces, and engaging them with unrealistic targets. For theese purposes we can use honey-files, honey-credentials, fake sites, artificial ports, fake service banners and honeypots.
Killing the Kill Chain with Deception
The general behavior pattern of attackers is similar. Firstly, they gain information about target and they choose best tools and tactics with this information. After that they deliver attack vector to the victim. And they move laterally and vertically from exploited assets for completing real mission. Even though there are a lot of definition in kinetic and cyber world for this pattern, the term Cyber Kill Chain widely known. Cyber Kill Chain was created by Lockheed Martin in 2011 for defining attackers actions formally.
We can use these scenarios for different phases in Cyber Kill Chain.
- Create fake whois record with e-mail and phone number
- Intentionally use some fake e-mails at social media
- Attackers will find and use for phishing these e-mails
- Reply spam mails with fake and random word attached mails
- Collect attackers information with mail and word document
- Create artificial well-known ports and services on production server
- Change service banners with old and vulnerable one
- Add or change OS information in HTTP responses
- Change OS TCP behavior for avoiding/deceiving nmap OS detection
- Attackers will use wrong exploits and payloads with these fake data
- Record all traffic to artificial assets
- Create fake websites in different ports
- Attackers may fuzz directories and scan vulnerabilities
- Open directory listing with some fake files
- Attackers may download some files and execute them
- And record all traffic to fake websites
- Create fake domain users in Active Directory
- If someone use it generate alarm
- Add fake,non-privileged users with hard password to linux boxes
- If attackers compromise a machine and gain hashes they waste of their times for cracking useless hashes
- Create fake files seems important like PII or credit card information
- If someone touch these files generate alarm
This article is only basic introduction for using deception as a defence mechanism in cybersecurity. But as I mentioned before, in the next posts I will trying to implement a lab called Labyrinth in Amazon Web Services. I am going to collect new methods and scenarios synchronized with Cyber Kill Chain's steps. And I will test these method's intrusion detection capabilities. I will use Windows domain environment, Linux servers and some kind of services(Nginx, smb, ftp, tomcat) in lab. And i will collect, correlate and visualize with ELK stack.
Pros and Cons
Although deception may seem very beneficial theoretically, methods can be too risky to be used on live systems. In addition, the installation and management of these systems can put a lot of workload on the security team. Since i have not yet tried it in practice, I can't predict the consequences it may create, but i have listed some pros and cons as follows.
| Pros | Cons |
|---|---|
| Slow downs attackers | Extended Attack Surface |
| Increases detection rate | So much operational workload |
| TTP Extraction | |
| Attribution and Counter Intelligence & Attack Ability |
I will be very happy if you can share your thoughts about this article or the shortcomings you see.


Acceptance of Terms
Certain products and services may from time to time be made available to you ("you" or "User") by CL Educate Ltd. (hereinafter referred to as “CL”). By registering/ purchasing any products or services through CL website (www.careerlauncher.com), you signify that you have read, understood and agreed to be bound by the Terms of Sale in effect at the time of purchase ("Terms of Sale").
These Terms of Sale are subject to change without prior written notice at any time, in Company's sole discretion, and such changes shall apply to any purchases made after such changes are posted to the Site. Therefore, you should review these Terms of Sale prior to each registration/ purchase so you will understand the terms applicable to such transaction. If you do not agree to these Terms of Sale, do not make any purchases/ register yourself on www.careerlauncher.com.
PLEASE READ THESE TERMS OF SALE CAREFULLY AS THEY CONTAIN IMPORTANT INFORMATION REGARDING YOUR LEGAL RIGHTS, REMEDIES AND OBLIGATIONS. THESE INCLUDE VARIOUS LIMITATIONS AND EXCLUSIONS.
Purchase Qualifications; Account Security
To make a purchase on CL website, you must comply with these Terms of Sale. You acknowledge that you are responsible for maintaining the security of, and restricting access to, your account and password, and you agree to accept responsibility for all purchases/ registration and other activities that occur under your account. CL reserves the right to refuse or cancel orders at any time in its sole discretion.
Termination
Termination by you: You may, at any point in time, choose to terminate your subscription to a service by sending us an e-mail. Such termination will not change any amounts due to us.
Termination by CL: Breach of any of the terms of this Agreement constitutes a termination of the Agreement. Any and all amounts due under this Agreement shall survive the Term of this Agreement.
If you fail, or CL suspects that you have failed, to comply with any of the provisions of this Agreement, including but not limited to failure to make payment of fees due, failure to provide CL with a valid credit card or with accurate and complete Registration Data, failure to safeguard your Account information, violation of the Usage Rules or any license to the software, or infringement or other violation of third parties' rights, CL, after notice of 07 days to rectify such failure to you, may terminate your subscription and/or your Account if such failure on your part still continues. No refunds will be issued for early Termination.
Refund incase of incorrect purchase
Product purchased will not be refunded or changed to another program on grounds of incorrect selection at the time of purchase.
Refund incase of server error
In case the same product is purchased twice due to some server error, the following refund rules will apply – If the learner informs us within 7 days, full refund would be done thereafter he/she would be provided with a credit note, which is 10% more than the purchase value.
Payment Method and Terms
We currently accept the following forms of payment:
For offline payment:
Demand draft in favour of "CL Educate Ltd." payable at New Delhi